prot			claims	attacks	correct	decided
[boundruns1.txt]	518	9	15	4.6332046332%
[boundruns2.txt]	518	80	95	33.7837837838%
[boundruns3.txt]	518	220	176	76.4478764479%
[boundruns4.txt]	518	234	214	86.4864864865%
[boundruns5.txt]	518	236	228	89.5752895753%
[boundruns6.txt]	518	236	234	90.7335907336%
[boundruns7.txt]	518	236	236	91.1196911197%

boundtime1.txt 0.44
boundtime2.txt 2.26
boundtime3.txt 10.08
boundtime4.txt 37.98
boundtime5.txt 149.73
boundtime6.txt 591.45
boundtime7.txt 2159.35

Attack with 1 runs:
['simplest,I,Secret_3', 'woolamPi-1,R,Nisynch_R1', 'tmn,S,Secret_7', 'carkeybrokenlim,R,Nisynch_2', 'localclaims,R,Secret_r1', 'onetrace,I,Secret_4', 'tmn,R,Nisynch_R2', 'woolamPi-2,R,Nisynch_R1', 'woolamPi-3,R,Nisynch_R1']
Attack with 2 runs:
['otwayrees,B,Nisynch_6b', 'wmf-Lowe,R,Nisynch_R2', 'gongnonce,I,Nisynch_8', 'gongnonceb,R,Niagree_13', 'needhamschroedersk,R,Secret_R1', 'ns3,R,Nisynch_r4', 'boydNS,I,Niagree_i3', 'gongnonce,R,Niagree_13', 'bkebroken,R,Secret_5', 'otwayrees,R,Nisynch_R2', 'woolampif,B,Nisynch_7', 'wmf-Lowe,I,Nisynch_I2', 'denningsaccosh,A,Nisynch_5', 'ns3,R,Secret_r1', 'ns3,R,Secret_r2', 'woolampif,B,Niagree_6', 'wmf,R,Nisynch_R2', 'ns3speedtest,R,Secret_5', 'boydNS,I,Nisynch_i4', 'yahalomBan,B,Secret_6', 'boydNS,I,Secret_i2', 'tmn,I,Nisynch_I2', 'bkevariation,R,Niagree_8', 'nsl3rep,I,Nisynch_7', 'gongnonceb,I,Niagree_9', 'tmn,I,Secret_I1', 'andrewLoweBan,I,Niagree_5b', 'carkeybroken,R,Nisynch_2', 'needhamschroedersk,R,Nisynch_R3', 'nsl3rep,R,Nisynch_8', 'kaochow,R,Niagree_R2', 'gongnonce,R,Nisynch_12', 'otwayrees,I,Nisynch_I2', 'tlspaulson-avispa,a,Niagree_9c', 'ns3brutus,R,Secret_5', 'otwayrees,B,Niagree_6a', 'nsl3th3nr,R,Nisynch_r2', 'woolamPi-f,R,Nisynch_R1', 'otwayrees,A,Niagree_5b', 'neustub^Repeat,I,Niagree_I2', 'bkevariation,R,Nisynch_9', 'gongnonceb,I,Nisynch_8', 'tmn,A,Secret_8', 'tmn,A,Secret_5', 'woolamPi,R,Nisynch_R1', 'gongnonce,I,Niagree_9', 'tmn,R,Secret_R1', 'andrewLoweBan,I,Nisynch_5', 'nsl3th3nr,I,Nisynch_i2', 'gongnonceb,R,Nisynch_12', 'tmn,B,Secret_6', 'lcbreakerS1,R,Secret_r0', 'ns3,R,Niagree_r3', 'kaochow,R,Nisynch_R1', 'carkeyni2,R,Nisynch_4', 'yahalomBan,A,Secret_5', 'smartright,R,Nisynch_R1', 'otwayrees,A,Nisynch_5c', 'neustub^Repeat,I,Nisynch_I3', 'ibe,R,Secret_r1', 'kaochow,R,Secret_R3', 'denningSacco,I,Nisynch_I2']
Attack with 3 runs:
['spliceAS,C,Secret_7', 'spliceAS,S,Niagree_11', 'neustub,R,Niagree_R2', 'neustub-Hwang,R,Nisynch_R3', 'kaochowPalm,I,Nisynch_5', 'neustub,I,Niagree_I2', 'ksl,B,Nisynch_B3', 'spliceAS-HC,R,Niagree_11', 'andrew-Concrete,R,Nisynch_R2', 'kaochow,I,Nisynch_5', 'neustub,R,Nisynch_R3', 'spliceAShcCJ,S,Nisynch_12', 'kaochow,I,Niagree_6', 'ksl,I,Nisynch_I3', 'kaochow-2,R,Niagree_R2', 'boyd,R,Niagree_11', 'andrew,I,Secret_I1', 'kaochow-3,I,Nisynch_I1', 'boydNS,R,Nisynch_r4', 'spliceAShc,C,Niagree_9', 'kaochow2,R,Niagree_9', 'woolamcmv,A,Nisynch_10', 'spliceAShcCJ,S,Niagree_11', 'yahalom-Paulson,R,Nisynch_R2', 'yahalom,I,Nisynch_I2', 'ksl,A,Nisynch_A3', 'kaochow2,R,Nisynch_8', 'lcbreakerS1,I,Secret_i0', 'kaochow2,I,Niagree_6', 'spliceAS-HC,R,Nisynch_12', 'denningSacco-Lowe,R,Nisynch_R2', 'yahalom,R,Nisynch_R2', 'bunava13,R1,Niagree_B1', 'kaochow-3,R,Niagree_R2', 'neustub,I,Nisynch_I3', 'ksl,A,Niagree_A2', 'yahalom-BAN,I,Nisynch_I2', 'neustub^Repeat,R,Nisynch_R3', 'ksl,I,Niagree_I2', 'bunava23,R0,Niagree_A1', 'needhamschroederpk,I,Nisynch_I3', 'unknown2,I,Nisynch_i1', 'spliceAS,I,Niagree_9', 'spliceAShc,C,Nisynch_10', 'kaochow,I,Niagree_I2', 'bunava23,R2,Niagree_C1', 'bunava23,R0,Nisynch_A2', 'ksl-Lowe,R,Niagree_R2', 'needhamschroedersk-amend,R,Nisynch_R3', 'bunava23,R1,Niagree_B1', 'spliceAS,R,Nisynch_12', 'yahalom-BAN,R,Nisynch_R2', 'ksl,B,Niagree_B2', 'boydNS,R,Secret_r1', 'kaochow,R,Niagree_9', 'neustub-Hwang,I,Nisynch_I3', 'unknown2,R,Niagree_r2', 'kaochow-3,I,Niagree_I2', 'bunava13,R1,Nisynch_B2', 'spliceAShcCJ,C,Niagree_9', 'kaochow-2,I,Niagree_I2', 'nssymmetricamended,A,Nisynch_8b', 'neustub-Hwang,I,Niagree_I2', 'spliceAS-CJ,I,Niagree_9', 'spliceAS,C,Nisynch_10', 'woolam,I,Nisynch_I2', 'bunava13,R0,Nisynch_A2', 'spliceAS,C,Niagree_9', 'kaochow3,I,Nisynch_5', 'unknown2,I,Niagree_i2', 'course2r890year0405ex3,I,Nisynch_i2', 'spliceAS-HC,I,Nisynch_10', 'andrew,I,Nisynch_I2', 'spliceAS-CJ,R,Nisynch_12', 'spliceAS-CJ,I,Nisynch_10', 'bunava13,R0,Niagree_A1', 'boydNS,R,Niagree_r3', 'woolam,R,Nisynch_R2', 'boyd,R,Nisynch_12', 'spliceAS-CJ,R,Niagree_11', 'yahalom-Paulson,I,Nisynch_I2', 'denningsaccosh,B,Nisynch_8', 'kaochow,I,Nisynch_I1', 'needhamschroedersk-amend,I,Nisynch_I3', 'kaochowPalm,I,Niagree_6', 'ksl,R,Niagree_R2', 'spliceAShcCJ,C,Nisynch_10', 'denningSacco,R,Nisynch_R2', 'spliceAShc,S,Nisynch_12', 'yahalompaulson,R,Niagree_13', 'nssymmetricamended,A,Niagree_8a', 'needhamschroederpk-Lowe,I,Nisynch_I3', 'woolamcmv,B,Niagree_12', 'spliceAShc,C,Secret_7', 'spliceAS-HC,I,Niagree_9', 'yahalompaulson,I,Nisynch_9', 'kaochow-2,R,Nisynch_R1', 'neustub^Repeat,R,Niagree_R2', 'bunava23,R2,Nisynch_C2', 'needhamschroederpk,R,Secret_R1', 'andrew,I,Niagree_I3', 'needhamschroederpk,R,Secret_R2', 'ccitt509-3,R,Nisynch_R1', 'kaochow-2,I,Nisynch_I1', 'ksl-Lowe,I,Niagree_I2', 'kaochow3,R,Niagree_9', 'kaochow-3,R,Nisynch_R1', 'yahalompaulson,I,Niagree_10', 'kaochow3,R,Nisynch_8', 'neustub-Hwang,R,Niagree_R2', 'denningSacco-Lowe,I,Nisynch_I2', 'kaochow,R,Nisynch_8', 'spliceAS,S,Nisynch_12', 'kaochow3,I,Niagree_6', 'spliceAShc,S,Niagree_11', 'spliceAS,R,Niagree_11', 'yahalompaulson,R,Nisynch_12', 'ksl-Lowe,I,Nisynch_I3', 'needhamschroederpk,R,Nisynch_R3', 'woolamcmv,B,Nisynch_13', 'broken1,R,Secret_4', 'andrew-Concrete,I,Nisynch_I2', 'needhamschroederpk-Lowe,R,Nisynch_R3', 'ksl-Lowe,R,Nisynch_R3', 'boyd,I,Niagree_7', 'nssymmetricamended,B,Nisynch_9b', 'nssymmetricamended,B,Niagree_9a', 'woolamcmv,A,Niagree_9', 'ksl,R,Nisynch_R3', 'kaochow2,I,Nisynch_5', 'bunava23,R1,Nisynch_B2', 'unknown2,R,Nisynch_r1', 'boyd,I,Nisynch_8', 'spliceAS,I,Nisynch_10']
Attack with 4 runs:
['bunava13,R2,Nisynch_C2', 'bunava14,B,Nisynch_B2', 'spliceAShc,S,Secret_8', 'bunava14,A,Niagree_A1', 'bunava14,C,Nisynch_C2', 'bunava13,R2,Niagree_C1', 'bunava14,C,Niagree_C1', 'bunava14,A,Nisynch_A2', 'nsl3th3,I,Nisynch_i2', 'nsl3th3,R,Nisynch_r2', 'bunava24,A,Nisynch_A2', 'bunava24,A,Niagree_A1', 'spliceAS,S,Secret_8', 'bunava14,B,Niagree_B1']
Attack with 5 runs:
['bunava14,D,Niagree_D1', 'bunava14,D,Nisynch_D2']
Attack with 6 runs:
[]
Attack with 7 runs:
[]