infocon.beta.l15.a-10.000.list fp: 115 fn: 1 total: 116 (93) infocon.beta.l15.a-4.000.list fp: 115 fn: 1 total: 116 (93) infocon.beta.l15.a-1.000.list fp: 115 fn: 1 total: 116 (93) infocon.beta.l15.a-0.250.list fp: 115 fn: 1 total: 116 (93) infocon.beta.l15.a0.125.list fp: 115 fn: 1 total: 116 (93) infocon.beta.l15.a0.312.list fp: 115 fn: 1 total: 116 (93) infocon.beta.l15.a0.359.list fp: 115 fn: 1 total: 116 (93) infocon.beta.l15.a0.383.list fp: 115 fn: 1 total: 116 (93) infocon.beta.l15.a0.389.list fp: 115 fn: 1 total: 116 (93) infocon.beta.l15.a0.392.list fp: 115 fn: 1 total: 116 (93) infocon.beta.l15.a0.393.list fp: 115 fn: 1 total: 116 (93) infocon.beta.l15.a0.395.list fp: 115 fn: 3 total: 118 (93) infocon.beta.l15.a0.406.list fp: 115 fn: 3 total: 118 (93) infocon.beta.l15.a0.500.list fp: 115 fn: 3 total: 118 (93) infocon.beta.l15.a0.512.list fp: 115 fn: 3 total: 118 (93) infocon.beta.l15.a0.518.list fp: 115 fn: 3 total: 118 (93) infocon.beta.l15.a0.521.list fp: 115 fn: 3 total: 118 (93) infocon.beta.l15.a0.522.list fp: 115 fn: 3 total: 118 (93) infocon.beta.l15.a0.523.list fp: 115 fn: 4 total: 119 (93) infocon.beta.l15.a0.547.list fp: 115 fn: 4 total: 119 (93) infocon.beta.l15.a0.594.list fp: 115 fn: 4 total: 119 (93) infocon.beta.l15.a0.688.list fp: 115 fn: 4 total: 119 (93) infocon.beta.l15.a0.693.list fp: 115 fn: 4 total: 119 (93) infocon.beta.l15.a0.696.list fp: 115 fn: 4 total: 119 (93) infocon.beta.l15.a0.698.list fp: 115 fn: 4 total: 119 (93) infocon.beta.l15.a0.699.list fp: 110 fn: 4 total: 114 (93) infocon.beta.l15.a0.711.list fp: 110 fn: 4 total: 114 (93) infocon.beta.l15.a0.734.list fp: 110 fn: 4 total: 114 (93) infocon.beta.l15.a0.758.list fp: 110 fn: 4 total: 114 (93) infocon.beta.l15.a0.761.list fp: 110 fn: 4 total: 114 (93) infocon.beta.l15.a0.762.list fp: 106 fn: 4 total: 110 (93) infocon.beta.l15.a0.764.list fp: 106 fn: 4 total: 110 (93) infocon.beta.l15.a0.770.list fp: 106 fn: 4 total: 110 (93) infocon.beta.l15.a0.771.list fp: 106 fn: 4 total: 110 (93) infocon.beta.l15.a0.772.list fp: 105 fn: 4 total: 109 (93) infocon.beta.l15.a0.775.list fp: 105 fn: 4 total: 109 (93) infocon.beta.l15.a0.781.list fp: 105 fn: 4 total: 109 (93) infocon.beta.l15.a0.783.list fp: 105 fn: 4 total: 109 (93) infocon.beta.l15.a0.784.list fp: 88 fn: 4 total: 92 (93) infocon.beta.l15.a0.787.list fp: 88 fn: 4 total: 92 (93) infocon.beta.l15.a0.793.list fp: 88 fn: 4 total: 92 (93) infocon.beta.l15.a0.805.list fp: 88 fn: 4 total: 92 (93) infocon.beta.l15.a0.828.list fp: 88 fn: 4 total: 92 (93) infocon.beta.l15.a0.840.list fp: 88 fn: 4 total: 92 (93) infocon.beta.l15.a0.846.list fp: 88 fn: 4 total: 92 (93) infocon.beta.l15.a0.849.list fp: 88 fn: 4 total: 92 (93) infocon.beta.l15.a0.850.list fp: 86 fn: 6 total: 92 (93) infocon.beta.l15.a0.852.list fp: 86 fn: 6 total: 92 (93) infocon.beta.l15.a0.857.list fp: 86 fn: 6 total: 92 (93) infocon.beta.l15.a0.859.list fp: 86 fn: 6 total: 92 (93) infocon.beta.l15.a0.860.list fp: 61 fn: 6 total: 67 (93) infocon.beta.l15.a0.863.list fp: 61 fn: 6 total: 67 (93) infocon.beta.l15.a0.875.list fp: 61 fn: 6 total: 67 (93) infocon.beta.l15.a0.876.list fp: 61 fn: 6 total: 67 (93) infocon.beta.l15.a0.878.list fp: 57 fn: 6 total: 63 (93) infocon.beta.l15.a0.881.list fp: 57 fn: 6 total: 63 (93) infocon.beta.l15.a0.887.list fp: 57 fn: 6 total: 63 (93) infocon.beta.l15.a0.890.list fp: 57 fn: 6 total: 63 (93) infocon.beta.l15.a0.891.list fp: 57 fn: 6 total: 63 (93) infocon.beta.l15.a0.893.list fp: 48 fn: 12 total: 60 (93) infocon.beta.l15.a0.898.list fp: 48 fn: 12 total: 60 (93) infocon.beta.l15.a0.922.list fp: 48 fn: 12 total: 60 (93) infocon.beta.l15.a0.928.list fp: 48 fn: 12 total: 60 (93) infocon.beta.l15.a0.929.list fp: 46 fn: 12 total: 58 (93) infocon.beta.l15.a0.931.list fp: 44 fn: 14 total: 58 (93) infocon.beta.l15.a0.934.list fp: 44 fn: 14 total: 58 (93) infocon.beta.l15.a0.945.list fp: 44 fn: 14 total: 58 (93) infocon.beta.l15.a0.969.list fp: 44 fn: 14 total: 58 (93) infocon.beta.l15.a0.992.list fp: 44 fn: 14 total: 58 (93) infocon.beta.l15.a0.998.list fp: 44 fn: 14 total: 58 (93) infocon.beta.l15.a1.001.list fp: 44 fn: 14 total: 58 (93) infocon.beta.l15.a1.002.list fp: 44 fn: 14 total: 58 (93) infocon.beta.l15.a1.004.list fp: 35 fn: 26 total: 61 (93) infocon.beta.l15.a1.016.list fp: 35 fn: 26 total: 61 (93) infocon.beta.l15.a1.039.list fp: 35 fn: 26 total: 61 (93) infocon.beta.l15.a1.041.list fp: 27 fn: 33 total: 60 (93) infocon.beta.l15.a1.042.list fp: 27 fn: 33 total: 60 (93) infocon.beta.l15.a1.043.list fp: 27 fn: 33 total: 60 (93) infocon.beta.l15.a1.045.list fp: 21 fn: 44 total: 65 (93) infocon.beta.l15.a1.051.list fp: 21 fn: 44 total: 65 (93) infocon.beta.l15.a1.057.list fp: 21 fn: 44 total: 65 (93) infocon.beta.l15.a1.058.list fp: 10 fn: 48 total: 58 (93) infocon.beta.l15.a1.060.list fp: 5 fn: 58 total: 63 (93) infocon.beta.l15.a1.062.list fp: 5 fn: 58 total: 63 (93) infocon.beta.l15.a1.065.list fp: 5 fn: 58 total: 63 (93) infocon.beta.l15.a1.067.list fp: 5 fn: 58 total: 63 (93) infocon.beta.l15.a1.068.list fp: 0 fn: 72 total: 72 (93) infocon.beta.l15.a1.074.list fp: 0 fn: 72 total: 72 (93) infocon.beta.l15.a1.086.list fp: 0 fn: 72 total: 72 (93) infocon.beta.l15.a1.089.list fp: 0 fn: 72 total: 72 (93) infocon.beta.l15.a1.090.list fp: 0 fn: 72 total: 72 (93) infocon.beta.l15.a1.092.list fp: 0 fn: 93 total: 93 (93) infocon.beta.l15.a1.098.list fp: 0 fn: 93 total: 93 (93) infocon.beta.l15.a1.109.list fp: 0 fn: 93 total: 93 (93) infocon.beta.l15.a1.156.list fp: 0 fn: 93 total: 93 (93) infocon.beta.l15.a1.250.list fp: 0 fn: 93 total: 93 (93) infocon.beta.l15.a2.000.list fp: 0 fn: 93 total: 93 (93)