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=NeoElection-COL-2
export BK_EXAMINATION=ReachabilityPlaceComparison
export BK_TOOL=ITS-Tools
export BK_RESULT_DIR=/tmp
export BK_LOG_FILE=/tmp/BenchKit_head_log_file.1756
export BIN_DIR=/home/mcc/BenchKit/bin
cd /home/mcc/BenchKit/INPUTS/NeoElection-COL-2
echo =====================================================================
echo ' Generated by BenchKit 1.0'
echo ' Executing tool ITS-Tools:'
echo ' Test is NeoElection-COL-2, examination is ReachabilityPlaceComparison'
echo =====================================================================
echo
echo --------------------
echo 'content from stdout:'
echo
bash /home/mcc/BenchKit/BenchKit_head.sh

Execution Outputs of ITS-Tools for NeoElection/2 (Colored)

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

execution on node 30: cluster1u32.lip6.fr (runId=136959878802185_n_30)
=====================================================================
runnning ITS-Tools on NeoElection-COL-2 (ReachabilityPlaceComparison)
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 NeoElection-COL-2, examination is ReachabilityPlaceComparison
=====================================================================

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

START 1370198938
/home/mcc/BenchKit/bin/its-reach -i model.sep.flat.gal -t GAL --quiet -reachable-file ReachabilityPlaceComparison.flat.prop --nowitness
FORMULA p_7_placecomparison_eq_and FALSE TECHNIQUES DECISION_DIAGRAMS STRUCTURAL_REDUCTIONS
FORMULA p_8_placecomparison_eq_or FALSE TECHNIQUES DECISION_DIAGRAMS STRUCTURAL_REDUCTIONS
FORMULA p_9_placecomparison_eq_and_notx FALSE TECHNIQUES DECISION_DIAGRAMS STRUCTURAL_REDUCTIONS
FORMULA p_10_placecomparison_eq_or_notx FALSE TECHNIQUES DECISION_DIAGRAMS STRUCTURAL_REDUCTIONS
FORMULA p_11_placecomparison_eq_x FALSE TECHNIQUES DECISION_DIAGRAMS STRUCTURAL_REDUCTIONS
FORMULA p_12_placecomparison_full_and FALSE TECHNIQUES DECISION_DIAGRAMS STRUCTURAL_REDUCTIONS
FORMULA p_13_placecomparison_full_or FALSE TECHNIQUES DECISION_DIAGRAMS STRUCTURAL_REDUCTIONS
FORMULA p_14_placecomparison_full_and_notx FALSE TECHNIQUES DECISION_DIAGRAMS STRUCTURAL_REDUCTIONS
STOP 1370198940

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

initial cost 56982
final cost 7110
crashed[0],dead[0],electionFailed[0],masterList[0],masterList[10],negotiation[0],network[100],network[10],network[110],network[140],network[160],network[20],network[50],network[70],network[80],electionInit[0],startNeg__broadcasting[0],poll__networl[0],poll__networl[100],poll__networl[10],poll__networl[110],poll__networl[120],poll__networl[140],negotiation[11],negotiation[10],poll__networl[150],poll__networl[160],poll__networl[20],poll__networl[30],poll__networl[50],poll__networl[60],poll__networl[70],poll__networl[80],poll__networl[90],crashed[1],dead[1],electionFailed[1],masterList[11],masterList[1],network[101],network[11],network[121],network[151],network[161],network[1],network[31],network[61],network[71],network[91],poll__networl[101],poll__networl[111],poll__networl[11],poll__networl[121],poll__networl[141],poll__networl[151],poll__networl[161],negotiation[2],negotiation[1],poll__networl[1],poll__networl[21],poll__networl[31],poll__networl[51],poll__networl[61],poll__networl[71],poll__networl[81],poll__networl[91],crashed[2],dead[2],electionFailed[2],masterList[12],masterList[2],sendAnnPs__broadcasting[1],negotiation[12],startNeg__broadcasting[1],network[122],sendAnnPs__broadcasting[0],polling[0],network[12],network[30],network[3],network[9],electedPrimary[0],poll__networl[4],network[142],network[0],network[6],network[51],poll__networl[5],network[33],network[4],network[15],network[5],network[48],masterState[0],poll__networl[22],masterState[3],poll__networl[23],masterState[1],poll__networl[40],poll__handlingMessage[0],poll__pollEnd[0],masterState[2],masterState[4],stage[1],network[152],poll__networl[41],electedSecondary[0],masterState[5],network[2],stage[0],poll__waitingMessage[0],network[32],stage[2],negotiation[5],negotiation[8],network[18],network[52],network[60],network[36],negotiation[4],network[62],network[82],negotiation[7],network[92],network[114],network[63],poll__networl[102],network[57],network[23],network[22],poll__networl[122],poll__networl[12],poll__networl[132],poll__networl[142],poll__networl[152],network[117],poll__networl[2],poll__networl[32],poll__networl[42],poll__networl[52],network[111],poll__networl[62],network[40],network[41],poll__networl[72],poll__networl[82],poll__networl[92],masterList[13],masterList[3],negotiation[3],network[103],network[133],network[13],network[143],network[43],network[53],network[58],network[73],network[59],network[21],network[27],network[83],poll__networl[103],poll__networl[123],poll__networl[133],poll__networl[13],electionInit[2],network[24],poll__networl[143],network[54],network[105],network[87],network[69],poll__networl[58],poll__networl[59],masterState[11],network[81],network[72],network[77],startNeg__broadcasting[4],network[75],poll__handlingMessage[1],poll__pollEnd[1],network[76],network[78],poll__networl[76],poll__networl[77],network[112],masterState[9],network[113],masterState[8],masterState[7],poll__networl[94],masterState[10],poll__networl[95],network[39],network[84],network[90],network[132],network[45],network[135],network[66],masterState[6],negotiation[21],network[94],network[129],network[95],network[42],polling[1],network[108],electionInit[1],network[102],network[131],startNeg__broadcasting[5],network[130],sendAnnPs__broadcasting[3],network[93],negotiation[22],network[99],network[96],startNeg__broadcasting[2],startNeg__broadcasting[3],poll__networl[112],masterState[16],poll__networl[113],sendAnnPs__broadcasting[2],poll__handlingMessage[2],poll__pollEnd[2],network[126],network[138],poll__networl[130],masterState[13],poll__networl[131],network[141],network[123],masterState[14],masterState[15],negotiation[15],masterState[17],network[159],network[148],poll__networl[148],electedPrimary[1],network[149],network[150],network[153],poll__networl[149],network[144],stage[4],network[147],network[156],masterState[12],negotiation[16],electedSecondary[1],network[120],poll__waitingMessage[1],stage[3],polling[2],negotiation[17],stage[5],negotiation[14],sendAnnPs__broadcasting[5],sendAnnPs__broadcasting[4],negotiation[23],stage[7],poll__networl[153],electedSecondary[2],poll__waitingMessage[2],stage[6],negotiation[13],electedPrimary[2],stage[8],poll__networl[33],negotiation[26],poll__networl[3],poll__networl[43],poll__networl[53],negotiation[25],poll__networl[63],poll__networl[73],poll__networl[83],poll__networl[93],masterList[14],masterList[4],negotiation[24],negotiation[20],negotiation[19],network[104],network[124],network[134],network[14],network[154],network[34],network[44],network[64],network[74],poll__networl[104],poll__networl[114],poll__networl[124],poll__networl[134],poll__networl[144],poll__networl[14],poll__networl[154],poll__networl[24],poll__networl[34],poll__networl[44],poll__networl[54],poll__networl[64],poll__networl[74],poll__networl[84],masterList[15],masterList[5],network[115],network[125],network[145],network[155],network[25],network[35],network[55],network[65],network[85],poll__networl[105],poll__networl[115],poll__networl[125],poll__networl[135],poll__networl[145],poll__networl[155],poll__networl[15],poll__networl[25],poll__networl[35],poll__networl[45],poll__networl[55],poll__networl[65],poll__networl[75],poll__networl[85],masterList[16],masterList[6],negotiation[6],network[106],network[116],network[136],network[146],network[16],network[26],network[46],network[56],network[86],poll__networl[106],poll__networl[116],poll__networl[126],poll__networl[136],poll__networl[146],poll__networl[156],poll__networl[16],poll__networl[26],poll__networl[36],poll__networl[46],poll__networl[56],poll__networl[66],poll__networl[6],poll__networl[86],poll__networl[96],masterList[17],masterList[7],network[107],network[127],network[137],network[157],network[17],network[37],network[47],network[67],network[7],network[97],poll__networl[107],poll__networl[117],poll__networl[127],poll__networl[137],poll__networl[147],poll__networl[157],poll__networl[17],poll__networl[27],poll__networl[37],poll__networl[47],poll__networl[57],poll__networl[67],poll__networl[7],poll__networl[87],poll__networl[97],masterList[8],negotiation[18],network[118],network[128],network[158],network[28],network[38],network[68],network[88],network[8],network[98],poll__networl[108],poll__networl[118],poll__networl[128],poll__networl[138],poll__networl[158],poll__networl[18],poll__networl[28],poll__networl[38],poll__networl[48],poll__networl[68],poll__networl[78],poll__networl[88],poll__networl[8],poll__networl[98],masterList[9],negotiation[9],network[109],network[119],network[139],network[19],network[29],network[49],network[79],network[89],poll__networl[109],poll__networl[119],poll__networl[129],poll__networl[139],poll__networl[159],poll__networl[19],poll__networl[29],poll__networl[39],poll__networl[49],poll__networl[69],poll__networl[79],poll__networl[89],poll__networl[99],poll__networl[9],
Read property : p_7_placecomparison_eq_and with value :! (startNeg__broadcasting[0] = sendAnnPs__broadcasting[0] && startNeg__broadcasting[1] = sendAnnPs__broadcasting[1] && startNeg__broadcasting[2] = sendAnnPs__broadcasting[2] && startNeg__broadcasting[3] = sendAnnPs__broadcasting[3] && startNeg__broadcasting[4] = sendAnnPs__broadcasting[4] && startNeg__broadcasting[5] = sendAnnPs__broadcasting[5]) && ! (network[0] = poll__networl[0] && network[1] = poll__networl[1] && network[2] = poll__networl[2] && network[3] = poll__networl[3] && network[4] = poll__networl[4] && network[5] = poll__networl[5] && network[6] = poll__networl[6] && network[7] = poll__networl[7] && network[8] = poll__networl[8] && network[9] = poll__networl[9] && network[10] = poll__networl[10] && network[11] = poll__networl[11] && network[12] = poll__networl[12] && network[13] = poll__networl[13] && network[14] = poll__networl[14] && network[15] = poll__networl[15] && network[16] = poll__networl[16] && network[17] = poll__networl[17] && network[18] = poll__networl[18] && network[19] = poll__networl[19] && network[20] = poll__networl[20] && network[21] = poll__networl[21] && network[22] = poll__networl[22] && network[23] = poll__networl[23] && network[24] = poll__networl[24] && network[25] = poll__networl[25] && network[26] = poll__networl[26] && network[27] = poll__networl[27] && network[28] = poll__networl[28] && network[29] = poll__networl[29] && network[30] = poll__networl[30] && network[31] = poll__networl[31] && network[32] = poll__networl[32] && network[33] = poll__networl[33] && network[34] = poll__networl[34] && network[35] = poll__networl[35] && network[36] = poll__networl[36] && network[37] = poll__networl[37] && network[38] = poll__networl[38] && network[39] = poll__networl[39] && network[40] = poll__networl[40] && network[41] = poll__networl[41] && network[42] = poll__networl[42] && network[43] = poll__networl[43] && network[44] = poll__networl[44] && network[45] = poll__networl[45] && network[46] = poll__networl[46] && network[47] = poll__networl[47] && network[48] = poll__networl[48] && network[49] = poll__networl[49] && network[50] = poll__networl[50] && network[51] = poll__networl[51] && network[52] = poll__networl[52] && network[53] = poll__networl[53] && network[54] = poll__networl[54] && network[55] = poll__networl[55] && network[56] = poll__networl[56] && network[57] = poll__networl[57] && network[58] = poll__networl[58] && network[59] = poll__networl[59] && network[60] = poll__networl[60] && network[61] = poll__networl[61] && network[62] = poll__networl[62] && network[63] = poll__networl[63] && network[64] = poll__networl[64] && network[65] = poll__networl[65] && network[66] = poll__networl[66] && network[67] = poll__networl[67] && network[68] = poll__networl[68] && network[69] = poll__networl[69] && network[70] = poll__networl[70] && network[71] = poll__networl[71] && network[72] = poll__networl[72] && network[73] = poll__networl[73] && network[74] = poll__networl[74] && network[75] = poll__networl[75] && network[76] = poll__networl[76] && network[77] = poll__networl[77] && network[78] = poll__networl[78] && network[79] = poll__networl[79] && network[80] = poll__networl[80] && network[81] = poll__networl[81] && network[82] = poll__networl[82] && network[83] = poll__networl[83] && network[84] = poll__networl[84] && network[85] = poll__networl[85] && network[86] = poll__networl[86] && network[87] = poll__networl[87] && network[88] = poll__networl[88] && network[89] = poll__networl[89] && network[90] = poll__networl[90] && network[91] = poll__networl[91] && network[92] = poll__networl[92] && network[93] = poll__networl[93] && network[94] = poll__networl[94] && network[95] = poll__networl[95] && network[96] = poll__networl[96] && network[97] = poll__networl[97] && network[98] = poll__networl[98] && network[99] = poll__networl[99] && network[100] = poll__networl[100] && network[101] = poll__networl[101] && network[102] = poll__networl[102] && network[103] = poll__networl[103] && network[104] = poll__networl[104] && network[105] = poll__networl[105] && network[106] = poll__networl[106] && network[107] = poll__networl[107] && network[108] = poll__networl[108] && network[109] = poll__networl[109] && network[110] = poll__networl[110] && network[111] = poll__networl[111] && network[112] = poll__networl[112] && network[113] = poll__networl[113] && network[114] = poll__networl[114] && network[115] = poll__networl[115] && network[116] = poll__networl[116] && network[117] = poll__networl[117] && network[118] = poll__networl[118] && network[119] = poll__networl[119] && network[120] = poll__networl[120] && network[121] = poll__networl[121] && network[122] = poll__networl[122] && network[123] = poll__networl[123] && network[124] = poll__networl[124] && network[125] = poll__networl[125] && network[126] = poll__networl[126] && network[127] = poll__networl[127] && network[128] = poll__networl[128] && network[129] = poll__networl[129] && network[130] = poll__networl[130] && network[131] = poll__networl[131] && network[132] = poll__networl[132] && network[133] = poll__networl[133] && network[134] = poll__networl[134] && network[135] = poll__networl[135] && network[136] = poll__networl[136] && network[137] = poll__networl[137] && network[138] = poll__networl[138] && network[139] = poll__networl[139] && network[140] = poll__networl[140] && network[141] = poll__networl[141] && network[142] = poll__networl[142] && network[143] = poll__networl[143] && network[144] = poll__networl[144] && network[145] = poll__networl[145] && network[146] = poll__networl[146] && network[147] = poll__networl[147] && network[148] = poll__networl[148] && network[149] = poll__networl[149] && network[150] = poll__networl[150] && network[151] = poll__networl[151] && network[152] = poll__networl[152] && network[153] = poll__networl[153] && network[154] = poll__networl[154] && network[155] = poll__networl[155] && network[156] = poll__networl[156] && network[157] = poll__networl[157] && network[158] = poll__networl[158] && network[159] = poll__networl[159] && network[160] = poll__networl[160] && network[161] = poll__networl[161])
Read property : p_8_placecomparison_eq_or with value :! (startNeg__broadcasting[0] = sendAnnPs__broadcasting[0] && startNeg__broadcasting[1] = sendAnnPs__broadcasting[1] && startNeg__broadcasting[2] = sendAnnPs__broadcasting[2] && startNeg__broadcasting[3] = sendAnnPs__broadcasting[3] && startNeg__broadcasting[4] = sendAnnPs__broadcasting[4] && startNeg__broadcasting[5] = sendAnnPs__broadcasting[5]) || ! (network[0] = poll__networl[0] && network[1] = poll__networl[1] && network[2] = poll__networl[2] && network[3] = poll__networl[3] && network[4] = poll__networl[4] && network[5] = poll__networl[5] && network[6] = poll__networl[6] && network[7] = poll__networl[7] && network[8] = poll__networl[8] && network[9] = poll__networl[9] && network[10] = poll__networl[10] && network[11] = poll__networl[11] && network[12] = poll__networl[12] && network[13] = poll__networl[13] && network[14] = poll__networl[14] && network[15] = poll__networl[15] && network[16] = poll__networl[16] && network[17] = poll__networl[17] && network[18] = poll__networl[18] && network[19] = poll__networl[19] && network[20] = poll__networl[20] && network[21] = poll__networl[21] && network[22] = poll__networl[22] && network[23] = poll__networl[23] && network[24] = poll__networl[24] && network[25] = poll__networl[25] && network[26] = poll__networl[26] && network[27] = poll__networl[27] && network[28] = poll__networl[28] && network[29] = poll__networl[29] && network[30] = poll__networl[30] && network[31] = poll__networl[31] && network[32] = poll__networl[32] && network[33] = poll__networl[33] && network[34] = poll__networl[34] && network[35] = poll__networl[35] && network[36] = poll__networl[36] && network[37] = poll__networl[37] && network[38] = poll__networl[38] && network[39] = poll__networl[39] && network[40] = poll__networl[40] && network[41] = poll__networl[41] && network[42] = poll__networl[42] && network[43] = poll__networl[43] && network[44] = poll__networl[44] && network[45] = poll__networl[45] && network[46] = poll__networl[46] && network[47] = poll__networl[47] && network[48] = poll__networl[48] && network[49] = poll__networl[49] && network[50] = poll__networl[50] && network[51] = poll__networl[51] && network[52] = poll__networl[52] && network[53] = poll__networl[53] && network[54] = poll__networl[54] && network[55] = poll__networl[55] && network[56] = poll__networl[56] && network[57] = poll__networl[57] && network[58] = poll__networl[58] && network[59] = poll__networl[59] && network[60] = poll__networl[60] && network[61] = poll__networl[61] && network[62] = poll__networl[62] && network[63] = poll__networl[63] && network[64] = poll__networl[64] && network[65] = poll__networl[65] && network[66] = poll__networl[66] && network[67] = poll__networl[67] && network[68] = poll__networl[68] && network[69] = poll__networl[69] && network[70] = poll__networl[70] && network[71] = poll__networl[71] && network[72] = poll__networl[72] && network[73] = poll__networl[73] && network[74] = poll__networl[74] && network[75] = poll__networl[75] && network[76] = poll__networl[76] && network[77] = poll__networl[77] && network[78] = poll__networl[78] && network[79] = poll__networl[79] && network[80] = poll__networl[80] && network[81] = poll__networl[81] && network[82] = poll__networl[82] && network[83] = poll__networl[83] && network[84] = poll__networl[84] && network[85] = poll__networl[85] && network[86] = poll__networl[86] && network[87] = poll__networl[87] && network[88] = poll__networl[88] && network[89] = poll__networl[89] && network[90] = poll__networl[90] && network[91] = poll__networl[91] && network[92] = poll__networl[92] && network[93] = poll__networl[93] && network[94] = poll__networl[94] && network[95] = poll__networl[95] && network[96] = poll__networl[96] && network[97] = poll__networl[97] && network[98] = poll__networl[98] && network[99] = poll__networl[99] && network[100] = poll__networl[100] && network[101] = poll__networl[101] && network[102] = poll__networl[102] && network[103] = poll__networl[103] && network[104] = poll__networl[104] && network[105] = poll__networl[105] && network[106] = poll__networl[106] && network[107] = poll__networl[107] && network[108] = poll__networl[108] && network[109] = poll__networl[109] && network[110] = poll__networl[110] && network[111] = poll__networl[111] && network[112] = poll__networl[112] && network[113] = poll__networl[113] && network[114] = poll__networl[114] && network[115] = poll__networl[115] && network[116] = poll__networl[116] && network[117] = poll__networl[117] && network[118] = poll__networl[118] && network[119] = poll__networl[119] && network[120] = poll__networl[120] && network[121] = poll__networl[121] && network[122] = poll__networl[122] && network[123] = poll__networl[123] && network[124] = poll__networl[124] && network[125] = poll__networl[125] && network[126] = poll__networl[126] && network[127] = poll__networl[127] && network[128] = poll__networl[128] && network[129] = poll__networl[129] && network[130] = poll__networl[130] && network[131] = poll__networl[131] && network[132] = poll__networl[132] && network[133] = poll__networl[133] && network[134] = poll__networl[134] && network[135] = poll__networl[135] && network[136] = poll__networl[136] && network[137] = poll__networl[137] && network[138] = poll__networl[138] && network[139] = poll__networl[139] && network[140] = poll__networl[140] && network[141] = poll__networl[141] && network[142] = poll__networl[142] && network[143] = poll__networl[143] && network[144] = poll__networl[144] && network[145] = poll__networl[145] && network[146] = poll__networl[146] && network[147] = poll__networl[147] && network[148] = poll__networl[148] && network[149] = poll__networl[149] && network[150] = poll__networl[150] && network[151] = poll__networl[151] && network[152] = poll__networl[152] && network[153] = poll__networl[153] && network[154] = poll__networl[154] && network[155] = poll__networl[155] && network[156] = poll__networl[156] && network[157] = poll__networl[157] && network[158] = poll__networl[158] && network[159] = poll__networl[159] && network[160] = poll__networl[160] && network[161] = poll__networl[161])
Read property : p_9_placecomparison_eq_and_notx with value :! (startNeg__broadcasting[0] = sendAnnPs__broadcasting[0] && startNeg__broadcasting[1] = sendAnnPs__broadcasting[1] && startNeg__broadcasting[2] = sendAnnPs__broadcasting[2] && startNeg__broadcasting[3] = sendAnnPs__broadcasting[3] && startNeg__broadcasting[4] = sendAnnPs__broadcasting[4] && startNeg__broadcasting[5] = sendAnnPs__broadcasting[5]) && ! (! (network[0] = poll__networl[0] && network[1] = poll__networl[1] && network[2] = poll__networl[2] && network[3] = poll__networl[3] && network[4] = poll__networl[4] && network[5] = poll__networl[5] && network[6] = poll__networl[6] && network[7] = poll__networl[7] && network[8] = poll__networl[8] && network[9] = poll__networl[9] && network[10] = poll__networl[10] && network[11] = poll__networl[11] && network[12] = poll__networl[12] && network[13] = poll__networl[13] && network[14] = poll__networl[14] && network[15] = poll__networl[15] && network[16] = poll__networl[16] && network[17] = poll__networl[17] && network[18] = poll__networl[18] && network[19] = poll__networl[19] && network[20] = poll__networl[20] && network[21] = poll__networl[21] && network[22] = poll__networl[22] && network[23] = poll__networl[23] && network[24] = poll__networl[24] && network[25] = poll__networl[25] && network[26] = poll__networl[26] && network[27] = poll__networl[27] && network[28] = poll__networl[28] && network[29] = poll__networl[29] && network[30] = poll__networl[30] && network[31] = poll__networl[31] && network[32] = poll__networl[32] && network[33] = poll__networl[33] && network[34] = poll__networl[34] && network[35] = poll__networl[35] && network[36] = poll__networl[36] && network[37] = poll__networl[37] && network[38] = poll__networl[38] && network[39] = poll__networl[39] && network[40] = poll__networl[40] && network[41] = poll__networl[41] && network[42] = poll__networl[42] && network[43] = poll__networl[43] && network[44] = poll__networl[44] && network[45] = poll__networl[45] && network[46] = poll__networl[46] && network[47] = poll__networl[47] && network[48] = poll__networl[48] && network[49] = poll__networl[49] && network[50] = poll__networl[50] && network[51] = poll__networl[51] && network[52] = poll__networl[52] && network[53] = poll__networl[53] && network[54] = poll__networl[54] && network[55] = poll__networl[55] && network[56] = poll__networl[56] && network[57] = poll__networl[57] && network[58] = poll__networl[58] && network[59] = poll__networl[59] && network[60] = poll__networl[60] && network[61] = poll__networl[61] && network[62] = poll__networl[62] && network[63] = poll__networl[63] && network[64] = poll__networl[64] && network[65] = poll__networl[65] && network[66] = poll__networl[66] && network[67] = poll__networl[67] && network[68] = poll__networl[68] && network[69] = poll__networl[69] && network[70] = poll__networl[70] && network[71] = poll__networl[71] && network[72] = poll__networl[72] && network[73] = poll__networl[73] && network[74] = poll__networl[74] && network[75] = poll__networl[75] && network[76] = poll__networl[76] && network[77] = poll__networl[77] && network[78] = poll__networl[78] && network[79] = poll__networl[79] && network[80] = poll__networl[80] && network[81] = poll__networl[81] && network[82] = poll__networl[82] && network[83] = poll__networl[83] && network[84] = poll__networl[84] && network[85] = poll__networl[85] && network[86] = poll__networl[86] && network[87] = poll__networl[87] && network[88] = poll__networl[88] && network[89] = poll__networl[89] && network[90] = poll__networl[90] && network[91] = poll__networl[91] && network[92] = poll__networl[92] && network[93] = poll__networl[93] && network[94] = poll__networl[94] && network[95] = poll__networl[95] && network[96] = poll__networl[96] && network[97] = poll__networl[97] && network[98] = poll__networl[98] && network[99] = poll__networl[99] && network[100] = poll__networl[100] && network[101] = poll__networl[101] && network[102] = poll__networl[102] && network[103] = poll__networl[103] && network[104] = poll__networl[104] && network[105] = poll__networl[105] && network[106] = poll__networl[106] && network[107] = poll__networl[107] && network[108] = poll__networl[108] && network[109] = poll__networl[109] && network[110] = poll__networl[110] && network[111] = poll__networl[111] && network[112] = poll__networl[112] && network[113] = poll__networl[113] && network[114] = poll__networl[114] && network[115] = poll__networl[115] && network[116] = poll__networl[116] && network[117] = poll__networl[117] && network[118] = poll__networl[118] && network[119] = poll__networl[119] && network[120] = poll__networl[120] && network[121] = poll__networl[121] && network[122] = poll__networl[122] && network[123] = poll__networl[123] && network[124] = poll__networl[124] && network[125] = poll__networl[125] && network[126] = poll__networl[126] && network[127] = poll__networl[127] && network[128] = poll__networl[128] && network[129] = poll__networl[129] && network[130] = poll__networl[130] && network[131] = poll__networl[131] && network[132] = poll__networl[132] && network[133] = poll__networl[133] && network[134] = poll__networl[134] && network[135] = poll__networl[135] && network[136] = poll__networl[136] && network[137] = poll__networl[137] && network[138] = poll__networl[138] && network[139] = poll__networl[139] && network[140] = poll__networl[140] && network[141] = poll__networl[141] && network[142] = poll__networl[142] && network[143] = poll__networl[143] && network[144] = poll__networl[144] && network[145] = poll__networl[145] && network[146] = poll__networl[146] && network[147] = poll__networl[147] && network[148] = poll__networl[148] && network[149] = poll__networl[149] && network[150] = poll__networl[150] && network[151] = poll__networl[151] && network[152] = poll__networl[152] && network[153] = poll__networl[153] && network[154] = poll__networl[154] && network[155] = poll__networl[155] && network[156] = poll__networl[156] && network[157] = poll__networl[157] && network[158] = poll__networl[158] && network[159] = poll__networl[159] && network[160] = poll__networl[160] && network[161] = poll__networl[161]))
Read property : p_10_placecomparison_eq_or_notx with value :! (startNeg__broadcasting[0] = sendAnnPs__broadcasting[0] && startNeg__broadcasting[1] = sendAnnPs__broadcasting[1] && startNeg__broadcasting[2] = sendAnnPs__broadcasting[2] && startNeg__broadcasting[3] = sendAnnPs__broadcasting[3] && startNeg__broadcasting[4] = sendAnnPs__broadcasting[4] && startNeg__broadcasting[5] = sendAnnPs__broadcasting[5]) || ! (! (network[0] = poll__networl[0] && network[1] = poll__networl[1] && network[2] = poll__networl[2] && network[3] = poll__networl[3] && network[4] = poll__networl[4] && network[5] = poll__networl[5] && network[6] = poll__networl[6] && network[7] = poll__networl[7] && network[8] = poll__networl[8] && network[9] = poll__networl[9] && network[10] = poll__networl[10] && network[11] = poll__networl[11] && network[12] = poll__networl[12] && network[13] = poll__networl[13] && network[14] = poll__networl[14] && network[15] = poll__networl[15] && network[16] = poll__networl[16] && network[17] = poll__networl[17] && network[18] = poll__networl[18] && network[19] = poll__networl[19] && network[20] = poll__networl[20] && network[21] = poll__networl[21] && network[22] = poll__networl[22] && network[23] = poll__networl[23] && network[24] = poll__networl[24] && network[25] = poll__networl[25] && network[26] = poll__networl[26] && network[27] = poll__networl[27] && network[28] = poll__networl[28] && network[29] = poll__networl[29] && network[30] = poll__networl[30] && network[31] = poll__networl[31] && network[32] = poll__networl[32] && network[33] = poll__networl[33] && network[34] = poll__networl[34] && network[35] = poll__networl[35] && network[36] = poll__networl[36] && network[37] = poll__networl[37] && network[38] = poll__networl[38] && network[39] = poll__networl[39] && network[40] = poll__networl[40] && network[41] = poll__networl[41] && network[42] = poll__networl[42] && network[43] = poll__networl[43] && network[44] = poll__networl[44] && network[45] = poll__networl[45] && network[46] = poll__networl[46] && network[47] = poll__networl[47] && network[48] = poll__networl[48] && network[49] = poll__networl[49] && network[50] = poll__networl[50] && network[51] = poll__networl[51] && network[52] = poll__networl[52] && network[53] = poll__networl[53] && network[54] = poll__networl[54] && network[55] = poll__networl[55] && network[56] = poll__networl[56] && network[57] = poll__networl[57] && network[58] = poll__networl[58] && network[59] = poll__networl[59] && network[60] = poll__networl[60] && network[61] = poll__networl[61] && network[62] = poll__networl[62] && network[63] = poll__networl[63] && network[64] = poll__networl[64] && network[65] = poll__networl[65] && network[66] = poll__networl[66] && network[67] = poll__networl[67] && network[68] = poll__networl[68] && network[69] = poll__networl[69] && network[70] = poll__networl[70] && network[71] = poll__networl[71] && network[72] = poll__networl[72] && network[73] = poll__networl[73] && network[74] = poll__networl[74] && network[75] = poll__networl[75] && network[76] = poll__networl[76] && network[77] = poll__networl[77] && network[78] = poll__networl[78] && network[79] = poll__networl[79] && network[80] = poll__networl[80] && network[81] = poll__networl[81] && network[82] = poll__networl[82] && network[83] = poll__networl[83] && network[84] = poll__networl[84] && network[85] = poll__networl[85] && network[86] = poll__networl[86] && network[87] = poll__networl[87] && network[88] = poll__networl[88] && network[89] = poll__networl[89] && network[90] = poll__networl[90] && network[91] = poll__networl[91] && network[92] = poll__networl[92] && network[93] = poll__networl[93] && network[94] = poll__networl[94] && network[95] = poll__networl[95] && network[96] = poll__networl[96] && network[97] = poll__networl[97] && network[98] = poll__networl[98] && network[99] = poll__networl[99] && network[100] = poll__networl[100] && network[101] = poll__networl[101] && network[102] = poll__networl[102] && network[103] = poll__networl[103] && network[104] = poll__networl[104] && network[105] = poll__networl[105] && network[106] = poll__networl[106] && network[107] = poll__networl[107] && network[108] = poll__networl[108] && network[109] = poll__networl[109] && network[110] = poll__networl[110] && network[111] = poll__networl[111] && network[112] = poll__networl[112] && network[113] = poll__networl[113] && network[114] = poll__networl[114] && network[115] = poll__networl[115] && network[116] = poll__networl[116] && network[117] = poll__networl[117] && network[118] = poll__networl[118] && network[119] = poll__networl[119] && network[120] = poll__networl[120] && network[121] = poll__networl[121] && network[122] = poll__networl[122] && network[123] = poll__networl[123] && network[124] = poll__networl[124] && network[125] = poll__networl[125] && network[126] = poll__networl[126] && network[127] = poll__networl[127] && network[128] = poll__networl[128] && network[129] = poll__networl[129] && network[130] = poll__networl[130] && network[131] = poll__networl[131] && network[132] = poll__networl[132] && network[133] = poll__networl[133] && network[134] = poll__networl[134] && network[135] = poll__networl[135] && network[136] = poll__networl[136] && network[137] = poll__networl[137] && network[138] = poll__networl[138] && network[139] = poll__networl[139] && network[140] = poll__networl[140] && network[141] = poll__networl[141] && network[142] = poll__networl[142] && network[143] = poll__networl[143] && network[144] = poll__networl[144] && network[145] = poll__networl[145] && network[146] = poll__networl[146] && network[147] = poll__networl[147] && network[148] = poll__networl[148] && network[149] = poll__networl[149] && network[150] = poll__networl[150] && network[151] = poll__networl[151] && network[152] = poll__networl[152] && network[153] = poll__networl[153] && network[154] = poll__networl[154] && network[155] = poll__networl[155] && network[156] = poll__networl[156] && network[157] = poll__networl[157] && network[158] = poll__networl[158] && network[159] = poll__networl[159] && network[160] = poll__networl[160] && network[161] = poll__networl[161]))
Read property : p_11_placecomparison_eq_x with value :! (! (startNeg__broadcasting[0] = sendAnnPs__broadcasting[0] && startNeg__broadcasting[1] = sendAnnPs__broadcasting[1] && startNeg__broadcasting[2] = sendAnnPs__broadcasting[2] && startNeg__broadcasting[3] = sendAnnPs__broadcasting[3] && startNeg__broadcasting[4] = sendAnnPs__broadcasting[4] && startNeg__broadcasting[5] = sendAnnPs__broadcasting[5])) && ! (! (network[0] = poll__networl[0] && network[1] = poll__networl[1] && network[2] = poll__networl[2] && network[3] = poll__networl[3] && network[4] = poll__networl[4] && network[5] = poll__networl[5] && network[6] = poll__networl[6] && network[7] = poll__networl[7] && network[8] = poll__networl[8] && network[9] = poll__networl[9] && network[10] = poll__networl[10] && network[11] = poll__networl[11] && network[12] = poll__networl[12] && network[13] = poll__networl[13] && network[14] = poll__networl[14] && network[15] = poll__networl[15] && network[16] = poll__networl[16] && network[17] = poll__networl[17] && network[18] = poll__networl[18] && network[19] = poll__networl[19] && network[20] = poll__networl[20] && network[21] = poll__networl[21] && network[22] = poll__networl[22] && network[23] = poll__networl[23] && network[24] = poll__networl[24] && network[25] = poll__networl[25] && network[26] = poll__networl[26] && network[27] = poll__networl[27] && network[28] = poll__networl[28] && network[29] = poll__networl[29] && network[30] = poll__networl[30] && network[31] = poll__networl[31] && network[32] = poll__networl[32] && network[33] = poll__networl[33] && network[34] = poll__networl[34] && network[35] = poll__networl[35] && network[36] = poll__networl[36] && network[37] = poll__networl[37] && network[38] = poll__networl[38] && network[39] = poll__networl[39] && network[40] = poll__networl[40] && network[41] = poll__networl[41] && network[42] = poll__networl[42] && network[43] = poll__networl[43] && network[44] = poll__networl[44] && network[45] = poll__networl[45] && network[46] = poll__networl[46] && network[47] = poll__networl[47] && network[48] = poll__networl[48] && network[49] = poll__networl[49] && network[50] = poll__networl[50] && network[51] = poll__networl[51] && network[52] = poll__networl[52] && network[53] = poll__networl[53] && network[54] = poll__networl[54] && network[55] = poll__networl[55] && network[56] = poll__networl[56] && network[57] = poll__networl[57] && network[58] = poll__networl[58] && network[59] = poll__networl[59] && network[60] = poll__networl[60] && network[61] = poll__networl[61] && network[62] = poll__networl[62] && network[63] = poll__networl[63] && network[64] = poll__networl[64] && network[65] = poll__networl[65] && network[66] = poll__networl[66] && network[67] = poll__networl[67] && network[68] = poll__networl[68] && network[69] = poll__networl[69] && network[70] = poll__networl[70] && network[71] = poll__networl[71] && network[72] = poll__networl[72] && network[73] = poll__networl[73] && network[74] = poll__networl[74] && network[75] = poll__networl[75] && network[76] = poll__networl[76] && network[77] = poll__networl[77] && network[78] = poll__networl[78] && network[79] = poll__networl[79] && network[80] = poll__networl[80] && network[81] = poll__networl[81] && network[82] = poll__networl[82] && network[83] = poll__networl[83] && network[84] = poll__networl[84] && network[85] = poll__networl[85] && network[86] = poll__networl[86] && network[87] = poll__networl[87] && network[88] = poll__networl[88] && network[89] = poll__networl[89] && network[90] = poll__networl[90] && network[91] = poll__networl[91] && network[92] = poll__networl[92] && network[93] = poll__networl[93] && network[94] = poll__networl[94] && network[95] = poll__networl[95] && network[96] = poll__networl[96] && network[97] = poll__networl[97] && network[98] = poll__networl[98] && network[99] = poll__networl[99] && network[100] = poll__networl[100] && network[101] = poll__networl[101] && network[102] = poll__networl[102] && network[103] = poll__networl[103] && network[104] = poll__networl[104] && network[105] = poll__networl[105] && network[106] = poll__networl[106] && network[107] = poll__networl[107] && network[108] = poll__networl[108] && network[109] = poll__networl[109] && network[110] = poll__networl[110] && network[111] = poll__networl[111] && network[112] = poll__networl[112] && network[113] = poll__networl[113] && network[114] = poll__networl[114] && network[115] = poll__networl[115] && network[116] = poll__networl[116] && network[117] = poll__networl[117] && network[118] = poll__networl[118] && network[119] = poll__networl[119] && network[120] = poll__networl[120] && network[121] = poll__networl[121] && network[122] = poll__networl[122] && network[123] = poll__networl[123] && network[124] = poll__networl[124] && network[125] = poll__networl[125] && network[126] = poll__networl[126] && network[127] = poll__networl[127] && network[128] = poll__networl[128] && network[129] = poll__networl[129] && network[130] = poll__networl[130] && network[131] = poll__networl[131] && network[132] = poll__networl[132] && network[133] = poll__networl[133] && network[134] = poll__networl[134] && network[135] = poll__networl[135] && network[136] = poll__networl[136] && network[137] = poll__networl[137] && network[138] = poll__networl[138] && network[139] = poll__networl[139] && network[140] = poll__networl[140] && network[141] = poll__networl[141] && network[142] = poll__networl[142] && network[143] = poll__networl[143] && network[144] = poll__networl[144] && network[145] = poll__networl[145] && network[146] = poll__networl[146] && network[147] = poll__networl[147] && network[148] = poll__networl[148] && network[149] = poll__networl[149] && network[150] = poll__networl[150] && network[151] = poll__networl[151] && network[152] = poll__networl[152] && network[153] = poll__networl[153] && network[154] = poll__networl[154] && network[155] = poll__networl[155] && network[156] = poll__networl[156] && network[157] = poll__networl[157] && network[158] = poll__networl[158] && network[159] = poll__networl[159] && network[160] = poll__networl[160] && network[161] = poll__networl[161])) || ! (startNeg__broadcasting[0] = sendAnnPs__broadcasting[0] && startNeg__broadcasting[1] = sendAnnPs__broadcasting[1] && startNeg__broadcasting[2] = sendAnnPs__broadcasting[2] && startNeg__broadcasting[3] = sendAnnPs__broadcasting[3] && startNeg__broadcasting[4] = sendAnnPs__broadcasting[4] && startNeg__broadcasting[5] = sendAnnPs__broadcasting[5]) && ! (! (! (network[0] = poll__networl[0] && network[1] = poll__networl[1] && network[2] = poll__networl[2] && network[3] = poll__networl[3] && network[4] = poll__networl[4] && network[5] = poll__networl[5] && network[6] = poll__networl[6] && network[7] = poll__networl[7] && network[8] = poll__networl[8] && network[9] = poll__networl[9] && network[10] = poll__networl[10] && network[11] = poll__networl[11] && network[12] = poll__networl[12] && network[13] = poll__networl[13] && network[14] = poll__networl[14] && network[15] = poll__networl[15] && network[16] = poll__networl[16] && network[17] = poll__networl[17] && network[18] = poll__networl[18] && network[19] = poll__networl[19] && network[20] = poll__networl[20] && network[21] = poll__networl[21] && network[22] = poll__networl[22] && network[23] = poll__networl[23] && network[24] = poll__networl[24] && network[25] = poll__networl[25] && network[26] = poll__networl[26] && network[27] = poll__networl[27] && network[28] = poll__networl[28] && network[29] = poll__networl[29] && network[30] = poll__networl[30] && network[31] = poll__networl[31] && network[32] = poll__networl[32] && network[33] = poll__networl[33] && network[34] = poll__networl[34] && network[35] = poll__networl[35] && network[36] = poll__networl[36] && network[37] = poll__networl[37] && network[38] = poll__networl[38] && network[39] = poll__networl[39] && network[40] = poll__networl[40] && network[41] = poll__networl[41] && network[42] = poll__networl[42] && network[43] = poll__networl[43] && network[44] = poll__networl[44] && network[45] = poll__networl[45] && network[46] = poll__networl[46] && network[47] = poll__networl[47] && network[48] = poll__networl[48] && network[49] = poll__networl[49] && network[50] = poll__networl[50] && network[51] = poll__networl[51] && network[52] = poll__networl[52] && network[53] = poll__networl[53] && network[54] = poll__networl[54] && network[55] = poll__networl[55] && network[56] = poll__networl[56] && network[57] = poll__networl[57] && network[58] = poll__networl[58] && network[59] = poll__networl[59] && network[60] = poll__networl[60] && network[61] = poll__networl[61] && network[62] = poll__networl[62] && network[63] = poll__networl[63] && network[64] = poll__networl[64] && network[65] = poll__networl[65] && network[66] = poll__networl[66] && network[67] = poll__networl[67] && network[68] = poll__networl[68] && network[69] = poll__networl[69] && network[70] = poll__networl[70] && network[71] = poll__networl[71] && network[72] = poll__networl[72] && network[73] = poll__networl[73] && network[74] = poll__networl[74] && network[75] = poll__networl[75] && network[76] = poll__networl[76] && network[77] = poll__networl[77] && network[78] = poll__networl[78] && network[79] = poll__networl[79] && network[80] = poll__networl[80] && network[81] = poll__networl[81] && network[82] = poll__networl[82] && network[83] = poll__networl[83] && network[84] = poll__networl[84] && network[85] = poll__networl[85] && network[86] = poll__networl[86] && network[87] = poll__networl[87] && network[88] = poll__networl[88] && network[89] = poll__networl[89] && network[90] = poll__networl[90] && network[91] = poll__networl[91] && network[92] = poll__networl[92] && network[93] = poll__networl[93] && network[94] = poll__networl[94] && network[95] = poll__networl[95] && network[96] = poll__networl[96] && network[97] = poll__networl[97] && network[98] = poll__networl[98] && network[99] = poll__networl[99] && network[100] = poll__networl[100] && network[101] = poll__networl[101] && network[102] = poll__networl[102] && network[103] = poll__networl[103] && network[104] = poll__networl[104] && network[105] = poll__networl[105] && network[106] = poll__networl[106] && network[107] = poll__networl[107] && network[108] = poll__networl[108] && network[109] = poll__networl[109] && network[110] = poll__networl[110] && network[111] = poll__networl[111] && network[112] = poll__networl[112] && network[113] = poll__networl[113] && network[114] = poll__networl[114] && network[115] = poll__networl[115] && network[116] = poll__networl[116] && network[117] = poll__networl[117] && network[118] = poll__networl[118] && network[119] = poll__networl[119] && network[120] = poll__networl[120] && network[121] = poll__networl[121] && network[122] = poll__networl[122] && network[123] = poll__networl[123] && network[124] = poll__networl[124] && network[125] = poll__networl[125] && network[126] = poll__networl[126] && network[127] = poll__networl[127] && network[128] = poll__networl[128] && network[129] = poll__networl[129] && network[130] = poll__networl[130] && network[131] = poll__networl[131] && network[132] = poll__networl[132] && network[133] = poll__networl[133] && network[134] = poll__networl[134] && network[135] = poll__networl[135] && network[136] = poll__networl[136] && network[137] = poll__networl[137] && network[138] = poll__networl[138] && network[139] = poll__networl[139] && network[140] = poll__networl[140] && network[141] = poll__networl[141] && network[142] = poll__networl[142] && network[143] = poll__networl[143] && network[144] = poll__networl[144] && network[145] = poll__networl[145] && network[146] = poll__networl[146] && network[147] = poll__networl[147] && network[148] = poll__networl[148] && network[149] = poll__networl[149] && network[150] = poll__networl[150] && network[151] = poll__networl[151] && network[152] = poll__networl[152] && network[153] = poll__networl[153] && network[154] = poll__networl[154] && network[155] = poll__networl[155] && network[156] = poll__networl[156] && network[157] = poll__networl[157] && network[158] = poll__networl[158] && network[159] = poll__networl[159] && network[160] = poll__networl[160] && network[161] = poll__networl[161])))
Read property : p_12_placecomparison_full_and with value :false
Read property : p_13_placecomparison_full_or with value :! (electionFailed[0] = electedPrimary[0] && electionFailed[1] = electedPrimary[1] && electionFailed[2] = electedPrimary[2]) || dead[0] > electedPrimary[0] && dead[1] > electedPrimary[1] && dead[2] > electedPrimary[2]
Read property : p_14_placecomparison_full_and_notx with value :false

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