/home/swinkler/confchecksmt/src/libyices.so.2.6.2 number of traces: 392 equivalence classes naive: 392, intervals: 392 (clustering time 0.01) here ##### CONFORMANCE CHECK TRACE 0 (1 instances, length 3) DISTANCE : 1 time/encode: 0.02 time/solve: 0.13 ##### CONFORMANCE CHECK TRACE 1 (1 instances, length 4) DISTANCE : 1 time/encode: 0.02 time/solve: 0.20 ##### CONFORMANCE CHECK TRACE 2 (1 instances, length 5) DISTANCE : 3 time/encode: 0.03 time/solve: 2.83 ##### CONFORMANCE CHECK TRACE 3 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.18 ##### CONFORMANCE CHECK TRACE 4 (1 instances, length 5) DISTANCE : 3 time/encode: 0.03 time/solve: 3.66 ##### CONFORMANCE CHECK TRACE 5 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.19 ##### CONFORMANCE CHECK TRACE 6 (1 instances, length 5) DISTANCE : 2 time/encode: 0.03 time/solve: 0.80 ##### CONFORMANCE CHECK TRACE 7 (1 instances, length 5) DISTANCE : 2 time/encode: 0.03 time/solve: 1.45 ##### CONFORMANCE CHECK TRACE 8 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.71 ##### CONFORMANCE CHECK TRACE 9 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.60 ##### CONFORMANCE CHECK TRACE 10 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.58 ##### CONFORMANCE CHECK TRACE 11 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.25 ##### CONFORMANCE CHECK TRACE 12 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.41 ##### CONFORMANCE CHECK TRACE 13 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 1.30 ##### CONFORMANCE CHECK TRACE 14 (1 instances, length 5) DISTANCE : 2 time/encode: 0.03 time/solve: 0.87 ##### CONFORMANCE CHECK TRACE 15 (1 instances, length 5) DISTANCE : 3 time/encode: 0.03 time/solve: 4.79 ##### CONFORMANCE CHECK TRACE 16 (1 instances, length 5) DISTANCE : 3 time/encode: 0.03 time/solve: 3.62 ##### CONFORMANCE CHECK TRACE 17 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.27 ##### CONFORMANCE CHECK TRACE 18 (1 instances, length 5) DISTANCE : 2 time/encode: 0.03 time/solve: 0.77 ##### CONFORMANCE CHECK TRACE 19 (1 instances, length 5) DISTANCE : 3 time/encode: 0.03 time/solve: 4.84 ##### CONFORMANCE CHECK TRACE 20 (1 instances, length 5) DISTANCE : 3 time/encode: 0.03 time/solve: 3.82 ##### CONFORMANCE CHECK TRACE 21 (1 instances, length 5) DISTANCE : 3 time/encode: 0.03 time/solve: 5.42 ##### CONFORMANCE CHECK TRACE 22 (1 instances, length 5) DISTANCE : 3 time/encode: 0.03 time/solve: 4.93 ##### CONFORMANCE CHECK TRACE 23 (1 instances, length 5) DISTANCE : 3 time/encode: 0.03 time/solve: 4.11 ##### CONFORMANCE CHECK TRACE 24 (1 instances, length 5) DISTANCE : 3 time/encode: 0.03 time/solve: 4.57 ##### CONFORMANCE CHECK TRACE 25 (1 instances, length 5) DISTANCE : 3 time/encode: 0.03 time/solve: 1.33 ##### CONFORMANCE CHECK TRACE 26 (1 instances, length 5) DISTANCE : 3 time/encode: 0.03 time/solve: 1.63 ##### CONFORMANCE CHECK TRACE 27 (1 instances, length 5) DISTANCE : 3 time/encode: 0.03 time/solve: 1.77 ##### CONFORMANCE CHECK TRACE 28 (1 instances, length 5) DISTANCE : 3 time/encode: 0.03 time/solve: 3.88 ##### CONFORMANCE CHECK TRACE 29 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 0.83 ##### CONFORMANCE CHECK TRACE 30 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.36 ##### CONFORMANCE CHECK TRACE 31 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 1.36 ##### CONFORMANCE CHECK TRACE 32 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.44 ##### CONFORMANCE CHECK TRACE 33 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.58 ##### CONFORMANCE CHECK TRACE 34 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.36 ##### CONFORMANCE CHECK TRACE 35 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.19 ##### CONFORMANCE CHECK TRACE 36 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.14 ##### CONFORMANCE CHECK TRACE 37 (1 instances, length 6) DISTANCE : 3 time/encode: 0.04 time/solve: 12.17 ##### CONFORMANCE CHECK TRACE 38 (1 instances, length 6) DISTANCE : 3 time/encode: 0.04 time/solve: 12.79 ##### CONFORMANCE CHECK TRACE 39 (1 instances, length 6) DISTANCE : 1 time/encode: 0.04 time/solve: 1.53 ##### CONFORMANCE CHECK TRACE 40 (1 instances, length 6) DISTANCE : 1 time/encode: 0.04 time/solve: 0.43 ##### CONFORMANCE CHECK TRACE 41 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 1.67 ##### CONFORMANCE CHECK TRACE 42 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.67 ##### CONFORMANCE CHECK TRACE 43 (1 instances, length 6) DISTANCE : 1 time/encode: 0.04 time/solve: 0.73 ##### CONFORMANCE CHECK TRACE 44 (1 instances, length 6) DISTANCE : 3 time/encode: 0.04 time/solve: 7.60 ##### CONFORMANCE CHECK TRACE 45 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 7.04 ##### CONFORMANCE CHECK TRACE 46 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.59 ##### CONFORMANCE CHECK TRACE 47 (1 instances, length 6) DISTANCE : 3 time/encode: 0.04 time/solve: 10.19 ##### CONFORMANCE CHECK TRACE 48 (1 instances, length 6) DISTANCE : 1 time/encode: 0.04 time/solve: 0.95 ##### CONFORMANCE CHECK TRACE 49 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.24 ##### CONFORMANCE CHECK TRACE 50 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.19 ##### CONFORMANCE CHECK TRACE 51 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 8.96 ##### CONFORMANCE CHECK TRACE 52 (1 instances, length 6) DISTANCE : 3 time/encode: 0.04 time/solve: 14.81 ##### CONFORMANCE CHECK TRACE 53 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 23.96 ##### CONFORMANCE CHECK TRACE 54 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 73.96 ##### CONFORMANCE CHECK TRACE 55 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 39.35 ##### CONFORMANCE CHECK TRACE 56 (1 instances, length 6) DISTANCE : 5 time/encode: 0.04 time/solve: 79.82 ##### CONFORMANCE CHECK TRACE 57 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 30.98 ##### CONFORMANCE CHECK TRACE 58 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.44 ##### CONFORMANCE CHECK TRACE 59 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.00 ##### CONFORMANCE CHECK TRACE 60 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 1.32 ##### CONFORMANCE CHECK TRACE 61 (1 instances, length 6) DISTANCE : 3 time/encode: 0.04 time/solve: 13.24 ##### CONFORMANCE CHECK TRACE 62 (1 instances, length 6) DISTANCE : 3 time/encode: 0.04 time/solve: 8.99 ##### CONFORMANCE CHECK TRACE 63 (1 instances, length 6) DISTANCE : 3 time/encode: 0.04 time/solve: 17.65 ##### CONFORMANCE CHECK TRACE 64 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 27.59 ##### CONFORMANCE CHECK TRACE 65 (1 instances, length 6) DISTANCE : 5 time/encode: 0.04 time/solve: 47.89 ##### CONFORMANCE CHECK TRACE 66 (1 instances, length 6) DISTANCE : 5 time/encode: 0.04 time/solve: 79.21 ##### CONFORMANCE CHECK TRACE 67 (1 instances, length 6) DISTANCE : 3 time/encode: 0.04 time/solve: 7.58 ##### CONFORMANCE CHECK TRACE 68 (1 instances, length 6) DISTANCE : 3 time/encode: 0.04 time/solve: 13.15 ##### CONFORMANCE CHECK TRACE 69 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 23.98 ##### CONFORMANCE CHECK TRACE 70 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 49.72 ##### CONFORMANCE CHECK TRACE 71 (1 instances, length 6) DISTANCE : 3 time/encode: 0.04 time/solve: 11.92 ##### CONFORMANCE CHECK TRACE 72 (1 instances, length 6) DISTANCE : 3 time/encode: 0.04 time/solve: 8.72 ##### CONFORMANCE CHECK TRACE 73 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 45.36 ##### CONFORMANCE CHECK TRACE 74 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 40.96 ##### CONFORMANCE CHECK TRACE 75 (1 instances, length 6) DISTANCE : 5 time/encode: 0.04 time/solve: 98.14 ##### CONFORMANCE CHECK TRACE 76 (1 instances, length 6) DISTANCE : 5 time/encode: 0.04 time/solve: 107.02 ##### CONFORMANCE CHECK TRACE 77 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 1.71 ##### CONFORMANCE CHECK TRACE 78 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 39.09 ##### CONFORMANCE CHECK TRACE 79 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 37.26 ##### CONFORMANCE CHECK TRACE 80 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 32.56 ##### CONFORMANCE CHECK TRACE 81 (1 instances, length 6) DISTANCE : 2 time/encode: 0.05 time/solve: 1.50 ##### CONFORMANCE CHECK TRACE 82 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 44.44 ##### CONFORMANCE CHECK TRACE 83 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 0.86 ##### CONFORMANCE CHECK TRACE 84 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 41.65 ##### CONFORMANCE CHECK TRACE 85 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 52.64 ##### CONFORMANCE CHECK TRACE 86 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 44.50 ##### CONFORMANCE CHECK TRACE 87 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 42.09 ##### CONFORMANCE CHECK TRACE 88 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 25.78 ##### CONFORMANCE CHECK TRACE 89 (1 instances, length 6) DISTANCE : 5 time/encode: 0.04 time/solve: 61.03 ##### CONFORMANCE CHECK TRACE 90 (1 instances, length 6) DISTANCE : 5 time/encode: 0.04 time/solve: 88.19 ##### CONFORMANCE CHECK TRACE 91 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 23.79 ##### CONFORMANCE CHECK TRACE 92 (1 instances, length 6) DISTANCE : 5 time/encode: 0.04 time/solve: 70.07 ##### CONFORMANCE CHECK TRACE 93 (1 instances, length 6) DISTANCE : 5 time/encode: 0.04 time/solve: 50.62 ##### CONFORMANCE CHECK TRACE 94 (1 instances, length 6) DISTANCE : 2 time/encode: 0.03 time/solve: 2.93 ##### CONFORMANCE CHECK TRACE 95 (1 instances, length 6) DISTANCE : 3 time/encode: 0.03 time/solve: 6.03 ##### CONFORMANCE CHECK TRACE 96 (1 instances, length 6) DISTANCE : 2 time/encode: 0.03 time/solve: 8.87 ##### CONFORMANCE CHECK TRACE 97 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 58.54 ##### CONFORMANCE CHECK TRACE 98 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 36.42 ##### CONFORMANCE CHECK TRACE 99 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 25.51 ##### CONFORMANCE CHECK TRACE 100 (1 instances, length 6) DISTANCE : 5 time/encode: 0.04 time/solve: 77.82 ##### CONFORMANCE CHECK TRACE 101 (1 instances, length 6) DISTANCE : 5 time/encode: 0.04 time/solve: 54.90 ##### CONFORMANCE CHECK TRACE 102 (1 instances, length 6) DISTANCE : 5 time/encode: 0.04 time/solve: 93.72 ##### CONFORMANCE CHECK TRACE 103 (1 instances, length 6) DISTANCE : 5 time/encode: 0.04 time/solve: 72.07 ##### CONFORMANCE CHECK TRACE 104 (1 instances, length 6) DISTANCE : 5 time/encode: 0.04 time/solve: 58.91 ##### CONFORMANCE CHECK TRACE 105 (1 instances, length 6) DISTANCE : 5 time/encode: 0.04 time/solve: 70.78 ##### CONFORMANCE CHECK TRACE 106 (1 instances, length 6) DISTANCE : 4 time/encode: 0.04 time/solve: 42.04 ##### CONFORMANCE CHECK TRACE 107 (1 instances, length 7) DISTANCE : 3 time/encode: 0.04 time/solve: 9.77 ##### CONFORMANCE CHECK TRACE 108 (1 instances, length 7) DISTANCE : 3 time/encode: 0.04 time/solve: 12.24 ##### CONFORMANCE CHECK TRACE 109 (1 instances, length 7) DISTANCE : 3 time/encode: 0.04 time/solve: 10.04 ##### CONFORMANCE CHECK TRACE 110 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 4.32 ##### CONFORMANCE CHECK TRACE 111 (1 instances, length 7) DISTANCE : 4 time/encode: 0.05 time/solve: 24.71 ##### CONFORMANCE CHECK TRACE 112 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 8.15 ##### CONFORMANCE CHECK TRACE 113 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 19.45 ##### CONFORMANCE CHECK TRACE 114 (1 instances, length 7) DISTANCE : 1 time/encode: 0.04 time/solve: 4.66 ##### CONFORMANCE CHECK TRACE 115 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 9.08 ##### CONFORMANCE CHECK TRACE 116 (1 instances, length 7) DISTANCE : 3 time/encode: 0.04 time/solve: 11.13 ##### CONFORMANCE CHECK TRACE 117 (1 instances, length 7) DISTANCE : 2 time/encode: 0.05 time/solve: 10.86 ##### CONFORMANCE CHECK TRACE 118 (1 instances, length 7) DISTANCE : 4 time/encode: 0.04 time/solve: 50.57 ##### CONFORMANCE CHECK TRACE 119 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 33.93 ##### CONFORMANCE CHECK TRACE 120 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 35.01 ##### CONFORMANCE CHECK TRACE 121 (1 instances, length 7) DISTANCE : 2 time/encode: 0.05 time/solve: 11.48 ##### CONFORMANCE CHECK TRACE 122 (1 instances, length 7) DISTANCE : 2 time/encode: 0.05 time/solve: 4.18 ##### CONFORMANCE CHECK TRACE 123 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 9.50 ##### CONFORMANCE CHECK TRACE 124 (1 instances, length 7) DISTANCE : 1 time/encode: 0.04 time/solve: 4.49 ##### CONFORMANCE CHECK TRACE 125 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 11.77 ##### CONFORMANCE CHECK TRACE 126 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 5.97 ##### CONFORMANCE CHECK TRACE 127 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 8.11 ##### CONFORMANCE CHECK TRACE 128 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 7.54 ##### CONFORMANCE CHECK TRACE 129 (1 instances, length 7) DISTANCE : 3 time/encode: 0.04 time/solve: 22.46 ##### CONFORMANCE CHECK TRACE 130 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 10.15 ##### CONFORMANCE CHECK TRACE 131 (1 instances, length 7) DISTANCE : 3 time/encode: 0.04 time/solve: 17.88 ##### CONFORMANCE CHECK TRACE 132 (1 instances, length 7) DISTANCE : 2 time/encode: 0.05 time/solve: 16.23 ##### CONFORMANCE CHECK TRACE 133 (1 instances, length 7) DISTANCE : 4 time/encode: 0.05 time/solve: 119.47 ##### CONFORMANCE CHECK TRACE 134 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 4.93 ##### CONFORMANCE CHECK TRACE 135 (1 instances, length 7) DISTANCE : 5 time/encode: 0.05 time/solve: 76.21 ##### CONFORMANCE CHECK TRACE 136 (1 instances, length 7) DISTANCE : 4 time/encode: 0.04 time/solve: 84.63 ##### CONFORMANCE CHECK TRACE 137 (1 instances, length 7) DISTANCE : 3 time/encode: 0.04 time/solve: 5.73 ##### CONFORMANCE CHECK TRACE 138 (1 instances, length 7) DISTANCE : 4 time/encode: 0.05 time/solve: 71.60 ##### CONFORMANCE CHECK TRACE 139 (1 instances, length 7) DISTANCE : 4 time/encode: 0.04 time/solve: 63.18 ##### CONFORMANCE CHECK TRACE 140 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 5.82 ##### CONFORMANCE CHECK TRACE 141 (1 instances, length 7) DISTANCE : 4 time/encode: 0.05 time/solve: 96.00 ##### CONFORMANCE CHECK TRACE 142 (1 instances, length 7) DISTANCE : 4 time/encode: 0.05 time/solve: 68.32 ##### CONFORMANCE CHECK TRACE 143 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 55.45 ##### CONFORMANCE CHECK TRACE 144 (1 instances, length 7) DISTANCE : 3 time/encode: 0.04 time/solve: 45.91 ##### CONFORMANCE CHECK TRACE 145 (1 instances, length 7) DISTANCE : 4 time/encode: 0.04 time/solve: 104.09 ##### CONFORMANCE CHECK TRACE 146 (1 instances, length 7) DISTANCE : 5 time/encode: 0.04 time/solve: 125.09 ##### CONFORMANCE CHECK TRACE 147 (1 instances, length 7) DISTANCE : 4 time/encode: 0.04 time/solve: 105.78 ##### CONFORMANCE CHECK TRACE 148 (1 instances, length 7) DISTANCE : 7 time/encode: 0.06 time/solve: 264.72 ##### CONFORMANCE CHECK TRACE 149 (1 instances, length 7) DISTANCE : 6 time/encode: 0.04 time/solve: 213.98 ##### CONFORMANCE CHECK TRACE 150 (1 instances, length 7) DISTANCE : 3 time/encode: 0.04 time/solve: 58.45 ##### CONFORMANCE CHECK TRACE 151 (1 instances, length 7) DISTANCE : 4 time/encode: 0.05 time/solve: 97.07 ##### CONFORMANCE CHECK TRACE 152 (1 instances, length 7) DISTANCE : 7 time/encode: 0.04 time/solve: 273.43 ##### CONFORMANCE CHECK TRACE 153 (1 instances, length 7) DISTANCE : 6 time/encode: 0.04 time/solve: 221.22 ##### CONFORMANCE CHECK TRACE 154 (1 instances, length 7) DISTANCE : 6 time/encode: 0.04 time/solve: 247.61 ##### CONFORMANCE CHECK TRACE 155 (1 instances, length 7) DISTANCE : 6 time/encode: 0.04 time/solve: 229.97 ##### CONFORMANCE CHECK TRACE 156 (1 instances, length 7) DISTANCE : 5 time/encode: 0.05 time/solve: 80.96 ##### CONFORMANCE CHECK TRACE 157 (1 instances, length 7) DISTANCE : 7 time/encode: 0.04 time/solve: 218.02 ##### CONFORMANCE CHECK TRACE 158 (1 instances, length 7) DISTANCE : 7 time/encode: 0.04 time/solve: 216.16 ##### CONFORMANCE CHECK TRACE 159 (1 instances, length 7) DISTANCE : 3 time/encode: 0.04 time/solve: 62.04 ##### CONFORMANCE CHECK TRACE 160 (1 instances, length 7) DISTANCE : 5 time/encode: 0.04 time/solve: 161.34 ##### CONFORMANCE CHECK TRACE 161 (1 instances, length 7) DISTANCE : 5 time/encode: 0.04 time/solve: 160.89 ##### CONFORMANCE CHECK TRACE 162 (1 instances, length 7) DISTANCE : 5 time/encode: 0.04 time/solve: 59.73 ##### CONFORMANCE CHECK TRACE 163 (1 instances, length 7) DISTANCE : 7 time/encode: 0.04 time/solve: 236.42 ##### CONFORMANCE CHECK TRACE 164 (1 instances, length 7) DISTANCE : 7 time/encode: 0.04 time/solve: 211.18 ##### CONFORMANCE CHECK TRACE 165 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 107.55 ##### CONFORMANCE CHECK TRACE 166 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 154.36 ##### CONFORMANCE CHECK TRACE 167 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 155.36 ##### CONFORMANCE CHECK TRACE 168 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 60.72 ##### CONFORMANCE CHECK TRACE 169 (1 instances, length 8) DISTANCE : 2 time/encode: 0.05 time/solve: 25.74 ##### CONFORMANCE CHECK TRACE 170 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 9.30 ##### CONFORMANCE CHECK TRACE 171 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 10.89 ##### CONFORMANCE CHECK TRACE 172 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 17.86 ##### CONFORMANCE CHECK TRACE 173 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 42.18 ##### CONFORMANCE CHECK TRACE 174 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 35.45 ##### CONFORMANCE CHECK TRACE 175 (1 instances, length 8) DISTANCE : 2 time/encode: 0.05 time/solve: 34.22 ##### CONFORMANCE CHECK TRACE 176 (1 instances, length 8) DISTANCE : 2 time/encode: 0.05 time/solve: 42.94 ##### CONFORMANCE CHECK TRACE 177 (1 instances, length 8) DISTANCE : 2 time/encode: 0.05 time/solve: 33.07 ##### CONFORMANCE CHECK TRACE 178 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 8.21 ##### CONFORMANCE CHECK TRACE 179 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 264.88 ##### CONFORMANCE CHECK TRACE 180 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 167.13 ##### CONFORMANCE CHECK TRACE 181 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 218.18 ##### CONFORMANCE CHECK TRACE 182 (1 instances, length 8) DISTANCE : 5 time/encode: 0.06 time/solve: 149.57 ##### CONFORMANCE CHECK TRACE 183 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 195.72 ##### CONFORMANCE CHECK TRACE 184 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 216.40 ##### CONFORMANCE CHECK TRACE 185 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 207.06 ##### CONFORMANCE CHECK TRACE 186 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 158.77 ##### CONFORMANCE CHECK TRACE 187 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 111.90 ##### CONFORMANCE CHECK TRACE 188 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 96.53 ##### CONFORMANCE CHECK TRACE 189 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 95.49 ##### CONFORMANCE CHECK TRACE 190 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 240.78 ##### CONFORMANCE CHECK TRACE 191 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 258.89 ##### CONFORMANCE CHECK TRACE 192 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 270.00 ##### CONFORMANCE CHECK TRACE 193 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 232.78 ##### CONFORMANCE CHECK TRACE 194 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 264.23 ##### CONFORMANCE CHECK TRACE 195 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 211.95 ##### CONFORMANCE CHECK TRACE 196 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 85.13 ##### CONFORMANCE CHECK TRACE 197 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 89.63 ##### CONFORMANCE CHECK TRACE 198 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 107.44 ##### CONFORMANCE CHECK TRACE 199 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 265.09 ##### CONFORMANCE CHECK TRACE 200 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 230.21 ##### CONFORMANCE CHECK TRACE 201 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 283.15 ##### CONFORMANCE CHECK TRACE 202 (1 instances, length 8) DISTANCE : 5 time/encode: 0.06 time/solve: 226.63 ##### CONFORMANCE CHECK TRACE 203 (1 instances, length 8) DISTANCE : 5 time/encode: 0.06 time/solve: 196.23 ##### CONFORMANCE CHECK TRACE 204 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 217.68 ##### CONFORMANCE CHECK TRACE 205 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 12.30 ##### CONFORMANCE CHECK TRACE 206 (1 instances, length 8) DISTANCE : 2 time/encode: 0.05 time/solve: 57.97 ##### CONFORMANCE CHECK TRACE 207 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 24.55 ##### CONFORMANCE CHECK TRACE 208 (1 instances, length 8) DISTANCE : 1 time/encode: 0.05 time/solve: 12.90 ##### CONFORMANCE CHECK TRACE 209 (1 instances, length 8) DISTANCE : 2 time/encode: 0.05 time/solve: 14.34 ##### CONFORMANCE CHECK TRACE 210 (1 instances, length 8) DISTANCE : 2 time/encode: 0.05 time/solve: 52.36 ##### CONFORMANCE CHECK TRACE 211 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 15.88 ##### CONFORMANCE CHECK TRACE 212 (1 instances, length 8) DISTANCE : 2 time/encode: 0.05 time/solve: 51.29 ##### CONFORMANCE CHECK TRACE 213 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 37.74 ##### CONFORMANCE CHECK TRACE 214 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 14.55 ##### CONFORMANCE CHECK TRACE 215 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 39.03 ##### CONFORMANCE CHECK TRACE 216 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 14.52 ##### CONFORMANCE CHECK TRACE 217 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 12.40 ##### CONFORMANCE CHECK TRACE 218 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 69.59 ##### CONFORMANCE CHECK TRACE 219 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 74.43 ##### CONFORMANCE CHECK TRACE 220 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 96.94 ##### CONFORMANCE CHECK TRACE 221 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 154.03 ##### CONFORMANCE CHECK TRACE 222 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 159.36 ##### CONFORMANCE CHECK TRACE 223 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 52.61 ##### CONFORMANCE CHECK TRACE 224 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 71.39 ##### CONFORMANCE CHECK TRACE 225 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 89.22 ##### CONFORMANCE CHECK TRACE 226 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 74.54 ##### CONFORMANCE CHECK TRACE 227 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 62.67 ##### CONFORMANCE CHECK TRACE 228 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 53.23 ##### CONFORMANCE CHECK TRACE 229 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 85.29 ##### CONFORMANCE CHECK TRACE 230 (1 instances, length 8) DISTANCE : 4 time/encode: 0.06 time/solve: 80.47 ##### CONFORMANCE CHECK TRACE 231 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 100.49 ##### CONFORMANCE CHECK TRACE 232 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 132.90 ##### CONFORMANCE CHECK TRACE 233 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 71.90 ##### CONFORMANCE CHECK TRACE 234 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 80.87 ##### CONFORMANCE CHECK TRACE 235 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 39.36 ##### CONFORMANCE CHECK TRACE 236 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 85.01 ##### CONFORMANCE CHECK TRACE 237 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 90.67 ##### CONFORMANCE CHECK TRACE 238 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 34.55 ##### CONFORMANCE CHECK TRACE 239 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 31.92 ##### CONFORMANCE CHECK TRACE 240 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 22.29 ##### CONFORMANCE CHECK TRACE 241 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 126.15 ##### CONFORMANCE CHECK TRACE 242 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 74.53 ##### CONFORMANCE CHECK TRACE 243 (1 instances, length 8) DISTANCE : 1 time/encode: 0.05 time/solve: 10.59 ##### CONFORMANCE CHECK TRACE 244 (1 instances, length 8) DISTANCE : 1 time/encode: 0.05 time/solve: 17.92 ##### CONFORMANCE CHECK TRACE 245 (1 instances, length 8) DISTANCE : 2 time/encode: 0.05 time/solve: 9.39 ##### CONFORMANCE CHECK TRACE 246 (1 instances, length 8) DISTANCE : 2 time/encode: 0.05 time/solve: 39.93 ##### CONFORMANCE CHECK TRACE 247 (1 instances, length 8) DISTANCE : 2 time/encode: 0.05 time/solve: 39.34 ##### CONFORMANCE CHECK TRACE 248 (1 instances, length 8) DISTANCE : 3 time/encode: 0.06 time/solve: 22.89 ##### CONFORMANCE CHECK TRACE 249 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 22.08 ##### CONFORMANCE CHECK TRACE 250 (1 instances, length 8) DISTANCE : 4 time/encode: 0.08 time/solve: 76.71 ##### CONFORMANCE CHECK TRACE 251 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 139.62 ##### CONFORMANCE CHECK TRACE 252 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 138.40 ##### CONFORMANCE CHECK TRACE 253 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 145.09 ##### CONFORMANCE CHECK TRACE 254 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 81.70 ##### CONFORMANCE CHECK TRACE 255 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 78.68 ##### CONFORMANCE CHECK TRACE 256 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 190.11 ##### CONFORMANCE CHECK TRACE 257 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 245.39 ##### CONFORMANCE CHECK TRACE 258 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 34.52 ##### CONFORMANCE CHECK TRACE 259 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 40.34 ##### CONFORMANCE CHECK TRACE 260 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 74.65 ##### CONFORMANCE CHECK TRACE 261 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 12.08 ##### CONFORMANCE CHECK TRACE 262 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 158.88 ##### CONFORMANCE CHECK TRACE 263 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 51.69 ##### CONFORMANCE CHECK TRACE 264 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 74.77 ##### CONFORMANCE CHECK TRACE 265 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 88.21 ##### CONFORMANCE CHECK TRACE 266 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 96.22 ##### CONFORMANCE CHECK TRACE 267 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 49.74 ##### CONFORMANCE CHECK TRACE 268 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 87.79 ##### CONFORMANCE CHECK TRACE 269 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 145.33 ##### CONFORMANCE CHECK TRACE 270 (1 instances, length 8) DISTANCE : 1 time/encode: 0.06 time/solve: 9.44 ##### CONFORMANCE CHECK TRACE 271 (1 instances, length 8) DISTANCE : 3 time/encode: 0.06 time/solve: 18.21 ##### CONFORMANCE CHECK TRACE 272 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 81.05 ##### CONFORMANCE CHECK TRACE 273 (1 instances, length 8) DISTANCE : 3 time/encode: 0.06 time/solve: 101.50 ##### CONFORMANCE CHECK TRACE 274 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 9.14 ##### CONFORMANCE CHECK TRACE 275 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 39.66 ##### CONFORMANCE CHECK TRACE 276 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 68.78 ##### CONFORMANCE CHECK TRACE 277 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 274.43 ##### CONFORMANCE CHECK TRACE 278 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 193.97 ##### CONFORMANCE CHECK TRACE 279 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 15.88 ##### CONFORMANCE CHECK TRACE 280 (1 instances, length 8) DISTANCE : 3 time/encode: 0.06 time/solve: 62.27 ##### CONFORMANCE CHECK TRACE 281 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 95.85 ##### CONFORMANCE CHECK TRACE 282 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 91.78 ##### CONFORMANCE CHECK TRACE 283 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 100.20 ##### CONFORMANCE CHECK TRACE 284 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 104.19 ##### CONFORMANCE CHECK TRACE 285 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 87.32 ##### CONFORMANCE CHECK TRACE 286 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 101.41 ##### CONFORMANCE CHECK TRACE 287 (1 instances, length 8) DISTANCE : 4 time/encode: 0.06 time/solve: 85.74 ##### CONFORMANCE CHECK TRACE 288 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 222.75 ##### CONFORMANCE CHECK TRACE 289 (1 instances, length 8) DISTANCE : 6 time/encode: 0.06 time/solve: 192.48 ##### CONFORMANCE CHECK TRACE 290 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 17.25 ##### CONFORMANCE CHECK TRACE 291 (1 instances, length 8) DISTANCE : 3 time/encode: 0.06 time/solve: 67.67 ##### CONFORMANCE CHECK TRACE 292 (1 instances, length 8) DISTANCE : 3 time/encode: 0.06 time/solve: 58.56 ##### CONFORMANCE CHECK TRACE 293 (1 instances, length 8) DISTANCE : 4 time/encode: 0.06 time/solve: 45.03 ##### CONFORMANCE CHECK TRACE 294 (1 instances, length 8) DISTANCE : 4 time/encode: 0.06 time/solve: 115.30 ##### CONFORMANCE CHECK TRACE 295 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 93.65 ##### CONFORMANCE CHECK TRACE 296 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 75.87 ##### CONFORMANCE CHECK TRACE 297 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 102.31 ##### CONFORMANCE CHECK TRACE 298 (1 instances, length 8) DISTANCE : 5 time/encode: 0.06 time/solve: 144.91 ##### CONFORMANCE CHECK TRACE 299 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 128.87 ##### CONFORMANCE CHECK TRACE 300 (1 instances, length 8) DISTANCE : 5 time/encode: 0.06 time/solve: 128.17 ##### CONFORMANCE CHECK TRACE 301 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 53.91 ##### CONFORMANCE CHECK TRACE 302 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 202.54 ##### CONFORMANCE CHECK TRACE 303 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 196.72 ##### CONFORMANCE CHECK TRACE 304 (1 instances, length 8) DISTANCE : 3 time/encode: 0.05 time/solve: 17.53 ##### CONFORMANCE CHECK TRACE 305 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 165.69 ##### CONFORMANCE CHECK TRACE 306 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 275.98 ##### CONFORMANCE CHECK TRACE 307 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 279.57 ##### CONFORMANCE CHECK TRACE 308 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 220.51 ##### CONFORMANCE CHECK TRACE 309 (1 instances, length 8) DISTANCE : 7 time/encode: 0.06 time/solve: 294.57 ##### CONFORMANCE CHECK TRACE 310 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 216.23 ##### CONFORMANCE CHECK TRACE 311 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 168.86 ##### CONFORMANCE CHECK TRACE 312 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 254.45 ##### CONFORMANCE CHECK TRACE 313 (1 instances, length 8) DISTANCE : 5 time/encode: 0.06 time/solve: 229.15 ##### CONFORMANCE CHECK TRACE 314 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 279.70 ##### CONFORMANCE CHECK TRACE 315 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 188.95 ##### CONFORMANCE CHECK TRACE 316 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 201.97 ##### CONFORMANCE CHECK TRACE 317 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 239.18 ##### CONFORMANCE CHECK TRACE 318 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 177.75 ##### CONFORMANCE CHECK TRACE 319 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 125.82 ##### CONFORMANCE CHECK TRACE 320 (1 instances, length 8) DISTANCE : 8 time/encode: 0.05 time/solve: 279.10 ##### CONFORMANCE CHECK TRACE 321 (1 instances, length 8) DISTANCE : 8 time/encode: 0.05 time/solve: 269.20 ##### CONFORMANCE CHECK TRACE 322 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 166.76 ##### CONFORMANCE CHECK TRACE 323 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 245.58 ##### CONFORMANCE CHECK TRACE 324 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 202.00 ##### CONFORMANCE CHECK TRACE 325 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 196.65 ##### CONFORMANCE CHECK TRACE 326 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 319.98 ##### CONFORMANCE CHECK TRACE 327 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 331.47 ##### CONFORMANCE CHECK TRACE 328 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 360.11 ##### CONFORMANCE CHECK TRACE 329 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 323.75 ##### CONFORMANCE CHECK TRACE 330 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 262.37 ##### CONFORMANCE CHECK TRACE 331 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 334.53 ##### CONFORMANCE CHECK TRACE 332 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 317.67 ##### CONFORMANCE CHECK TRACE 333 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 292.03 ##### CONFORMANCE CHECK TRACE 334 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 253.65 ##### CONFORMANCE CHECK TRACE 335 (1 instances, length 8) DISTANCE : 9 time/encode: 0.05 time/solve: 434.91 ##### CONFORMANCE CHECK TRACE 336 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 290.51 ##### CONFORMANCE CHECK TRACE 337 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 362.74 ##### CONFORMANCE CHECK TRACE 338 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 313.38 ##### CONFORMANCE CHECK TRACE 339 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 334.41 ##### CONFORMANCE CHECK TRACE 340 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 343.27 ##### CONFORMANCE CHECK TRACE 341 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 283.47 ##### CONFORMANCE CHECK TRACE 342 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 237.92 ##### CONFORMANCE CHECK TRACE 343 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 266.92 ##### CONFORMANCE CHECK TRACE 344 (1 instances, length 8) DISTANCE : 8 time/encode: 0.05 time/solve: 381.31 ##### CONFORMANCE CHECK TRACE 345 (1 instances, length 8) DISTANCE : 8 time/encode: 0.05 time/solve: 372.27 ##### CONFORMANCE CHECK TRACE 346 (1 instances, length 8) DISTANCE : 7 time/encode: 0.06 time/solve: 386.46 ##### CONFORMANCE CHECK TRACE 347 (1 instances, length 8) DISTANCE : 8 time/encode: 0.05 time/solve: 403.89 ##### CONFORMANCE CHECK TRACE 348 (1 instances, length 8) DISTANCE : 8 time/encode: 0.05 time/solve: 414.68 ##### CONFORMANCE CHECK TRACE 349 (1 instances, length 8) DISTANCE : 8 time/encode: 0.05 time/solve: 384.51 ##### CONFORMANCE CHECK TRACE 350 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 187.01 ##### CONFORMANCE CHECK TRACE 351 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 156.94 ##### CONFORMANCE CHECK TRACE 352 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 138.16 ##### CONFORMANCE CHECK TRACE 353 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 276.48 ##### CONFORMANCE CHECK TRACE 354 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 252.05 ##### CONFORMANCE CHECK TRACE 355 (1 instances, length 8) DISTANCE : 9 time/encode: 0.05 time/solve: 366.26 ##### CONFORMANCE CHECK TRACE 356 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 227.65 ##### CONFORMANCE CHECK TRACE 357 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 109.56 ##### CONFORMANCE CHECK TRACE 358 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 214.47 ##### CONFORMANCE CHECK TRACE 359 (1 instances, length 8) DISTANCE : 4 time/encode: 0.05 time/solve: 118.06 ##### CONFORMANCE CHECK TRACE 360 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 205.67 ##### CONFORMANCE CHECK TRACE 361 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 204.42 ##### CONFORMANCE CHECK TRACE 362 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 217.64 ##### CONFORMANCE CHECK TRACE 363 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 322.09 ##### CONFORMANCE CHECK TRACE 364 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 347.11 ##### CONFORMANCE CHECK TRACE 365 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 334.95 ##### CONFORMANCE CHECK TRACE 366 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 343.13 ##### CONFORMANCE CHECK TRACE 367 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 317.01 ##### CONFORMANCE CHECK TRACE 368 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 319.18 ##### CONFORMANCE CHECK TRACE 369 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 269.52 ##### CONFORMANCE CHECK TRACE 370 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 244.79 ##### CONFORMANCE CHECK TRACE 371 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 291.12 ##### CONFORMANCE CHECK TRACE 372 (1 instances, length 8) DISTANCE : 8 time/encode: 0.05 time/solve: 378.86 ##### CONFORMANCE CHECK TRACE 373 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 319.91 ##### CONFORMANCE CHECK TRACE 374 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 364.63 ##### CONFORMANCE CHECK TRACE 375 (1 instances, length 8) DISTANCE : 8 time/encode: 0.05 time/solve: 375.94 ##### CONFORMANCE CHECK TRACE 376 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 335.41 ##### CONFORMANCE CHECK TRACE 377 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 324.75 ##### CONFORMANCE CHECK TRACE 378 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 261.94 ##### CONFORMANCE CHECK TRACE 379 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 277.24 ##### CONFORMANCE CHECK TRACE 380 (1 instances, length 8) DISTANCE : 5 time/encode: 0.06 time/solve: 211.76 ##### CONFORMANCE CHECK TRACE 381 (1 instances, length 8) DISTANCE : 8 time/encode: 0.05 time/solve: 378.83 ##### CONFORMANCE CHECK TRACE 382 (1 instances, length 8) DISTANCE : 8 time/encode: 0.05 time/solve: 373.48 ##### CONFORMANCE CHECK TRACE 383 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 342.98 ##### CONFORMANCE CHECK TRACE 384 (1 instances, length 8) DISTANCE : 8 time/encode: 0.05 time/solve: 399.27 ##### CONFORMANCE CHECK TRACE 385 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 349.18 ##### CONFORMANCE CHECK TRACE 386 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 347.56 ##### CONFORMANCE CHECK TRACE 387 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 142.94 ##### CONFORMANCE CHECK TRACE 388 (1 instances, length 8) DISTANCE : 6 time/encode: 0.05 time/solve: 220.98 ##### CONFORMANCE CHECK TRACE 389 (1 instances, length 8) DISTANCE : 7 time/encode: 0.06 time/solve: 244.14 ##### CONFORMANCE CHECK TRACE 390 (1 instances, length 8) DISTANCE : 7 time/encode: 0.05 time/solve: 264.16 ##### CONFORMANCE CHECK TRACE 391 (1 instances, length 8) DISTANCE : 5 time/encode: 0.05 time/solve: 104.48 encoding time: total 18.67 avg 0.05 median 0.05 solving time: total 44627.55 avg 113.85 median 74.43 distance 1: 25 (25 overall) distance 2: 42 (42 overall) distance 3: 101 (101 overall) distance 4: 75 (75 overall) distance 5: 56 (56 overall) distance 6: 41 (41 overall) distance 7: 38 (38 overall) distance 8: 12 (12 overall) distance 9: 2 (2 overall) timeouts: 0