/home/swinkler/confchecksmt/src/libyices.so.2.6.2 number of traces: 185 equivalence classes naive: 179, intervals: 179 (clustering time 0.00) here ##### CONFORMANCE CHECK TRACE 0 (1 instances, length 2) ##### CONFORMANCE CHECK TRACE 1 (1 instances, length 3) DISTANCE : 1 time/encode: 0.02 time/solve: 0.13 ##### CONFORMANCE CHECK TRACE 2 (1 instances, length 4) DISTANCE : 1 time/encode: 0.02 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 3 (1 instances, length 4) DISTANCE : 3 time/encode: 0.02 time/solve: 1.32 ##### CONFORMANCE CHECK TRACE 4 (1 instances, length 4) DISTANCE : 1 time/encode: 0.02 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 5 (1 instances, length 4) DISTANCE : 1 time/encode: 0.02 time/solve: 0.19 ##### CONFORMANCE CHECK TRACE 6 (1 instances, length 4) DISTANCE : 4 time/encode: 0.02 time/solve: 2.99 ##### CONFORMANCE CHECK TRACE 7 (1 instances, length 5) DISTANCE : 4 time/encode: 0.03 time/solve: 9.33 ##### CONFORMANCE CHECK TRACE 8 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 9 (1 instances, length 5) DISTANCE : 2 time/encode: 0.03 time/solve: 3.15 ##### CONFORMANCE CHECK TRACE 10 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.16 ##### CONFORMANCE CHECK TRACE 11 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.83 ##### CONFORMANCE CHECK TRACE 12 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.34 ##### CONFORMANCE CHECK TRACE 13 (1 instances, length 5) DISTANCE : 2 time/encode: 0.03 time/solve: 1.21 ##### CONFORMANCE CHECK TRACE 14 (2 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.43 ##### CONFORMANCE CHECK TRACE 15 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.39 ##### CONFORMANCE CHECK TRACE 16 (1 instances, length 5) DISTANCE : 3 time/encode: 0.03 time/solve: 4.36 ##### CONFORMANCE CHECK TRACE 17 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.13 ##### CONFORMANCE CHECK TRACE 18 (1 instances, length 5) DISTANCE : 3 time/encode: 0.03 time/solve: 5.00 ##### CONFORMANCE CHECK TRACE 19 (1 instances, length 5) DISTANCE : 3 time/encode: 0.03 time/solve: 3.84 ##### CONFORMANCE CHECK TRACE 20 (1 instances, length 5) DISTANCE : 5 time/encode: 0.03 time/solve: 23.30 ##### CONFORMANCE CHECK TRACE 21 (1 instances, length 5) DISTANCE : 2 time/encode: 0.03 time/solve: 1.37 ##### CONFORMANCE CHECK TRACE 22 (1 instances, length 5) DISTANCE : 3 time/encode: 0.03 time/solve: 4.69 ##### CONFORMANCE CHECK TRACE 23 (1 instances, length 5) DISTANCE : 3 time/encode: 0.03 time/solve: 3.75 ##### CONFORMANCE CHECK TRACE 24 (1 instances, length 5) DISTANCE : 2 time/encode: 0.03 time/solve: 2.87 ##### CONFORMANCE CHECK TRACE 25 (1 instances, length 5) DISTANCE : 3 time/encode: 0.03 time/solve: 4.17 ##### CONFORMANCE CHECK TRACE 26 (1 instances, length 5) DISTANCE : 4 time/encode: 0.03 time/solve: 7.75 ##### CONFORMANCE CHECK TRACE 27 (1 instances, length 5) DISTANCE : 3 time/encode: 0.03 time/solve: 0.75 ##### CONFORMANCE CHECK TRACE 28 (1 instances, length 5) DISTANCE : 5 time/encode: 0.03 time/solve: 18.98 ##### CONFORMANCE CHECK TRACE 29 (1 instances, length 5) DISTANCE : 4 time/encode: 0.03 time/solve: 8.28 ##### CONFORMANCE CHECK TRACE 30 (1 instances, length 6) DISTANCE : 4 time/encode: 0.03 time/solve: 23.40 ##### CONFORMANCE CHECK TRACE 31 (1 instances, length 6) DISTANCE : 3 time/encode: 0.04 time/solve: 16.86 ##### CONFORMANCE CHECK TRACE 32 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 14.34 ##### CONFORMANCE CHECK TRACE 33 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 0.84 ##### CONFORMANCE CHECK TRACE 34 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 30.61 ##### CONFORMANCE CHECK TRACE 35 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 5.42 ##### CONFORMANCE CHECK TRACE 36 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 21.02 ##### CONFORMANCE CHECK TRACE 37 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 38.35 ##### CONFORMANCE CHECK TRACE 38 (1 instances, length 6) DISTANCE : 1 time/encode: 0.04 time/solve: 4.99 ##### CONFORMANCE CHECK TRACE 39 (1 instances, length 6) DISTANCE : 3 time/encode: 0.04 time/solve: 8.23 ##### CONFORMANCE CHECK TRACE 40 (1 instances, length 6) DISTANCE : 3 time/encode: 0.04 time/solve: 6.95 ##### CONFORMANCE CHECK TRACE 41 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.22 ##### CONFORMANCE CHECK TRACE 42 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.09 ##### CONFORMANCE CHECK TRACE 43 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.56 ##### CONFORMANCE CHECK TRACE 44 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 4.43 ##### CONFORMANCE CHECK TRACE 45 (1 instances, length 6) DISTANCE : 3 time/encode: 0.04 time/solve: 6.44 ##### CONFORMANCE CHECK TRACE 46 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.05 ##### CONFORMANCE CHECK TRACE 47 (1 instances, length 6) DISTANCE : 3 time/encode: 0.04 time/solve: 10.15 ##### CONFORMANCE CHECK TRACE 48 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.55 ##### CONFORMANCE CHECK TRACE 49 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.31 ##### CONFORMANCE CHECK TRACE 50 (2 instances, length 6) DISTANCE : 1 time/encode: 0.04 time/solve: 1.80 ##### CONFORMANCE CHECK TRACE 51 (1 instances, length 6) DISTANCE : 1 time/encode: 0.04 time/solve: 0.77 ##### CONFORMANCE CHECK TRACE 52 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 1.85 ##### CONFORMANCE CHECK TRACE 53 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 1.59 ##### CONFORMANCE CHECK TRACE 54 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.34 ##### CONFORMANCE CHECK TRACE 55 (1 instances, length 6) DISTANCE : 1 time/encode: 0.04 time/solve: 0.94 ##### CONFORMANCE CHECK TRACE 56 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.75 ##### CONFORMANCE CHECK TRACE 57 (1 instances, length 6) DISTANCE : 1 time/encode: 0.04 time/solve: 0.77 ##### CONFORMANCE CHECK TRACE 58 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 36.39 ##### CONFORMANCE CHECK TRACE 59 (1 instances, length 6) DISTANCE : 3 time/encode: 0.04 time/solve: 5.65 ##### CONFORMANCE CHECK TRACE 60 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 25.08 ##### CONFORMANCE CHECK TRACE 61 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.81 ##### CONFORMANCE CHECK TRACE 62 (1 instances, length 6) DISTANCE : 6 time/encode: 0.04 time/solve: 160.22 ##### CONFORMANCE CHECK TRACE 63 (1 instances, length 6) DISTANCE : 3 time/encode: 0.04 time/solve: 3.77 ##### CONFORMANCE CHECK TRACE 64 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 1.35 ##### CONFORMANCE CHECK TRACE 65 (1 instances, length 6) DISTANCE : 5 time/encode: 0.04 time/solve: 69.96 ##### CONFORMANCE CHECK TRACE 66 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 9.56 ##### CONFORMANCE CHECK TRACE 67 (1 instances, length 6) DISTANCE : 4 time/encode: 0.03 time/solve: 20.44 ##### CONFORMANCE CHECK TRACE 68 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 6.70 ##### CONFORMANCE CHECK TRACE 69 (1 instances, length 6) DISTANCE : 5 time/encode: 0.04 time/solve: 53.27 ##### CONFORMANCE CHECK TRACE 70 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 24.95 ##### CONFORMANCE CHECK TRACE 71 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 22.07 ##### CONFORMANCE CHECK TRACE 72 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 28.68 ##### CONFORMANCE CHECK TRACE 73 (1 instances, length 6) DISTANCE : 2 time/encode: 0.03 time/solve: 1.47 ##### CONFORMANCE CHECK TRACE 74 (1 instances, length 6) DISTANCE : 4 time/encode: 0.03 time/solve: 26.57 ##### CONFORMANCE CHECK TRACE 75 (1 instances, length 6) DISTANCE : 3 time/encode: 0.04 time/solve: 12.17 ##### CONFORMANCE CHECK TRACE 76 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 15.29 ##### CONFORMANCE CHECK TRACE 77 (1 instances, length 7) DISTANCE : 3 time/encode: 0.04 time/solve: 41.34 ##### CONFORMANCE CHECK TRACE 78 (1 instances, length 7) DISTANCE : 4 time/encode: 0.04 time/solve: 19.23 ##### CONFORMANCE CHECK TRACE 79 (1 instances, length 7) DISTANCE : 3 time/encode: 0.04 time/solve: 11.98 ##### CONFORMANCE CHECK TRACE 80 (1 instances, length 7) DISTANCE : 5 time/encode: 0.05 time/solve: 92.88 ##### CONFORMANCE CHECK TRACE 81 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 4.66 ##### CONFORMANCE CHECK TRACE 82 (1 instances, length 7) DISTANCE : 5 time/encode: 0.05 time/solve: 142.41 ##### CONFORMANCE CHECK TRACE 83 (1 instances, length 7) DISTANCE : 5 time/encode: 0.05 time/solve: 113.94 ##### CONFORMANCE CHECK TRACE 84 (1 instances, length 7) DISTANCE : 5 time/encode: 0.04 time/solve: 133.31 ##### CONFORMANCE CHECK TRACE 85 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 13.65 ##### CONFORMANCE CHECK TRACE 86 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 3.98 ##### CONFORMANCE CHECK TRACE 87 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 6.53 ##### CONFORMANCE CHECK TRACE 88 (1 instances, length 7) DISTANCE : 2 time/encode: 0.05 time/solve: 5.67 ##### CONFORMANCE CHECK TRACE 89 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 6.25 ##### CONFORMANCE CHECK TRACE 90 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 15.96 ##### CONFORMANCE CHECK TRACE 91 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 4.20 ##### CONFORMANCE CHECK TRACE 92 (2 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 9.43 ##### CONFORMANCE CHECK TRACE 93 (3 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 24.52 ##### CONFORMANCE CHECK TRACE 94 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 19.30 ##### CONFORMANCE CHECK TRACE 95 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 20.17 ##### CONFORMANCE CHECK TRACE 96 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 23.73 ##### CONFORMANCE CHECK TRACE 97 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 13.17 ##### CONFORMANCE CHECK TRACE 98 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 43.95 ##### CONFORMANCE CHECK TRACE 99 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 35.32 ##### CONFORMANCE CHECK TRACE 100 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 37.41 ##### CONFORMANCE CHECK TRACE 101 (1 instances, length 7) DISTANCE : 2 time/encode: 0.05 time/solve: 7.85 ##### CONFORMANCE CHECK TRACE 102 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 10.13 ##### CONFORMANCE CHECK TRACE 103 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 4.56 ##### CONFORMANCE CHECK TRACE 104 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 12.22 ##### CONFORMANCE CHECK TRACE 105 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 3.48 ##### CONFORMANCE CHECK TRACE 106 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 9.34 ##### CONFORMANCE CHECK TRACE 107 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 11.91 ##### CONFORMANCE CHECK TRACE 108 (1 instances, length 7) DISTANCE : 2 time/encode: 0.05 time/solve: 19.84 ##### CONFORMANCE CHECK TRACE 109 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 17.34 ##### CONFORMANCE CHECK TRACE 110 (1 instances, length 7) DISTANCE : 5 time/encode: 0.05 time/solve: 150.52 ##### CONFORMANCE CHECK TRACE 111 (1 instances, length 7) DISTANCE : 4 time/encode: 0.05 time/solve: 56.16 ##### CONFORMANCE CHECK TRACE 112 (1 instances, length 7) DISTANCE : 5 time/encode: 0.04 time/solve: 135.54 ##### CONFORMANCE CHECK TRACE 113 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 10.81 ##### CONFORMANCE CHECK TRACE 114 (2 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 8.62 ##### CONFORMANCE CHECK TRACE 115 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 11.60 ##### CONFORMANCE CHECK TRACE 116 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 5.16 ##### CONFORMANCE CHECK TRACE 117 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 18.08 ##### CONFORMANCE CHECK TRACE 118 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 8.06 ##### CONFORMANCE CHECK TRACE 119 (1 instances, length 7) DISTANCE : 4 time/encode: 0.05 time/solve: 34.82 ##### CONFORMANCE CHECK TRACE 120 (1 instances, length 7) DISTANCE : 2 time/encode: 0.05 time/solve: 46.82 ##### CONFORMANCE CHECK TRACE 121 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 8.38 ##### CONFORMANCE CHECK TRACE 122 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 3.51 ##### CONFORMANCE CHECK TRACE 123 (1 instances, length 7) DISTANCE : 5 time/encode: 0.05 time/solve: 82.23 ##### CONFORMANCE CHECK TRACE 124 (1 instances, length 7) DISTANCE : 5 time/encode: 0.04 time/solve: 108.33 ##### CONFORMANCE CHECK TRACE 125 (1 instances, length 7) DISTANCE : 5 time/encode: 0.05 time/solve: 88.28 ##### CONFORMANCE CHECK TRACE 126 (1 instances, length 7) DISTANCE : 4 time/encode: 0.04 time/solve: 59.54 ##### CONFORMANCE CHECK TRACE 127 (1 instances, length 7) DISTANCE : 5 time/encode: 0.04 time/solve: 124.66 ##### CONFORMANCE CHECK TRACE 128 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 27.12 ##### CONFORMANCE CHECK TRACE 129 (1 instances, length 7) DISTANCE : 3 time/encode: 0.04 time/solve: 21.60 ##### CONFORMANCE CHECK TRACE 130 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 101.94 ##### CONFORMANCE CHECK TRACE 131 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 65.23 ##### CONFORMANCE CHECK TRACE 132 (1 instances, length 8) DISTANCE : 2 time/encode: 0.05 time/solve: 30.66 ##### CONFORMANCE CHECK TRACE 133 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 13.44 ##### CONFORMANCE CHECK TRACE 134 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 18.93 ##### CONFORMANCE CHECK TRACE 135 (1 instances, length 8) DISTANCE : 2 time/encode: 0.05 time/solve: 27.67 ##### CONFORMANCE CHECK TRACE 136 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 11.16 ##### CONFORMANCE CHECK TRACE 137 (1 instances, length 8) DISTANCE : 2 time/encode: 0.05 time/solve: 39.65 ##### CONFORMANCE CHECK TRACE 138 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 16.91 ##### CONFORMANCE CHECK TRACE 139 (1 instances, length 8) DISTANCE : 1 time/encode: 0.05 time/solve: 11.98 ##### CONFORMANCE CHECK TRACE 140 (1 instances, length 8) DISTANCE : 3 time/encode: 0.07 time/solve: 16.45 ##### CONFORMANCE CHECK TRACE 141 (1 instances, length 8) DISTANCE : 2 time/encode: 0.05 time/solve: 69.18 ##### CONFORMANCE CHECK TRACE 142 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 27.48 ##### CONFORMANCE CHECK TRACE 143 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 11.23 ##### CONFORMANCE CHECK TRACE 144 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 39.21 ##### CONFORMANCE CHECK TRACE 145 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 45.02 ##### CONFORMANCE CHECK TRACE 146 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 46.76 ##### CONFORMANCE CHECK TRACE 147 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 86.05 ##### CONFORMANCE CHECK TRACE 148 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 52.93 ##### CONFORMANCE CHECK TRACE 149 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 55.01 ##### CONFORMANCE CHECK TRACE 150 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 88.39 ##### CONFORMANCE CHECK TRACE 151 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 119.75 ##### CONFORMANCE CHECK TRACE 152 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 104.01 ##### CONFORMANCE CHECK TRACE 153 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 65.23 ##### CONFORMANCE CHECK TRACE 154 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 44.78 ##### CONFORMANCE CHECK TRACE 155 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 43.55 ##### CONFORMANCE CHECK TRACE 156 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 64.77 ##### CONFORMANCE CHECK TRACE 157 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 22.19 ##### CONFORMANCE CHECK TRACE 158 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 56.88 ##### CONFORMANCE CHECK TRACE 159 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 15.00 ##### CONFORMANCE CHECK TRACE 160 (1 instances, length 8) DISTANCE : 1 time/encode: 0.05 time/solve: 20.99 ##### CONFORMANCE CHECK TRACE 161 (1 instances, length 8) DISTANCE : 1 time/encode: 0.05 time/solve: 17.33 ##### CONFORMANCE CHECK TRACE 162 (1 instances, length 8) DISTANCE : 2 time/encode: 0.05 time/solve: 8.78 ##### CONFORMANCE CHECK TRACE 163 (1 instances, length 8) DISTANCE : 2 time/encode: 0.05 time/solve: 35.07 ##### CONFORMANCE CHECK TRACE 164 (1 instances, length 8) DISTANCE : 2 time/encode: 0.05 time/solve: 68.77 ##### CONFORMANCE CHECK TRACE 165 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 34.64 ##### CONFORMANCE CHECK TRACE 166 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 35.31 ##### CONFORMANCE CHECK TRACE 167 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 20.16 ##### CONFORMANCE CHECK TRACE 168 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 130.72 ##### CONFORMANCE CHECK TRACE 169 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 15.61 ##### CONFORMANCE CHECK TRACE 170 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 17.43 ##### CONFORMANCE CHECK TRACE 171 (1 instances, length 8) DISTANCE : 1 time/encode: 0.05 time/solve: 18.56 ##### CONFORMANCE CHECK TRACE 172 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 35.82 ##### CONFORMANCE CHECK TRACE 173 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 12.38 ##### CONFORMANCE CHECK TRACE 174 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 111.50 ##### CONFORMANCE CHECK TRACE 175 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 38.01 ##### CONFORMANCE CHECK TRACE 176 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 15.45 ##### CONFORMANCE CHECK TRACE 177 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 112.80 ##### CONFORMANCE CHECK TRACE 178 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 140.15 encoding time: total 7.57 avg 0.04 median 0.05 solving time: total 5111.70 avg 28.56 median 15.00 distance 1: 28 (30 overall) distance 2: 34 (34 overall) distance 3: 73 (77 overall) distance 4: 26 (26 overall) distance 5: 16 (16 overall) distance 6: 1 (1 overall) timeouts: 1