/home/swinkler/confchecksmt/src/libyices.so.2.6.2 number of traces: 1346 equivalence classes naive: 1214, intervals: 1214 (clustering time 0.03) here ##### CONFORMANCE CHECK TRACE 0 (1 instances, length 1) DISTANCE : 1 time/encode: 0.00 time/solve: 0.00 ##### CONFORMANCE CHECK TRACE 1 (1 instances, length 1) DISTANCE : 1 time/encode: 0.00 time/solve: 0.00 ##### CONFORMANCE CHECK TRACE 2 (1 instances, length 1) DISTANCE : 1 time/encode: 0.00 time/solve: 0.00 ##### CONFORMANCE CHECK TRACE 3 (1 instances, length 2) DISTANCE : 2 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 4 (1 instances, length 2) DISTANCE : 1 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 5 (3 instances, length 2) DISTANCE : 1 time/encode: 0.01 time/solve: 0.00 ##### CONFORMANCE CHECK TRACE 6 (1 instances, length 2) DISTANCE : 2 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 7 (1 instances, length 2) DISTANCE : 2 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 8 (1 instances, length 2) DISTANCE : 1 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 9 (1 instances, length 2) DISTANCE : 1 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 10 (1 instances, length 3) DISTANCE : 1 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 11 (1 instances, length 3) DISTANCE : 2 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 12 (1 instances, length 3) DISTANCE : 2 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 13 (2 instances, length 3) DISTANCE : 2 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 14 (1 instances, length 3) DISTANCE : 3 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 15 (1 instances, length 3) DISTANCE : 3 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 16 (2 instances, length 3) DISTANCE : 2 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 17 (1 instances, length 3) DISTANCE : 2 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 18 (1 instances, length 3) DISTANCE : 1 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 19 (1 instances, length 3) DISTANCE : 2 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 20 (1 instances, length 3) DISTANCE : 2 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 21 (1 instances, length 3) DISTANCE : 3 time/encode: 0.01 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 22 (3 instances, length 3) DISTANCE : 2 time/encode: 0.01 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 23 (1 instances, length 3) DISTANCE : 2 time/encode: 0.01 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 24 (2 instances, length 3) DISTANCE : 3 time/encode: 0.01 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 25 (2 instances, length 3) DISTANCE : 2 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 26 (2 instances, length 3) DISTANCE : 3 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 27 (1 instances, length 3) DISTANCE : 3 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 28 (1 instances, length 3) DISTANCE : 2 time/encode: 0.01 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 29 (1 instances, length 4) DISTANCE : 3 time/encode: 0.01 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 30 (1 instances, length 4) DISTANCE : 1 time/encode: 0.01 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 31 (1 instances, length 4) DISTANCE : 3 time/encode: 0.01 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 32 (1 instances, length 4) DISTANCE : 1 time/encode: 0.01 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 33 (1 instances, length 4) DISTANCE : 2 time/encode: 0.01 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 34 (1 instances, length 4) DISTANCE : 3 time/encode: 0.01 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 35 (1 instances, length 4) DISTANCE : 4 time/encode: 0.01 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 36 (1 instances, length 4) DISTANCE : 3 time/encode: 0.01 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 37 (1 instances, length 4) DISTANCE : 3 time/encode: 0.01 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 38 (1 instances, length 4) DISTANCE : 3 time/encode: 0.01 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 39 (2 instances, length 4) DISTANCE : 3 time/encode: 0.01 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 40 (1 instances, length 4) DISTANCE : 3 time/encode: 0.01 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 41 (3 instances, length 4) DISTANCE : 3 time/encode: 0.01 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 42 (1 instances, length 4) DISTANCE : 3 time/encode: 0.01 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 43 (1 instances, length 4) DISTANCE : 2 time/encode: 0.01 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 44 (1 instances, length 4) DISTANCE : 2 time/encode: 0.01 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 45 (1 instances, length 4) DISTANCE : 3 time/encode: 0.01 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 46 (1 instances, length 4) DISTANCE : 3 time/encode: 0.01 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 47 (1 instances, length 4) DISTANCE : 2 time/encode: 0.01 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 48 (1 instances, length 4) DISTANCE : 2 time/encode: 0.01 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 49 (1 instances, length 4) DISTANCE : 4 time/encode: 0.01 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 50 (6 instances, length 4) DISTANCE : 3 time/encode: 0.01 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 51 (2 instances, length 4) DISTANCE : 2 time/encode: 0.01 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 52 (3 instances, length 4) DISTANCE : 2 time/encode: 0.01 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 53 (2 instances, length 4) DISTANCE : 2 time/encode: 0.01 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 54 (2 instances, length 4) DISTANCE : 2 time/encode: 0.01 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 55 (2 instances, length 4) DISTANCE : 3 time/encode: 0.01 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 56 (1 instances, length 4) DISTANCE : 2 time/encode: 0.01 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 57 (2 instances, length 4) DISTANCE : 2 time/encode: 0.01 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 58 (1 instances, length 4) DISTANCE : 3 time/encode: 0.01 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 59 (1 instances, length 4) DISTANCE : 4 time/encode: 0.01 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 60 (1 instances, length 4) DISTANCE : 3 time/encode: 0.01 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 61 (1 instances, length 4) DISTANCE : 3 time/encode: 0.01 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 62 (1 instances, length 4) DISTANCE : 4 time/encode: 0.01 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 63 (2 instances, length 4) DISTANCE : 4 time/encode: 0.01 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 64 (1 instances, length 4) DISTANCE : 3 time/encode: 0.01 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 65 (1 instances, length 4) DISTANCE : 3 time/encode: 0.01 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 66 (1 instances, length 4) DISTANCE : 1 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 67 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.06 ##### CONFORMANCE CHECK TRACE 68 (1 instances, length 5) DISTANCE : 2 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 69 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 70 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 71 (1 instances, length 5) DISTANCE : 2 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 72 (1 instances, length 5) DISTANCE : 2 time/encode: 0.02 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 73 (1 instances, length 5) DISTANCE : 4 time/encode: 0.02 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 74 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.06 ##### CONFORMANCE CHECK TRACE 75 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 76 (1 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 77 (1 instances, length 5) DISTANCE : 2 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 78 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.06 ##### CONFORMANCE CHECK TRACE 79 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 80 (1 instances, length 5) DISTANCE : 2 time/encode: 0.02 time/solve: 0.06 ##### CONFORMANCE CHECK TRACE 81 (2 instances, length 5) DISTANCE : 4 time/encode: 0.01 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 82 (1 instances, length 5) DISTANCE : 4 time/encode: 0.01 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 83 (1 instances, length 5) DISTANCE : 4 time/encode: 0.01 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 84 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 85 (2 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.06 ##### CONFORMANCE CHECK TRACE 86 (2 instances, length 5) DISTANCE : 4 time/encode: 0.02 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 87 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 88 (5 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 89 (2 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 90 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.06 ##### CONFORMANCE CHECK TRACE 91 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 92 (2 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 93 (2 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 94 (1 instances, length 5) DISTANCE : 4 time/encode: 0.02 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 95 (1 instances, length 5) DISTANCE : 4 time/encode: 0.02 time/solve: 0.09 ##### CONFORMANCE CHECK TRACE 96 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.06 ##### CONFORMANCE CHECK TRACE 97 (1 instances, length 5) DISTANCE : 4 time/encode: 0.02 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 98 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 99 (1 instances, length 5) DISTANCE : 4 time/encode: 0.02 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 100 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 101 (1 instances, length 5) DISTANCE : 2 time/encode: 0.02 time/solve: 0.06 ##### CONFORMANCE CHECK TRACE 102 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.06 ##### CONFORMANCE CHECK TRACE 103 (1 instances, length 5) DISTANCE : 4 time/encode: 0.02 time/solve: 0.11 ##### CONFORMANCE CHECK TRACE 104 (1 instances, length 5) DISTANCE : 4 time/encode: 0.02 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 105 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.06 ##### CONFORMANCE CHECK TRACE 106 (3 instances, length 5) DISTANCE : 2 time/encode: 0.02 time/solve: 0.06 ##### CONFORMANCE CHECK TRACE 107 (1 instances, length 5) DISTANCE : 2 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 108 (2 instances, length 5) DISTANCE : 2 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 109 (5 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 110 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 111 (1 instances, length 5) DISTANCE : 2 time/encode: 0.02 time/solve: 0.06 ##### CONFORMANCE CHECK TRACE 112 (1 instances, length 5) DISTANCE : 2 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 113 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 114 (1 instances, length 5) DISTANCE : 2 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 115 (1 instances, length 5) DISTANCE : 4 time/encode: 0.02 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 116 (4 instances, length 5) DISTANCE : 4 time/encode: 0.02 time/solve: 0.06 ##### CONFORMANCE CHECK TRACE 117 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 118 (1 instances, length 5) DISTANCE : 4 time/encode: 0.02 time/solve: 0.09 ##### CONFORMANCE CHECK TRACE 119 (1 instances, length 5) DISTANCE : 4 time/encode: 0.02 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 120 (2 instances, length 5) DISTANCE : 2 time/encode: 0.02 time/solve: 0.06 ##### CONFORMANCE CHECK TRACE 121 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.06 ##### CONFORMANCE CHECK TRACE 122 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 123 (1 instances, length 5) DISTANCE : 4 time/encode: 0.02 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 124 (1 instances, length 5) DISTANCE : 4 time/encode: 0.02 time/solve: 0.06 ##### CONFORMANCE CHECK TRACE 125 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 126 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 127 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 128 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 129 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.06 ##### CONFORMANCE CHECK TRACE 130 (1 instances, length 5) DISTANCE : 5 time/encode: 0.01 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 131 (1 instances, length 5) DISTANCE : 4 time/encode: 0.02 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 132 (1 instances, length 5) DISTANCE : 4 time/encode: 0.02 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 133 (1 instances, length 5) DISTANCE : 5 time/encode: 0.01 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 134 (1 instances, length 5) DISTANCE : 4 time/encode: 0.01 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 135 (2 instances, length 5) DISTANCE : 5 time/encode: 0.01 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 136 (2 instances, length 5) DISTANCE : 5 time/encode: 0.01 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 137 (1 instances, length 5) DISTANCE : 4 time/encode: 0.02 time/solve: 0.09 ##### CONFORMANCE CHECK TRACE 138 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.06 ##### CONFORMANCE CHECK TRACE 139 (1 instances, length 5) DISTANCE : 2 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 140 (1 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 141 (1 instances, length 5) DISTANCE : 2 time/encode: 0.02 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 142 (1 instances, length 5) DISTANCE : 3 time/encode: 0.02 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 143 (1 instances, length 5) DISTANCE : 2 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 144 (1 instances, length 6) DISTANCE : 2 time/encode: 0.02 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 145 (1 instances, length 6) DISTANCE : 2 time/encode: 0.02 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 146 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 147 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 148 (1 instances, length 6) DISTANCE : 2 time/encode: 0.02 time/solve: 0.06 ##### CONFORMANCE CHECK TRACE 149 (1 instances, length 6) DISTANCE : 2 time/encode: 0.02 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 150 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 151 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 152 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 153 (1 instances, length 6) DISTANCE : 2 time/encode: 0.02 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 154 (1 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 155 (1 instances, length 6) DISTANCE : 5 time/encode: 0.01 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 156 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 157 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.15 ##### CONFORMANCE CHECK TRACE 158 (4 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.14 ##### CONFORMANCE CHECK TRACE 159 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.16 ##### CONFORMANCE CHECK TRACE 160 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.14 ##### CONFORMANCE CHECK TRACE 161 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.18 ##### CONFORMANCE CHECK TRACE 162 (1 instances, length 6) DISTANCE : 5 time/encode: 0.02 time/solve: 0.18 ##### CONFORMANCE CHECK TRACE 163 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.16 ##### CONFORMANCE CHECK TRACE 164 (1 instances, length 6) DISTANCE : 5 time/encode: 0.02 time/solve: 0.22 ##### CONFORMANCE CHECK TRACE 165 (2 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.17 ##### CONFORMANCE CHECK TRACE 166 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.14 ##### CONFORMANCE CHECK TRACE 167 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.13 ##### CONFORMANCE CHECK TRACE 168 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 169 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 170 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.09 ##### CONFORMANCE CHECK TRACE 171 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 172 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.13 ##### CONFORMANCE CHECK TRACE 173 (2 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 174 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.11 ##### CONFORMANCE CHECK TRACE 175 (2 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.14 ##### CONFORMANCE CHECK TRACE 176 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 177 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.14 ##### CONFORMANCE CHECK TRACE 178 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.16 ##### CONFORMANCE CHECK TRACE 179 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.15 ##### CONFORMANCE CHECK TRACE 180 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.13 ##### CONFORMANCE CHECK TRACE 181 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 182 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.20 ##### CONFORMANCE CHECK TRACE 183 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.19 ##### CONFORMANCE CHECK TRACE 184 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.13 ##### CONFORMANCE CHECK TRACE 185 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.15 ##### CONFORMANCE CHECK TRACE 186 (2 instances, length 6) DISTANCE : 5 time/encode: 0.02 time/solve: 0.20 ##### CONFORMANCE CHECK TRACE 187 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 188 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 189 (1 instances, length 6) DISTANCE : 5 time/encode: 0.02 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 190 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.16 ##### CONFORMANCE CHECK TRACE 191 (1 instances, length 6) DISTANCE : 5 time/encode: 0.02 time/solve: 0.19 ##### CONFORMANCE CHECK TRACE 192 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.15 ##### CONFORMANCE CHECK TRACE 193 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.16 ##### CONFORMANCE CHECK TRACE 194 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.11 ##### CONFORMANCE CHECK TRACE 195 (2 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 196 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 197 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 198 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.11 ##### CONFORMANCE CHECK TRACE 199 (2 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 200 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.13 ##### CONFORMANCE CHECK TRACE 201 (2 instances, length 6) DISTANCE : 2 time/encode: 0.02 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 202 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.09 ##### CONFORMANCE CHECK TRACE 203 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 204 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.14 ##### CONFORMANCE CHECK TRACE 205 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.13 ##### CONFORMANCE CHECK TRACE 206 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.14 ##### CONFORMANCE CHECK TRACE 207 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 208 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.11 ##### CONFORMANCE CHECK TRACE 209 (2 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.09 ##### CONFORMANCE CHECK TRACE 210 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.18 ##### CONFORMANCE CHECK TRACE 211 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.09 ##### CONFORMANCE CHECK TRACE 212 (2 instances, length 6) DISTANCE : 2 time/encode: 0.02 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 213 (2 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.11 ##### CONFORMANCE CHECK TRACE 214 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 215 (1 instances, length 6) DISTANCE : 2 time/encode: 0.02 time/solve: 0.09 ##### CONFORMANCE CHECK TRACE 216 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.09 ##### CONFORMANCE CHECK TRACE 217 (1 instances, length 6) DISTANCE : 2 time/encode: 0.02 time/solve: 0.09 ##### CONFORMANCE CHECK TRACE 218 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.13 ##### CONFORMANCE CHECK TRACE 219 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 220 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.14 ##### CONFORMANCE CHECK TRACE 221 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.15 ##### CONFORMANCE CHECK TRACE 222 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 223 (1 instances, length 6) DISTANCE : 2 time/encode: 0.02 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 224 (1 instances, length 6) DISTANCE : 3 time/encode: 0.03 time/solve: 0.09 ##### CONFORMANCE CHECK TRACE 225 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.18 ##### CONFORMANCE CHECK TRACE 226 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.21 ##### CONFORMANCE CHECK TRACE 227 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.11 ##### CONFORMANCE CHECK TRACE 228 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.14 ##### CONFORMANCE CHECK TRACE 229 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.09 ##### CONFORMANCE CHECK TRACE 230 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 231 (2 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 232 (1 instances, length 6) DISTANCE : 5 time/encode: 0.02 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 233 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.11 ##### CONFORMANCE CHECK TRACE 234 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.14 ##### CONFORMANCE CHECK TRACE 235 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.15 ##### CONFORMANCE CHECK TRACE 236 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.14 ##### CONFORMANCE CHECK TRACE 237 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.16 ##### CONFORMANCE CHECK TRACE 238 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.14 ##### CONFORMANCE CHECK TRACE 239 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.15 ##### CONFORMANCE CHECK TRACE 240 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 241 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.16 ##### CONFORMANCE CHECK TRACE 242 (2 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.16 ##### CONFORMANCE CHECK TRACE 243 (1 instances, length 6) DISTANCE : 5 time/encode: 0.02 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 244 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.13 ##### CONFORMANCE CHECK TRACE 245 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 246 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.11 ##### CONFORMANCE CHECK TRACE 247 (1 instances, length 6) DISTANCE : 6 time/encode: 0.01 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 248 (1 instances, length 6) DISTANCE : 5 time/encode: 0.02 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 249 (2 instances, length 6) DISTANCE : 5 time/encode: 0.01 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 250 (1 instances, length 6) DISTANCE : 6 time/encode: 0.01 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 251 (1 instances, length 6) DISTANCE : 2 time/encode: 0.02 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 252 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.11 ##### CONFORMANCE CHECK TRACE 253 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 254 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.11 ##### CONFORMANCE CHECK TRACE 255 (1 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 256 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.15 ##### CONFORMANCE CHECK TRACE 257 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.11 ##### CONFORMANCE CHECK TRACE 258 (1 instances, length 6) DISTANCE : 2 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 259 (1 instances, length 6) DISTANCE : 4 time/encode: 0.02 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 260 (1 instances, length 6) DISTANCE : 3 time/encode: 0.02 time/solve: 0.13 ##### CONFORMANCE CHECK TRACE 261 (1 instances, length 6) DISTANCE : 2 time/encode: 0.02 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 262 (1 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.15 ##### CONFORMANCE CHECK TRACE 263 (1 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.17 ##### CONFORMANCE CHECK TRACE 264 (1 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.14 ##### CONFORMANCE CHECK TRACE 265 (1 instances, length 7) DISTANCE : 2 time/encode: 0.03 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 266 (1 instances, length 7) DISTANCE : 1 time/encode: 0.03 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 267 (1 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.13 ##### CONFORMANCE CHECK TRACE 268 (1 instances, length 7) DISTANCE : 5 time/encode: 0.02 time/solve: 0.18 ##### CONFORMANCE CHECK TRACE 269 (1 instances, length 7) DISTANCE : 2 time/encode: 0.03 time/solve: 0.13 ##### CONFORMANCE CHECK TRACE 270 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.19 ##### CONFORMANCE CHECK TRACE 271 (1 instances, length 7) DISTANCE : 2 time/encode: 0.03 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 272 (1 instances, length 7) DISTANCE : 2 time/encode: 0.03 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 273 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.34 ##### CONFORMANCE CHECK TRACE 274 (1 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.27 ##### CONFORMANCE CHECK TRACE 275 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.24 ##### CONFORMANCE CHECK TRACE 276 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.25 ##### CONFORMANCE CHECK TRACE 277 (1 instances, length 7) DISTANCE : 5 time/encode: 0.02 time/solve: 0.31 ##### CONFORMANCE CHECK TRACE 278 (1 instances, length 7) DISTANCE : 4 time/encode: 0.02 time/solve: 0.25 ##### CONFORMANCE CHECK TRACE 279 (1 instances, length 7) DISTANCE : 4 time/encode: 0.02 time/solve: 0.17 ##### CONFORMANCE CHECK TRACE 280 (3 instances, length 7) DISTANCE : 4 time/encode: 0.02 time/solve: 0.22 ##### CONFORMANCE CHECK TRACE 281 (1 instances, length 7) DISTANCE : 5 time/encode: 0.02 time/solve: 0.25 ##### CONFORMANCE CHECK TRACE 282 (1 instances, length 7) DISTANCE : 4 time/encode: 0.02 time/solve: 0.21 ##### CONFORMANCE CHECK TRACE 283 (1 instances, length 7) DISTANCE : 4 time/encode: 0.02 time/solve: 0.20 ##### CONFORMANCE CHECK TRACE 284 (1 instances, length 7) DISTANCE : 4 time/encode: 0.02 time/solve: 0.17 ##### CONFORMANCE CHECK TRACE 285 (1 instances, length 7) DISTANCE : 4 time/encode: 0.02 time/solve: 0.35 ##### CONFORMANCE CHECK TRACE 286 (1 instances, length 7) DISTANCE : 5 time/encode: 0.03 time/solve: 0.15 ##### CONFORMANCE CHECK TRACE 287 (1 instances, length 7) DISTANCE : 4 time/encode: 0.02 time/solve: 0.27 ##### CONFORMANCE CHECK TRACE 288 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.25 ##### CONFORMANCE CHECK TRACE 289 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.20 ##### CONFORMANCE CHECK TRACE 290 (1 instances, length 7) DISTANCE : 5 time/encode: 0.02 time/solve: 0.20 ##### CONFORMANCE CHECK TRACE 291 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.27 ##### CONFORMANCE CHECK TRACE 292 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.43 ##### CONFORMANCE CHECK TRACE 293 (1 instances, length 7) DISTANCE : 4 time/encode: 0.02 time/solve: 0.16 ##### CONFORMANCE CHECK TRACE 294 (2 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.30 ##### CONFORMANCE CHECK TRACE 295 (1 instances, length 7) DISTANCE : 5 time/encode: 0.03 time/solve: 0.60 ##### CONFORMANCE CHECK TRACE 296 (1 instances, length 7) DISTANCE : 4 time/encode: 0.02 time/solve: 0.20 ##### CONFORMANCE CHECK TRACE 297 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.27 ##### CONFORMANCE CHECK TRACE 298 (2 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.20 ##### CONFORMANCE CHECK TRACE 299 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.26 ##### CONFORMANCE CHECK TRACE 300 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.28 ##### CONFORMANCE CHECK TRACE 301 (1 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.22 ##### CONFORMANCE CHECK TRACE 302 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.21 ##### CONFORMANCE CHECK TRACE 303 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.25 ##### CONFORMANCE CHECK TRACE 304 (2 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.17 ##### CONFORMANCE CHECK TRACE 305 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.26 ##### CONFORMANCE CHECK TRACE 306 (1 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.15 ##### CONFORMANCE CHECK TRACE 307 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.31 ##### CONFORMANCE CHECK TRACE 308 (1 instances, length 7) DISTANCE : 5 time/encode: 0.03 time/solve: 0.30 ##### CONFORMANCE CHECK TRACE 309 (1 instances, length 7) DISTANCE : 5 time/encode: 0.03 time/solve: 0.30 ##### CONFORMANCE CHECK TRACE 310 (1 instances, length 7) DISTANCE : 5 time/encode: 0.02 time/solve: 0.13 ##### CONFORMANCE CHECK TRACE 311 (3 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.27 ##### CONFORMANCE CHECK TRACE 312 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.21 ##### CONFORMANCE CHECK TRACE 313 (1 instances, length 7) DISTANCE : 5 time/encode: 0.03 time/solve: 0.33 ##### CONFORMANCE CHECK TRACE 314 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.27 ##### CONFORMANCE CHECK TRACE 315 (1 instances, length 7) DISTANCE : 5 time/encode: 0.03 time/solve: 0.34 ##### CONFORMANCE CHECK TRACE 316 (1 instances, length 7) DISTANCE : 5 time/encode: 0.03 time/solve: 0.33 ##### CONFORMANCE CHECK TRACE 317 (1 instances, length 7) DISTANCE : 5 time/encode: 0.03 time/solve: 0.47 ##### CONFORMANCE CHECK TRACE 318 (1 instances, length 7) DISTANCE : 5 time/encode: 0.03 time/solve: 0.39 ##### CONFORMANCE CHECK TRACE 319 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.25 ##### CONFORMANCE CHECK TRACE 320 (1 instances, length 7) DISTANCE : 4 time/encode: 0.02 time/solve: 0.32 ##### CONFORMANCE CHECK TRACE 321 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.29 ##### CONFORMANCE CHECK TRACE 322 (1 instances, length 7) DISTANCE : 5 time/encode: 0.03 time/solve: 0.37 ##### CONFORMANCE CHECK TRACE 323 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.24 ##### CONFORMANCE CHECK TRACE 324 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.25 ##### CONFORMANCE CHECK TRACE 325 (1 instances, length 7) DISTANCE : 5 time/encode: 0.03 time/solve: 0.37 ##### CONFORMANCE CHECK TRACE 326 (1 instances, length 7) DISTANCE : 5 time/encode: 0.03 time/solve: 0.41 ##### CONFORMANCE CHECK TRACE 327 (1 instances, length 7) DISTANCE : 5 time/encode: 0.03 time/solve: 0.45 ##### CONFORMANCE CHECK TRACE 328 (1 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.19 ##### CONFORMANCE CHECK TRACE 329 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.26 ##### CONFORMANCE CHECK TRACE 330 (1 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.21 ##### CONFORMANCE CHECK TRACE 331 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.29 ##### CONFORMANCE CHECK TRACE 332 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.25 ##### CONFORMANCE CHECK TRACE 333 (1 instances, length 7) DISTANCE : 5 time/encode: 0.02 time/solve: 0.13 ##### CONFORMANCE CHECK TRACE 334 (1 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.16 ##### CONFORMANCE CHECK TRACE 335 (1 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.14 ##### CONFORMANCE CHECK TRACE 336 (1 instances, length 7) DISTANCE : 2 time/encode: 0.03 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 337 (1 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.20 ##### CONFORMANCE CHECK TRACE 338 (1 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.16 ##### CONFORMANCE CHECK TRACE 339 (1 instances, length 7) DISTANCE : 2 time/encode: 0.03 time/solve: 0.16 ##### CONFORMANCE CHECK TRACE 340 (1 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.24 ##### CONFORMANCE CHECK TRACE 341 (1 instances, length 7) DISTANCE : 5 time/encode: 0.03 time/solve: 0.30 ##### CONFORMANCE CHECK TRACE 342 (1 instances, length 7) DISTANCE : 5 time/encode: 0.03 time/solve: 0.28 ##### CONFORMANCE CHECK TRACE 343 (1 instances, length 7) DISTANCE : 2 time/encode: 0.03 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 344 (1 instances, length 7) DISTANCE : 2 time/encode: 0.03 time/solve: 0.11 ##### CONFORMANCE CHECK TRACE 345 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.26 ##### CONFORMANCE CHECK TRACE 346 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.24 ##### CONFORMANCE CHECK TRACE 347 (1 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.25 ##### CONFORMANCE CHECK TRACE 348 (1 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.21 ##### CONFORMANCE CHECK TRACE 349 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.23 ##### CONFORMANCE CHECK TRACE 350 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.26 ##### CONFORMANCE CHECK TRACE 351 (1 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.21 ##### CONFORMANCE CHECK TRACE 352 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.24 ##### CONFORMANCE CHECK TRACE 353 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.21 ##### CONFORMANCE CHECK TRACE 354 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.27 ##### CONFORMANCE CHECK TRACE 355 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.17 ##### CONFORMANCE CHECK TRACE 356 (1 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.18 ##### CONFORMANCE CHECK TRACE 357 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.22 ##### CONFORMANCE CHECK TRACE 358 (1 instances, length 7) DISTANCE : 4 time/encode: 0.04 time/solve: 0.19 ##### CONFORMANCE CHECK TRACE 359 (1 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 360 (1 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 361 (5 instances, length 7) DISTANCE : 2 time/encode: 0.03 time/solve: 0.11 ##### CONFORMANCE CHECK TRACE 362 (1 instances, length 7) DISTANCE : 2 time/encode: 0.03 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 363 (1 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 364 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.30 ##### CONFORMANCE CHECK TRACE 365 (1 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.23 ##### CONFORMANCE CHECK TRACE 366 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.33 ##### CONFORMANCE CHECK TRACE 367 (1 instances, length 7) DISTANCE : 5 time/encode: 0.03 time/solve: 0.35 ##### CONFORMANCE CHECK TRACE 368 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.21 ##### CONFORMANCE CHECK TRACE 369 (2 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.31 ##### CONFORMANCE CHECK TRACE 370 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.35 ##### CONFORMANCE CHECK TRACE 371 (1 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.11 ##### CONFORMANCE CHECK TRACE 372 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.25 ##### CONFORMANCE CHECK TRACE 373 (2 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.24 ##### CONFORMANCE CHECK TRACE 374 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.23 ##### CONFORMANCE CHECK TRACE 375 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.29 ##### CONFORMANCE CHECK TRACE 376 (1 instances, length 7) DISTANCE : 5 time/encode: 0.03 time/solve: 0.22 ##### CONFORMANCE CHECK TRACE 377 (1 instances, length 7) DISTANCE : 5 time/encode: 0.03 time/solve: 0.17 ##### CONFORMANCE CHECK TRACE 378 (1 instances, length 7) DISTANCE : 4 time/encode: 0.02 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 379 (2 instances, length 7) DISTANCE : 5 time/encode: 0.02 time/solve: 0.15 ##### CONFORMANCE CHECK TRACE 380 (1 instances, length 7) DISTANCE : 5 time/encode: 0.03 time/solve: 0.34 ##### CONFORMANCE CHECK TRACE 381 (1 instances, length 7) DISTANCE : 5 time/encode: 0.02 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 382 (2 instances, length 7) DISTANCE : 6 time/encode: 0.02 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 383 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.36 ##### CONFORMANCE CHECK TRACE 384 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.33 ##### CONFORMANCE CHECK TRACE 385 (2 instances, length 7) DISTANCE : 5 time/encode: 0.03 time/solve: 0.38 ##### CONFORMANCE CHECK TRACE 386 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.31 ##### CONFORMANCE CHECK TRACE 387 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.34 ##### CONFORMANCE CHECK TRACE 388 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.34 ##### CONFORMANCE CHECK TRACE 389 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.22 ##### CONFORMANCE CHECK TRACE 390 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.55 ##### CONFORMANCE CHECK TRACE 391 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.28 ##### CONFORMANCE CHECK TRACE 392 (1 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.26 ##### CONFORMANCE CHECK TRACE 393 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.22 ##### CONFORMANCE CHECK TRACE 394 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.31 ##### CONFORMANCE CHECK TRACE 395 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.25 ##### CONFORMANCE CHECK TRACE 396 (1 instances, length 7) DISTANCE : 5 time/encode: 0.02 time/solve: 0.25 ##### CONFORMANCE CHECK TRACE 397 (1 instances, length 7) DISTANCE : 5 time/encode: 0.02 time/solve: 0.28 ##### CONFORMANCE CHECK TRACE 398 (1 instances, length 7) DISTANCE : 4 time/encode: 0.02 time/solve: 0.24 ##### CONFORMANCE CHECK TRACE 399 (1 instances, length 7) DISTANCE : 4 time/encode: 0.02 time/solve: 0.28 ##### CONFORMANCE CHECK TRACE 400 (3 instances, length 7) DISTANCE : 6 time/encode: 0.02 time/solve: 0.09 ##### CONFORMANCE CHECK TRACE 401 (1 instances, length 7) DISTANCE : 7 time/encode: 0.02 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 402 (1 instances, length 7) DISTANCE : 3 time/encode: 0.03 time/solve: 0.19 ##### CONFORMANCE CHECK TRACE 403 (1 instances, length 7) DISTANCE : 1 time/encode: 0.03 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 404 (1 instances, length 7) DISTANCE : 2 time/encode: 0.03 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 405 (1 instances, length 7) DISTANCE : 2 time/encode: 0.03 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 406 (1 instances, length 7) DISTANCE : 5 time/encode: 0.03 time/solve: 0.27 ##### CONFORMANCE CHECK TRACE 407 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.24 ##### CONFORMANCE CHECK TRACE 408 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.28 ##### CONFORMANCE CHECK TRACE 409 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.20 ##### CONFORMANCE CHECK TRACE 410 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.36 ##### CONFORMANCE CHECK TRACE 411 (1 instances, length 7) DISTANCE : 4 time/encode: 0.03 time/solve: 0.26 ##### CONFORMANCE CHECK TRACE 412 (1 instances, length 8) DISTANCE : 5 time/encode: 0.02 time/solve: 0.31 ##### CONFORMANCE CHECK TRACE 413 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.33 ##### CONFORMANCE CHECK TRACE 414 (1 instances, length 8) DISTANCE : 2 time/encode: 0.03 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 415 (1 instances, length 8) DISTANCE : 2 time/encode: 0.03 time/solve: 0.16 ##### CONFORMANCE CHECK TRACE 416 (1 instances, length 8) DISTANCE : 2 time/encode: 0.03 time/solve: 0.13 ##### CONFORMANCE CHECK TRACE 417 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.24 ##### CONFORMANCE CHECK TRACE 418 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.34 ##### CONFORMANCE CHECK TRACE 419 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.28 ##### CONFORMANCE CHECK TRACE 420 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.36 ##### CONFORMANCE CHECK TRACE 421 (1 instances, length 8) DISTANCE : 2 time/encode: 0.03 time/solve: 0.14 ##### CONFORMANCE CHECK TRACE 422 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.33 ##### CONFORMANCE CHECK TRACE 423 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.22 ##### CONFORMANCE CHECK TRACE 424 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.48 ##### CONFORMANCE CHECK TRACE 425 (2 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.37 ##### CONFORMANCE CHECK TRACE 426 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.37 ##### CONFORMANCE CHECK TRACE 427 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.48 ##### CONFORMANCE CHECK TRACE 428 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.37 ##### CONFORMANCE CHECK TRACE 429 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.44 ##### CONFORMANCE CHECK TRACE 430 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.49 ##### CONFORMANCE CHECK TRACE 431 (1 instances, length 8) DISTANCE : 6 time/encode: 0.03 time/solve: 0.23 ##### CONFORMANCE CHECK TRACE 432 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.39 ##### CONFORMANCE CHECK TRACE 433 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.46 ##### CONFORMANCE CHECK TRACE 434 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.46 ##### CONFORMANCE CHECK TRACE 435 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.44 ##### CONFORMANCE CHECK TRACE 436 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.45 ##### CONFORMANCE CHECK TRACE 437 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.42 ##### CONFORMANCE CHECK TRACE 438 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.50 ##### CONFORMANCE CHECK TRACE 439 (1 instances, length 8) DISTANCE : 6 time/encode: 0.03 time/solve: 0.67 ##### CONFORMANCE CHECK TRACE 440 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.61 ##### CONFORMANCE CHECK TRACE 441 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.22 ##### CONFORMANCE CHECK TRACE 442 (1 instances, length 8) DISTANCE : 6 time/encode: 0.03 time/solve: 0.71 ##### CONFORMANCE CHECK TRACE 443 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.50 ##### CONFORMANCE CHECK TRACE 444 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.30 ##### CONFORMANCE CHECK TRACE 445 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.47 ##### CONFORMANCE CHECK TRACE 446 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.44 ##### CONFORMANCE CHECK TRACE 447 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.28 ##### CONFORMANCE CHECK TRACE 448 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.62 ##### CONFORMANCE CHECK TRACE 449 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.22 ##### CONFORMANCE CHECK TRACE 450 (1 instances, length 8) DISTANCE : 6 time/encode: 0.03 time/solve: 0.51 ##### CONFORMANCE CHECK TRACE 451 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.42 ##### CONFORMANCE CHECK TRACE 452 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.40 ##### CONFORMANCE CHECK TRACE 453 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.48 ##### CONFORMANCE CHECK TRACE 454 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.41 ##### CONFORMANCE CHECK TRACE 455 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.50 ##### CONFORMANCE CHECK TRACE 456 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.49 ##### CONFORMANCE CHECK TRACE 457 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.42 ##### CONFORMANCE CHECK TRACE 458 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.37 ##### CONFORMANCE CHECK TRACE 459 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.42 ##### CONFORMANCE CHECK TRACE 460 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.48 ##### CONFORMANCE CHECK TRACE 461 (2 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.24 ##### CONFORMANCE CHECK TRACE 462 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.25 ##### CONFORMANCE CHECK TRACE 463 (3 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.24 ##### CONFORMANCE CHECK TRACE 464 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.21 ##### CONFORMANCE CHECK TRACE 465 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.36 ##### CONFORMANCE CHECK TRACE 466 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.55 ##### CONFORMANCE CHECK TRACE 467 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.36 ##### CONFORMANCE CHECK TRACE 468 (2 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.35 ##### CONFORMANCE CHECK TRACE 469 (1 instances, length 8) DISTANCE : 6 time/encode: 0.03 time/solve: 0.38 ##### CONFORMANCE CHECK TRACE 470 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.49 ##### CONFORMANCE CHECK TRACE 471 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.24 ##### CONFORMANCE CHECK TRACE 472 (2 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.54 ##### CONFORMANCE CHECK TRACE 473 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.54 ##### CONFORMANCE CHECK TRACE 474 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.40 ##### CONFORMANCE CHECK TRACE 475 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.41 ##### CONFORMANCE CHECK TRACE 476 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.41 ##### CONFORMANCE CHECK TRACE 477 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.61 ##### CONFORMANCE CHECK TRACE 478 (2 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.49 ##### CONFORMANCE CHECK TRACE 479 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.53 ##### CONFORMANCE CHECK TRACE 480 (1 instances, length 8) DISTANCE : 6 time/encode: 0.03 time/solve: 0.61 ##### CONFORMANCE CHECK TRACE 481 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.53 ##### CONFORMANCE CHECK TRACE 482 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.54 ##### CONFORMANCE CHECK TRACE 483 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.57 ##### CONFORMANCE CHECK TRACE 484 (1 instances, length 8) DISTANCE : 6 time/encode: 0.03 time/solve: 0.67 ##### CONFORMANCE CHECK TRACE 485 (1 instances, length 8) DISTANCE : 2 time/encode: 0.03 time/solve: 0.18 ##### CONFORMANCE CHECK TRACE 486 (1 instances, length 8) DISTANCE : 6 time/encode: 0.03 time/solve: 0.31 ##### CONFORMANCE CHECK TRACE 487 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.48 ##### CONFORMANCE CHECK TRACE 488 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.43 ##### CONFORMANCE CHECK TRACE 489 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.39 ##### CONFORMANCE CHECK TRACE 490 (1 instances, length 8) DISTANCE : 6 time/encode: 0.03 time/solve: 0.86 ##### CONFORMANCE CHECK TRACE 491 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.28 ##### CONFORMANCE CHECK TRACE 492 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.27 ##### CONFORMANCE CHECK TRACE 493 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.28 ##### CONFORMANCE CHECK TRACE 494 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.58 ##### CONFORMANCE CHECK TRACE 495 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.45 ##### CONFORMANCE CHECK TRACE 496 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.25 ##### CONFORMANCE CHECK TRACE 497 (1 instances, length 8) DISTANCE : 5 time/encode: 0.04 time/solve: 0.59 ##### CONFORMANCE CHECK TRACE 498 (1 instances, length 8) DISTANCE : 5 time/encode: 0.04 time/solve: 0.58 ##### CONFORMANCE CHECK TRACE 499 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.19 ##### CONFORMANCE CHECK TRACE 500 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.18 ##### CONFORMANCE CHECK TRACE 501 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.17 ##### CONFORMANCE CHECK TRACE 502 (1 instances, length 8) DISTANCE : 3 time/encode: 0.04 time/solve: 0.32 ##### CONFORMANCE CHECK TRACE 503 (1 instances, length 8) DISTANCE : 2 time/encode: 0.03 time/solve: 0.28 ##### CONFORMANCE CHECK TRACE 504 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.35 ##### CONFORMANCE CHECK TRACE 505 (2 instances, length 8) DISTANCE : 6 time/encode: 0.03 time/solve: 0.56 ##### CONFORMANCE CHECK TRACE 506 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.65 ##### CONFORMANCE CHECK TRACE 507 (1 instances, length 8) DISTANCE : 2 time/encode: 0.03 time/solve: 0.18 ##### CONFORMANCE CHECK TRACE 508 (1 instances, length 8) DISTANCE : 2 time/encode: 0.03 time/solve: 0.22 ##### CONFORMANCE CHECK TRACE 509 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.23 ##### CONFORMANCE CHECK TRACE 510 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.49 ##### CONFORMANCE CHECK TRACE 511 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.33 ##### CONFORMANCE CHECK TRACE 512 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.38 ##### CONFORMANCE CHECK TRACE 513 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.55 ##### CONFORMANCE CHECK TRACE 514 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.43 ##### CONFORMANCE CHECK TRACE 515 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.38 ##### CONFORMANCE CHECK TRACE 516 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.52 ##### CONFORMANCE CHECK TRACE 517 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.44 ##### CONFORMANCE CHECK TRACE 518 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.58 ##### CONFORMANCE CHECK TRACE 519 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.42 ##### CONFORMANCE CHECK TRACE 520 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.39 ##### CONFORMANCE CHECK TRACE 521 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.19 ##### CONFORMANCE CHECK TRACE 522 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.30 ##### CONFORMANCE CHECK TRACE 523 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.26 ##### CONFORMANCE CHECK TRACE 524 (2 instances, length 8) DISTANCE : 3 time/encode: 0.04 time/solve: 0.26 ##### CONFORMANCE CHECK TRACE 525 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.14 ##### CONFORMANCE CHECK TRACE 526 (1 instances, length 8) DISTANCE : 2 time/encode: 0.03 time/solve: 0.22 ##### CONFORMANCE CHECK TRACE 527 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.20 ##### CONFORMANCE CHECK TRACE 528 (1 instances, length 8) DISTANCE : 2 time/encode: 0.03 time/solve: 0.20 ##### CONFORMANCE CHECK TRACE 529 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.18 ##### CONFORMANCE CHECK TRACE 530 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.43 ##### CONFORMANCE CHECK TRACE 531 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.25 ##### CONFORMANCE CHECK TRACE 532 (1 instances, length 8) DISTANCE : 6 time/encode: 0.03 time/solve: 0.67 ##### CONFORMANCE CHECK TRACE 533 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.30 ##### CONFORMANCE CHECK TRACE 534 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.51 ##### CONFORMANCE CHECK TRACE 535 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.30 ##### CONFORMANCE CHECK TRACE 536 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.35 ##### CONFORMANCE CHECK TRACE 537 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.53 ##### CONFORMANCE CHECK TRACE 538 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.58 ##### CONFORMANCE CHECK TRACE 539 (3 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.26 ##### CONFORMANCE CHECK TRACE 540 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.31 ##### CONFORMANCE CHECK TRACE 541 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.56 ##### CONFORMANCE CHECK TRACE 542 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.67 ##### CONFORMANCE CHECK TRACE 543 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.59 ##### CONFORMANCE CHECK TRACE 544 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.62 ##### CONFORMANCE CHECK TRACE 545 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.56 ##### CONFORMANCE CHECK TRACE 546 (1 instances, length 8) DISTANCE : 6 time/encode: 0.03 time/solve: 0.79 ##### CONFORMANCE CHECK TRACE 547 (2 instances, length 8) DISTANCE : 6 time/encode: 0.03 time/solve: 0.17 ##### CONFORMANCE CHECK TRACE 548 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.19 ##### CONFORMANCE CHECK TRACE 549 (1 instances, length 8) DISTANCE : 7 time/encode: 0.02 time/solve: 0.15 ##### CONFORMANCE CHECK TRACE 550 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.34 ##### CONFORMANCE CHECK TRACE 551 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.60 ##### CONFORMANCE CHECK TRACE 552 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.40 ##### CONFORMANCE CHECK TRACE 553 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.61 ##### CONFORMANCE CHECK TRACE 554 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.55 ##### CONFORMANCE CHECK TRACE 555 (1 instances, length 8) DISTANCE : 4 time/encode: 0.04 time/solve: 0.43 ##### CONFORMANCE CHECK TRACE 556 (1 instances, length 8) DISTANCE : 4 time/encode: 0.04 time/solve: 0.49 ##### CONFORMANCE CHECK TRACE 557 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.26 ##### CONFORMANCE CHECK TRACE 558 (2 instances, length 8) DISTANCE : 4 time/encode: 0.04 time/solve: 0.42 ##### CONFORMANCE CHECK TRACE 559 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.76 ##### CONFORMANCE CHECK TRACE 560 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.62 ##### CONFORMANCE CHECK TRACE 561 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.33 ##### CONFORMANCE CHECK TRACE 562 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.51 ##### CONFORMANCE CHECK TRACE 563 (1 instances, length 8) DISTANCE : 5 time/encode: 0.04 time/solve: 0.46 ##### CONFORMANCE CHECK TRACE 564 (1 instances, length 8) DISTANCE : 5 time/encode: 0.06 time/solve: 0.49 ##### CONFORMANCE CHECK TRACE 565 (1 instances, length 8) DISTANCE : 5 time/encode: 0.04 time/solve: 0.46 ##### CONFORMANCE CHECK TRACE 566 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.53 ##### CONFORMANCE CHECK TRACE 567 (1 instances, length 8) DISTANCE : 6 time/encode: 0.03 time/solve: 0.59 ##### CONFORMANCE CHECK TRACE 568 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.28 ##### CONFORMANCE CHECK TRACE 569 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.52 ##### CONFORMANCE CHECK TRACE 570 (1 instances, length 8) DISTANCE : 6 time/encode: 0.02 time/solve: 0.32 ##### CONFORMANCE CHECK TRACE 571 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.40 ##### CONFORMANCE CHECK TRACE 572 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.35 ##### CONFORMANCE CHECK TRACE 573 (2 instances, length 8) DISTANCE : 7 time/encode: 0.02 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 574 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.36 ##### CONFORMANCE CHECK TRACE 575 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.25 ##### CONFORMANCE CHECK TRACE 576 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.35 ##### CONFORMANCE CHECK TRACE 577 (1 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.38 ##### CONFORMANCE CHECK TRACE 578 (1 instances, length 8) DISTANCE : 3 time/encode: 0.04 time/solve: 0.24 ##### CONFORMANCE CHECK TRACE 579 (2 instances, length 8) DISTANCE : 4 time/encode: 0.03 time/solve: 0.43 ##### CONFORMANCE CHECK TRACE 580 (1 instances, length 8) DISTANCE : 5 time/encode: 0.03 time/solve: 0.47 ##### CONFORMANCE CHECK TRACE 581 (1 instances, length 8) DISTANCE : 2 time/encode: 0.03 time/solve: 0.19 ##### CONFORMANCE CHECK TRACE 582 (1 instances, length 9) DISTANCE : 5 time/encode: 0.03 time/solve: 0.55 ##### CONFORMANCE CHECK TRACE 583 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.79 ##### CONFORMANCE CHECK TRACE 584 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 0.77 ##### CONFORMANCE CHECK TRACE 585 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.35 ##### CONFORMANCE CHECK TRACE 586 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.69 ##### CONFORMANCE CHECK TRACE 587 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.47 ##### CONFORMANCE CHECK TRACE 588 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 0.69 ##### CONFORMANCE CHECK TRACE 589 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 0.64 ##### CONFORMANCE CHECK TRACE 590 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.48 ##### CONFORMANCE CHECK TRACE 591 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.36 ##### CONFORMANCE CHECK TRACE 592 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.45 ##### CONFORMANCE CHECK TRACE 593 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 0.74 ##### CONFORMANCE CHECK TRACE 594 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.77 ##### CONFORMANCE CHECK TRACE 595 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 0.87 ##### CONFORMANCE CHECK TRACE 596 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.03 ##### CONFORMANCE CHECK TRACE 597 (1 instances, length 9) DISTANCE : 7 time/encode: 0.03 time/solve: 0.41 ##### CONFORMANCE CHECK TRACE 598 (1 instances, length 9) DISTANCE : 2 time/encode: 0.04 time/solve: 0.36 ##### CONFORMANCE CHECK TRACE 599 (1 instances, length 9) DISTANCE : 7 time/encode: 0.03 time/solve: 0.67 ##### CONFORMANCE CHECK TRACE 600 (1 instances, length 9) DISTANCE : 6 time/encode: 0.03 time/solve: 0.78 ##### CONFORMANCE CHECK TRACE 601 (1 instances, length 9) DISTANCE : 6 time/encode: 0.03 time/solve: 1.17 ##### CONFORMANCE CHECK TRACE 602 (1 instances, length 9) DISTANCE : 6 time/encode: 0.03 time/solve: 0.98 ##### CONFORMANCE CHECK TRACE 603 (1 instances, length 9) DISTANCE : 5 time/encode: 0.03 time/solve: 1.17 ##### CONFORMANCE CHECK TRACE 604 (1 instances, length 9) DISTANCE : 7 time/encode: 0.03 time/solve: 1.99 ##### CONFORMANCE CHECK TRACE 605 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.56 ##### CONFORMANCE CHECK TRACE 606 (1 instances, length 9) DISTANCE : 6 time/encode: 0.04 time/solve: 1.28 ##### CONFORMANCE CHECK TRACE 607 (1 instances, length 9) DISTANCE : 6 time/encode: 0.04 time/solve: 1.02 ##### CONFORMANCE CHECK TRACE 608 (1 instances, length 9) DISTANCE : 6 time/encode: 0.03 time/solve: 0.41 ##### CONFORMANCE CHECK TRACE 609 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.66 ##### CONFORMANCE CHECK TRACE 610 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.67 ##### CONFORMANCE CHECK TRACE 611 (1 instances, length 9) DISTANCE : 6 time/encode: 0.03 time/solve: 0.65 ##### CONFORMANCE CHECK TRACE 612 (1 instances, length 9) DISTANCE : 7 time/encode: 0.03 time/solve: 0.74 ##### CONFORMANCE CHECK TRACE 613 (1 instances, length 9) DISTANCE : 6 time/encode: 0.04 time/solve: 1.24 ##### CONFORMANCE CHECK TRACE 614 (1 instances, length 9) DISTANCE : 6 time/encode: 0.03 time/solve: 0.81 ##### CONFORMANCE CHECK TRACE 615 (3 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.13 ##### CONFORMANCE CHECK TRACE 616 (1 instances, length 9) DISTANCE : 6 time/encode: 0.04 time/solve: 2.01 ##### CONFORMANCE CHECK TRACE 617 (1 instances, length 9) DISTANCE : 7 time/encode: 0.04 time/solve: 1.96 ##### CONFORMANCE CHECK TRACE 618 (1 instances, length 9) DISTANCE : 6 time/encode: 0.03 time/solve: 0.74 ##### CONFORMANCE CHECK TRACE 619 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 0.88 ##### CONFORMANCE CHECK TRACE 620 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.11 ##### CONFORMANCE CHECK TRACE 621 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.65 ##### CONFORMANCE CHECK TRACE 622 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.58 ##### CONFORMANCE CHECK TRACE 623 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.25 ##### CONFORMANCE CHECK TRACE 624 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.78 ##### CONFORMANCE CHECK TRACE 625 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.62 ##### CONFORMANCE CHECK TRACE 626 (1 instances, length 9) DISTANCE : 6 time/encode: 0.04 time/solve: 1.51 ##### CONFORMANCE CHECK TRACE 627 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 0.97 ##### CONFORMANCE CHECK TRACE 628 (1 instances, length 9) DISTANCE : 7 time/encode: 0.04 time/solve: 1.30 ##### CONFORMANCE CHECK TRACE 629 (1 instances, length 9) DISTANCE : 6 time/encode: 0.04 time/solve: 1.46 ##### CONFORMANCE CHECK TRACE 630 (1 instances, length 9) DISTANCE : 7 time/encode: 0.04 time/solve: 1.36 ##### CONFORMANCE CHECK TRACE 631 (2 instances, length 9) DISTANCE : 6 time/encode: 0.04 time/solve: 1.10 ##### CONFORMANCE CHECK TRACE 632 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.67 ##### CONFORMANCE CHECK TRACE 633 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 0.69 ##### CONFORMANCE CHECK TRACE 634 (1 instances, length 9) DISTANCE : 6 time/encode: 0.04 time/solve: 0.63 ##### CONFORMANCE CHECK TRACE 635 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.30 ##### CONFORMANCE CHECK TRACE 636 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.56 ##### CONFORMANCE CHECK TRACE 637 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.40 ##### CONFORMANCE CHECK TRACE 638 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.48 ##### CONFORMANCE CHECK TRACE 639 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.59 ##### CONFORMANCE CHECK TRACE 640 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.56 ##### CONFORMANCE CHECK TRACE 641 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.44 ##### CONFORMANCE CHECK TRACE 642 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.65 ##### CONFORMANCE CHECK TRACE 643 (1 instances, length 9) DISTANCE : 7 time/encode: 0.03 time/solve: 0.67 ##### CONFORMANCE CHECK TRACE 644 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.74 ##### CONFORMANCE CHECK TRACE 645 (2 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 0.89 ##### CONFORMANCE CHECK TRACE 646 (1 instances, length 9) DISTANCE : 6 time/encode: 0.04 time/solve: 0.91 ##### CONFORMANCE CHECK TRACE 647 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.42 ##### CONFORMANCE CHECK TRACE 648 (1 instances, length 9) DISTANCE : 6 time/encode: 0.04 time/solve: 1.51 ##### CONFORMANCE CHECK TRACE 649 (2 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.59 ##### CONFORMANCE CHECK TRACE 650 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.90 ##### CONFORMANCE CHECK TRACE 651 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.98 ##### CONFORMANCE CHECK TRACE 652 (1 instances, length 9) DISTANCE : 6 time/encode: 0.04 time/solve: 1.50 ##### CONFORMANCE CHECK TRACE 653 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.00 ##### CONFORMANCE CHECK TRACE 654 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.08 ##### CONFORMANCE CHECK TRACE 655 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 0.93 ##### CONFORMANCE CHECK TRACE 656 (1 instances, length 9) DISTANCE : 6 time/encode: 0.04 time/solve: 0.99 ##### CONFORMANCE CHECK TRACE 657 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 0.80 ##### CONFORMANCE CHECK TRACE 658 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.24 ##### CONFORMANCE CHECK TRACE 659 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.30 ##### CONFORMANCE CHECK TRACE 660 (2 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.44 ##### CONFORMANCE CHECK TRACE 661 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.22 ##### CONFORMANCE CHECK TRACE 662 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 1.34 ##### CONFORMANCE CHECK TRACE 663 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.60 ##### CONFORMANCE CHECK TRACE 664 (1 instances, length 9) DISTANCE : 5 time/encode: 0.03 time/solve: 0.63 ##### CONFORMANCE CHECK TRACE 665 (1 instances, length 9) DISTANCE : 6 time/encode: 0.03 time/solve: 0.69 ##### CONFORMANCE CHECK TRACE 666 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 0.73 ##### CONFORMANCE CHECK TRACE 667 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 0.89 ##### CONFORMANCE CHECK TRACE 668 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 0.94 ##### CONFORMANCE CHECK TRACE 669 (1 instances, length 9) DISTANCE : 6 time/encode: 0.04 time/solve: 1.44 ##### CONFORMANCE CHECK TRACE 670 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.00 ##### CONFORMANCE CHECK TRACE 671 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.49 ##### CONFORMANCE CHECK TRACE 672 (1 instances, length 9) DISTANCE : 6 time/encode: 0.04 time/solve: 1.23 ##### CONFORMANCE CHECK TRACE 673 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.82 ##### CONFORMANCE CHECK TRACE 674 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.28 ##### CONFORMANCE CHECK TRACE 675 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.14 ##### CONFORMANCE CHECK TRACE 676 (1 instances, length 9) DISTANCE : 6 time/encode: 0.04 time/solve: 0.76 ##### CONFORMANCE CHECK TRACE 677 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.06 ##### CONFORMANCE CHECK TRACE 678 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.39 ##### CONFORMANCE CHECK TRACE 679 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 0.93 ##### CONFORMANCE CHECK TRACE 680 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.83 ##### CONFORMANCE CHECK TRACE 681 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.03 ##### CONFORMANCE CHECK TRACE 682 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.64 ##### CONFORMANCE CHECK TRACE 683 (1 instances, length 9) DISTANCE : 7 time/encode: 0.03 time/solve: 0.26 ##### CONFORMANCE CHECK TRACE 684 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.32 ##### CONFORMANCE CHECK TRACE 685 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.27 ##### CONFORMANCE CHECK TRACE 686 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 0.84 ##### CONFORMANCE CHECK TRACE 687 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.72 ##### CONFORMANCE CHECK TRACE 688 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.59 ##### CONFORMANCE CHECK TRACE 689 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.37 ##### CONFORMANCE CHECK TRACE 690 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 1.30 ##### CONFORMANCE CHECK TRACE 691 (1 instances, length 9) DISTANCE : 6 time/encode: 0.04 time/solve: 0.96 ##### CONFORMANCE CHECK TRACE 692 (1 instances, length 9) DISTANCE : 6 time/encode: 0.04 time/solve: 1.24 ##### CONFORMANCE CHECK TRACE 693 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.53 ##### CONFORMANCE CHECK TRACE 694 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.31 ##### CONFORMANCE CHECK TRACE 695 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.67 ##### CONFORMANCE CHECK TRACE 696 (1 instances, length 9) DISTANCE : 2 time/encode: 0.04 time/solve: 0.38 ##### CONFORMANCE CHECK TRACE 697 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.51 ##### CONFORMANCE CHECK TRACE 698 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.49 ##### CONFORMANCE CHECK TRACE 699 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.02 ##### CONFORMANCE CHECK TRACE 700 (1 instances, length 9) DISTANCE : 6 time/encode: 0.04 time/solve: 1.60 ##### CONFORMANCE CHECK TRACE 701 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.34 ##### CONFORMANCE CHECK TRACE 702 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 1.20 ##### CONFORMANCE CHECK TRACE 703 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.51 ##### CONFORMANCE CHECK TRACE 704 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.98 ##### CONFORMANCE CHECK TRACE 705 (2 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.69 ##### CONFORMANCE CHECK TRACE 706 (2 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.75 ##### CONFORMANCE CHECK TRACE 707 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.54 ##### CONFORMANCE CHECK TRACE 708 (2 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.79 ##### CONFORMANCE CHECK TRACE 709 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.09 ##### CONFORMANCE CHECK TRACE 710 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.65 ##### CONFORMANCE CHECK TRACE 711 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.25 ##### CONFORMANCE CHECK TRACE 712 (1 instances, length 9) DISTANCE : 2 time/encode: 0.04 time/solve: 0.32 ##### CONFORMANCE CHECK TRACE 713 (2 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.29 ##### CONFORMANCE CHECK TRACE 714 (2 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.29 ##### CONFORMANCE CHECK TRACE 715 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.41 ##### CONFORMANCE CHECK TRACE 716 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.42 ##### CONFORMANCE CHECK TRACE 717 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.43 ##### CONFORMANCE CHECK TRACE 718 (1 instances, length 9) DISTANCE : 2 time/encode: 0.05 time/solve: 0.38 ##### CONFORMANCE CHECK TRACE 719 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.29 ##### CONFORMANCE CHECK TRACE 720 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.57 ##### CONFORMANCE CHECK TRACE 721 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.29 ##### CONFORMANCE CHECK TRACE 722 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.57 ##### CONFORMANCE CHECK TRACE 723 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.47 ##### CONFORMANCE CHECK TRACE 724 (1 instances, length 9) DISTANCE : 6 time/encode: 0.04 time/solve: 1.13 ##### CONFORMANCE CHECK TRACE 725 (1 instances, length 9) DISTANCE : 6 time/encode: 0.04 time/solve: 0.82 ##### CONFORMANCE CHECK TRACE 726 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.22 ##### CONFORMANCE CHECK TRACE 727 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.02 ##### CONFORMANCE CHECK TRACE 728 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.50 ##### CONFORMANCE CHECK TRACE 729 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 0.99 ##### CONFORMANCE CHECK TRACE 730 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.00 ##### CONFORMANCE CHECK TRACE 731 (1 instances, length 9) DISTANCE : 6 time/encode: 0.04 time/solve: 1.34 ##### CONFORMANCE CHECK TRACE 732 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.73 ##### CONFORMANCE CHECK TRACE 733 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.67 ##### CONFORMANCE CHECK TRACE 734 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.53 ##### CONFORMANCE CHECK TRACE 735 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.50 ##### CONFORMANCE CHECK TRACE 736 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.74 ##### CONFORMANCE CHECK TRACE 737 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.46 ##### CONFORMANCE CHECK TRACE 738 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 0.99 ##### CONFORMANCE CHECK TRACE 739 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 0.80 ##### CONFORMANCE CHECK TRACE 740 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 0.55 ##### CONFORMANCE CHECK TRACE 741 (1 instances, length 9) DISTANCE : 6 time/encode: 0.04 time/solve: 1.70 ##### CONFORMANCE CHECK TRACE 742 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.20 ##### CONFORMANCE CHECK TRACE 743 (1 instances, length 9) DISTANCE : 7 time/encode: 0.03 time/solve: 0.24 ##### CONFORMANCE CHECK TRACE 744 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.00 ##### CONFORMANCE CHECK TRACE 745 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.76 ##### CONFORMANCE CHECK TRACE 746 (2 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 0.80 ##### CONFORMANCE CHECK TRACE 747 (1 instances, length 9) DISTANCE : 6 time/encode: 0.04 time/solve: 1.54 ##### CONFORMANCE CHECK TRACE 748 (1 instances, length 9) DISTANCE : 6 time/encode: 0.04 time/solve: 1.72 ##### CONFORMANCE CHECK TRACE 749 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.40 ##### CONFORMANCE CHECK TRACE 750 (1 instances, length 9) DISTANCE : 6 time/encode: 0.04 time/solve: 1.58 ##### CONFORMANCE CHECK TRACE 751 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.81 ##### CONFORMANCE CHECK TRACE 752 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.63 ##### CONFORMANCE CHECK TRACE 753 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 0.87 ##### CONFORMANCE CHECK TRACE 754 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.56 ##### CONFORMANCE CHECK TRACE 755 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.11 ##### CONFORMANCE CHECK TRACE 756 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 0.91 ##### CONFORMANCE CHECK TRACE 757 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 1.34 ##### CONFORMANCE CHECK TRACE 758 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 0.89 ##### CONFORMANCE CHECK TRACE 759 (1 instances, length 9) DISTANCE : 7 time/encode: 0.03 time/solve: 0.54 ##### CONFORMANCE CHECK TRACE 760 (1 instances, length 9) DISTANCE : 5 time/encode: 0.03 time/solve: 0.92 ##### CONFORMANCE CHECK TRACE 761 (1 instances, length 9) DISTANCE : 8 time/encode: 0.02 time/solve: 0.16 ##### CONFORMANCE CHECK TRACE 762 (1 instances, length 9) DISTANCE : 9 time/encode: 0.02 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 763 (1 instances, length 9) DISTANCE : 7 time/encode: 0.03 time/solve: 0.14 ##### CONFORMANCE CHECK TRACE 764 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.52 ##### CONFORMANCE CHECK TRACE 765 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.26 ##### CONFORMANCE CHECK TRACE 766 (1 instances, length 9) DISTANCE : 5 time/encode: 0.04 time/solve: 0.82 ##### CONFORMANCE CHECK TRACE 767 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.51 ##### CONFORMANCE CHECK TRACE 768 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.65 ##### CONFORMANCE CHECK TRACE 769 (1 instances, length 9) DISTANCE : 2 time/encode: 0.04 time/solve: 0.26 ##### CONFORMANCE CHECK TRACE 770 (1 instances, length 9) DISTANCE : 2 time/encode: 0.04 time/solve: 0.31 ##### CONFORMANCE CHECK TRACE 771 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.48 ##### CONFORMANCE CHECK TRACE 772 (1 instances, length 9) DISTANCE : 4 time/encode: 0.04 time/solve: 0.67 ##### CONFORMANCE CHECK TRACE 773 (1 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 0.82 ##### CONFORMANCE CHECK TRACE 774 (1 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 0.50 ##### CONFORMANCE CHECK TRACE 775 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 1.31 ##### CONFORMANCE CHECK TRACE 776 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 0.87 ##### CONFORMANCE CHECK TRACE 777 (1 instances, length 10) DISTANCE : 1 time/encode: 0.05 time/solve: 0.19 ##### CONFORMANCE CHECK TRACE 778 (1 instances, length 10) DISTANCE : 1 time/encode: 0.05 time/solve: 0.17 ##### CONFORMANCE CHECK TRACE 779 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 0.66 ##### CONFORMANCE CHECK TRACE 780 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 0.58 ##### CONFORMANCE CHECK TRACE 781 (1 instances, length 10) DISTANCE : 6 time/encode: 0.04 time/solve: 1.22 ##### CONFORMANCE CHECK TRACE 782 (1 instances, length 10) DISTANCE : 6 time/encode: 0.04 time/solve: 0.89 ##### CONFORMANCE CHECK TRACE 783 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 1.10 ##### CONFORMANCE CHECK TRACE 784 (1 instances, length 10) DISTANCE : 2 time/encode: 0.05 time/solve: 0.53 ##### CONFORMANCE CHECK TRACE 785 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.25 ##### CONFORMANCE CHECK TRACE 786 (1 instances, length 10) DISTANCE : 2 time/encode: 0.05 time/solve: 0.25 ##### CONFORMANCE CHECK TRACE 787 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.30 ##### CONFORMANCE CHECK TRACE 788 (1 instances, length 10) DISTANCE : 8 time/encode: 0.04 time/solve: 0.50 ##### CONFORMANCE CHECK TRACE 789 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 1.17 ##### CONFORMANCE CHECK TRACE 790 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.19 ##### CONFORMANCE CHECK TRACE 791 (1 instances, length 10) DISTANCE : 7 time/encode: 0.03 time/solve: 1.49 ##### CONFORMANCE CHECK TRACE 792 (1 instances, length 10) DISTANCE : 5 time/encode: 0.04 time/solve: 1.90 ##### CONFORMANCE CHECK TRACE 793 (1 instances, length 10) DISTANCE : 6 time/encode: 0.04 time/solve: 2.11 ##### CONFORMANCE CHECK TRACE 794 (1 instances, length 10) DISTANCE : 7 time/encode: 0.04 time/solve: 3.79 ##### CONFORMANCE CHECK TRACE 795 (1 instances, length 10) DISTANCE : 4 time/encode: 0.04 time/solve: 1.46 ##### CONFORMANCE CHECK TRACE 796 (1 instances, length 10) DISTANCE : 4 time/encode: 0.04 time/solve: 1.45 ##### CONFORMANCE CHECK TRACE 797 (2 instances, length 10) DISTANCE : 7 time/encode: 0.04 time/solve: 1.48 ##### CONFORMANCE CHECK TRACE 798 (1 instances, length 10) DISTANCE : 4 time/encode: 0.07 time/solve: 2.18 ##### CONFORMANCE CHECK TRACE 799 (1 instances, length 10) DISTANCE : 4 time/encode: 0.04 time/solve: 1.37 ##### CONFORMANCE CHECK TRACE 800 (1 instances, length 10) DISTANCE : 7 time/encode: 0.04 time/solve: 1.40 ##### CONFORMANCE CHECK TRACE 801 (1 instances, length 10) DISTANCE : 5 time/encode: 0.04 time/solve: 1.95 ##### CONFORMANCE CHECK TRACE 802 (1 instances, length 10) DISTANCE : 7 time/encode: 0.04 time/solve: 2.96 ##### CONFORMANCE CHECK TRACE 803 (1 instances, length 10) DISTANCE : 6 time/encode: 0.04 time/solve: 2.81 ##### CONFORMANCE CHECK TRACE 804 (1 instances, length 10) DISTANCE : 7 time/encode: 0.04 time/solve: 3.21 ##### CONFORMANCE CHECK TRACE 805 (1 instances, length 10) DISTANCE : 6 time/encode: 0.04 time/solve: 1.73 ##### CONFORMANCE CHECK TRACE 806 (1 instances, length 10) DISTANCE : 6 time/encode: 0.04 time/solve: 1.99 ##### CONFORMANCE CHECK TRACE 807 (1 instances, length 10) DISTANCE : 7 time/encode: 0.04 time/solve: 5.05 ##### CONFORMANCE CHECK TRACE 808 (1 instances, length 10) DISTANCE : 6 time/encode: 0.04 time/solve: 3.72 ##### CONFORMANCE CHECK TRACE 809 (1 instances, length 10) DISTANCE : 6 time/encode: 0.04 time/solve: 1.67 ##### CONFORMANCE CHECK TRACE 810 (1 instances, length 10) DISTANCE : 4 time/encode: 0.04 time/solve: 1.83 ##### CONFORMANCE CHECK TRACE 811 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 2.10 ##### CONFORMANCE CHECK TRACE 812 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 1.04 ##### CONFORMANCE CHECK TRACE 813 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 3.39 ##### CONFORMANCE CHECK TRACE 814 (1 instances, length 10) DISTANCE : 6 time/encode: 0.04 time/solve: 1.18 ##### CONFORMANCE CHECK TRACE 815 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 1.27 ##### CONFORMANCE CHECK TRACE 816 (1 instances, length 10) DISTANCE : 6 time/encode: 0.04 time/solve: 2.13 ##### CONFORMANCE CHECK TRACE 817 (1 instances, length 10) DISTANCE : 5 time/encode: 0.04 time/solve: 1.35 ##### CONFORMANCE CHECK TRACE 818 (2 instances, length 10) DISTANCE : 7 time/encode: 0.05 time/solve: 2.11 ##### CONFORMANCE CHECK TRACE 819 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 1.76 ##### CONFORMANCE CHECK TRACE 820 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 2.35 ##### CONFORMANCE CHECK TRACE 821 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.71 ##### CONFORMANCE CHECK TRACE 822 (1 instances, length 10) DISTANCE : 7 time/encode: 0.05 time/solve: 4.84 ##### CONFORMANCE CHECK TRACE 823 (1 instances, length 10) DISTANCE : 7 time/encode: 0.04 time/solve: 1.51 ##### CONFORMANCE CHECK TRACE 824 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.55 ##### CONFORMANCE CHECK TRACE 825 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 0.98 ##### CONFORMANCE CHECK TRACE 826 (2 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.56 ##### CONFORMANCE CHECK TRACE 827 (1 instances, length 10) DISTANCE : 7 time/encode: 0.04 time/solve: 1.50 ##### CONFORMANCE CHECK TRACE 828 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.35 ##### CONFORMANCE CHECK TRACE 829 (2 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 0.83 ##### CONFORMANCE CHECK TRACE 830 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 1.12 ##### CONFORMANCE CHECK TRACE 831 (1 instances, length 10) DISTANCE : 4 time/encode: 0.04 time/solve: 0.59 ##### CONFORMANCE CHECK TRACE 832 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 1.54 ##### CONFORMANCE CHECK TRACE 833 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.35 ##### CONFORMANCE CHECK TRACE 834 (1 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 0.94 ##### CONFORMANCE CHECK TRACE 835 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 1.07 ##### CONFORMANCE CHECK TRACE 836 (1 instances, length 10) DISTANCE : 4 time/encode: 0.04 time/solve: 0.57 ##### CONFORMANCE CHECK TRACE 837 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 2.20 ##### CONFORMANCE CHECK TRACE 838 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.78 ##### CONFORMANCE CHECK TRACE 839 (1 instances, length 10) DISTANCE : 6 time/encode: 0.04 time/solve: 0.95 ##### CONFORMANCE CHECK TRACE 840 (1 instances, length 10) DISTANCE : 7 time/encode: 0.04 time/solve: 1.40 ##### CONFORMANCE CHECK TRACE 841 (1 instances, length 10) DISTANCE : 7 time/encode: 0.05 time/solve: 4.69 ##### CONFORMANCE CHECK TRACE 842 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 1.58 ##### CONFORMANCE CHECK TRACE 843 (1 instances, length 10) DISTANCE : 7 time/encode: 0.05 time/solve: 2.42 ##### CONFORMANCE CHECK TRACE 844 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 2.12 ##### CONFORMANCE CHECK TRACE 845 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 2.52 ##### CONFORMANCE CHECK TRACE 846 (1 instances, length 10) DISTANCE : 5 time/encode: 0.04 time/solve: 1.04 ##### CONFORMANCE CHECK TRACE 847 (2 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.60 ##### CONFORMANCE CHECK TRACE 848 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 1.72 ##### CONFORMANCE CHECK TRACE 849 (1 instances, length 10) DISTANCE : 6 time/encode: 0.04 time/solve: 1.90 ##### CONFORMANCE CHECK TRACE 850 (2 instances, length 10) DISTANCE : 6 time/encode: 0.04 time/solve: 1.54 ##### CONFORMANCE CHECK TRACE 851 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 3.07 ##### CONFORMANCE CHECK TRACE 852 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.31 ##### CONFORMANCE CHECK TRACE 853 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 2.30 ##### CONFORMANCE CHECK TRACE 854 (2 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 2.57 ##### CONFORMANCE CHECK TRACE 855 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 1.86 ##### CONFORMANCE CHECK TRACE 856 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.59 ##### CONFORMANCE CHECK TRACE 857 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 4.10 ##### CONFORMANCE CHECK TRACE 858 (2 instances, length 10) DISTANCE : 7 time/encode: 0.07 time/solve: 4.36 ##### CONFORMANCE CHECK TRACE 859 (2 instances, length 10) DISTANCE : 6 time/encode: 0.04 time/solve: 2.10 ##### CONFORMANCE CHECK TRACE 860 (1 instances, length 10) DISTANCE : 6 time/encode: 0.04 time/solve: 2.99 ##### CONFORMANCE CHECK TRACE 861 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 2.28 ##### CONFORMANCE CHECK TRACE 862 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 1.34 ##### CONFORMANCE CHECK TRACE 863 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 2.28 ##### CONFORMANCE CHECK TRACE 864 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 2.31 ##### CONFORMANCE CHECK TRACE 865 (1 instances, length 10) DISTANCE : 4 time/encode: 0.10 time/solve: 1.37 ##### CONFORMANCE CHECK TRACE 866 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 2.63 ##### CONFORMANCE CHECK TRACE 867 (1 instances, length 10) DISTANCE : 7 time/encode: 0.05 time/solve: 4.25 ##### CONFORMANCE CHECK TRACE 868 (2 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 2.75 ##### CONFORMANCE CHECK TRACE 869 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.76 ##### CONFORMANCE CHECK TRACE 870 (1 instances, length 10) DISTANCE : 7 time/encode: 0.05 time/solve: 2.47 ##### CONFORMANCE CHECK TRACE 871 (1 instances, length 10) DISTANCE : 6 time/encode: 0.04 time/solve: 1.47 ##### CONFORMANCE CHECK TRACE 872 (1 instances, length 10) DISTANCE : 7 time/encode: 0.04 time/solve: 2.79 ##### CONFORMANCE CHECK TRACE 873 (1 instances, length 10) DISTANCE : 5 time/encode: 0.04 time/solve: 1.01 ##### CONFORMANCE CHECK TRACE 874 (1 instances, length 10) DISTANCE : 6 time/encode: 0.04 time/solve: 1.19 ##### CONFORMANCE CHECK TRACE 875 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.44 ##### CONFORMANCE CHECK TRACE 876 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.38 ##### CONFORMANCE CHECK TRACE 877 (1 instances, length 10) DISTANCE : 6 time/encode: 0.04 time/solve: 2.03 ##### CONFORMANCE CHECK TRACE 878 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 2.05 ##### CONFORMANCE CHECK TRACE 879 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 2.24 ##### CONFORMANCE CHECK TRACE 880 (1 instances, length 10) DISTANCE : 2 time/encode: 0.05 time/solve: 0.73 ##### CONFORMANCE CHECK TRACE 881 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 3.74 ##### CONFORMANCE CHECK TRACE 882 (1 instances, length 10) DISTANCE : 7 time/encode: 0.05 time/solve: 3.76 ##### CONFORMANCE CHECK TRACE 883 (1 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 0.87 ##### CONFORMANCE CHECK TRACE 884 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.87 ##### CONFORMANCE CHECK TRACE 885 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 1.36 ##### CONFORMANCE CHECK TRACE 886 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.35 ##### CONFORMANCE CHECK TRACE 887 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.46 ##### CONFORMANCE CHECK TRACE 888 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 1.06 ##### CONFORMANCE CHECK TRACE 889 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 3.40 ##### CONFORMANCE CHECK TRACE 890 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 3.23 ##### CONFORMANCE CHECK TRACE 891 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 1.37 ##### CONFORMANCE CHECK TRACE 892 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 2.80 ##### CONFORMANCE CHECK TRACE 893 (1 instances, length 10) DISTANCE : 4 time/encode: 0.04 time/solve: 0.48 ##### CONFORMANCE CHECK TRACE 894 (1 instances, length 10) DISTANCE : 8 time/encode: 0.03 time/solve: 0.48 ##### CONFORMANCE CHECK TRACE 895 (1 instances, length 10) DISTANCE : 6 time/encode: 0.04 time/solve: 0.38 ##### CONFORMANCE CHECK TRACE 896 (1 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 0.75 ##### CONFORMANCE CHECK TRACE 897 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 1.14 ##### CONFORMANCE CHECK TRACE 898 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.76 ##### CONFORMANCE CHECK TRACE 899 (1 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 0.93 ##### CONFORMANCE CHECK TRACE 900 (1 instances, length 10) DISTANCE : 8 time/encode: 0.04 time/solve: 0.75 ##### CONFORMANCE CHECK TRACE 901 (1 instances, length 10) DISTANCE : 7 time/encode: 0.04 time/solve: 2.90 ##### CONFORMANCE CHECK TRACE 902 (1 instances, length 10) DISTANCE : 7 time/encode: 0.05 time/solve: 3.10 ##### CONFORMANCE CHECK TRACE 903 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 2.14 ##### CONFORMANCE CHECK TRACE 904 (1 instances, length 10) DISTANCE : 2 time/encode: 0.05 time/solve: 0.56 ##### CONFORMANCE CHECK TRACE 905 (1 instances, length 10) DISTANCE : 2 time/encode: 0.05 time/solve: 0.51 ##### CONFORMANCE CHECK TRACE 906 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 1.27 ##### CONFORMANCE CHECK TRACE 907 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 1.09 ##### CONFORMANCE CHECK TRACE 908 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 2.34 ##### CONFORMANCE CHECK TRACE 909 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 2.87 ##### CONFORMANCE CHECK TRACE 910 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.81 ##### CONFORMANCE CHECK TRACE 911 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.31 ##### CONFORMANCE CHECK TRACE 912 (1 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 1.01 ##### CONFORMANCE CHECK TRACE 913 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 1.07 ##### CONFORMANCE CHECK TRACE 914 (1 instances, length 10) DISTANCE : 5 time/encode: 0.08 time/solve: 1.90 ##### CONFORMANCE CHECK TRACE 915 (2 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.36 ##### CONFORMANCE CHECK TRACE 916 (1 instances, length 10) DISTANCE : 7 time/encode: 0.05 time/solve: 4.06 ##### CONFORMANCE CHECK TRACE 917 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.61 ##### CONFORMANCE CHECK TRACE 918 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 0.96 ##### CONFORMANCE CHECK TRACE 919 (1 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 1.13 ##### CONFORMANCE CHECK TRACE 920 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.71 ##### CONFORMANCE CHECK TRACE 921 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 1.36 ##### CONFORMANCE CHECK TRACE 922 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 2.96 ##### CONFORMANCE CHECK TRACE 923 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.28 ##### CONFORMANCE CHECK TRACE 924 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 2.38 ##### CONFORMANCE CHECK TRACE 925 (1 instances, length 10) DISTANCE : 7 time/encode: 0.04 time/solve: 1.61 ##### CONFORMANCE CHECK TRACE 926 (2 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 0.94 ##### CONFORMANCE CHECK TRACE 927 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 2.10 ##### CONFORMANCE CHECK TRACE 928 (1 instances, length 10) DISTANCE : 2 time/encode: 0.05 time/solve: 0.52 ##### CONFORMANCE CHECK TRACE 929 (1 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 0.44 ##### CONFORMANCE CHECK TRACE 930 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 1.17 ##### CONFORMANCE CHECK TRACE 931 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.19 ##### CONFORMANCE CHECK TRACE 932 (1 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 0.90 ##### CONFORMANCE CHECK TRACE 933 (2 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 0.76 ##### CONFORMANCE CHECK TRACE 934 (2 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 0.32 ##### CONFORMANCE CHECK TRACE 935 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 0.84 ##### CONFORMANCE CHECK TRACE 936 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 2.14 ##### CONFORMANCE CHECK TRACE 937 (1 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 1.04 ##### CONFORMANCE CHECK TRACE 938 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.22 ##### CONFORMANCE CHECK TRACE 939 (1 instances, length 10) DISTANCE : 7 time/encode: 0.05 time/solve: 3.53 ##### CONFORMANCE CHECK TRACE 940 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.88 ##### CONFORMANCE CHECK TRACE 941 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.02 ##### CONFORMANCE CHECK TRACE 942 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.83 ##### CONFORMANCE CHECK TRACE 943 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.65 ##### CONFORMANCE CHECK TRACE 944 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.73 ##### CONFORMANCE CHECK TRACE 945 (1 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 0.98 ##### CONFORMANCE CHECK TRACE 946 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 2.40 ##### CONFORMANCE CHECK TRACE 947 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 2.21 ##### CONFORMANCE CHECK TRACE 948 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 0.89 ##### CONFORMANCE CHECK TRACE 949 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 3.24 ##### CONFORMANCE CHECK TRACE 950 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 2.22 ##### CONFORMANCE CHECK TRACE 951 (1 instances, length 10) DISTANCE : 7 time/encode: 0.05 time/solve: 1.99 ##### CONFORMANCE CHECK TRACE 952 (1 instances, length 10) DISTANCE : 5 time/encode: 0.06 time/solve: 2.77 ##### CONFORMANCE CHECK TRACE 953 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 1.87 ##### CONFORMANCE CHECK TRACE 954 (1 instances, length 10) DISTANCE : 8 time/encode: 0.05 time/solve: 0.51 ##### CONFORMANCE CHECK TRACE 955 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 1.35 ##### CONFORMANCE CHECK TRACE 956 (1 instances, length 10) DISTANCE : 4 time/encode: 0.05 time/solve: 1.33 ##### CONFORMANCE CHECK TRACE 957 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 1.84 ##### CONFORMANCE CHECK TRACE 958 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.99 ##### CONFORMANCE CHECK TRACE 959 (2 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.57 ##### CONFORMANCE CHECK TRACE 960 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 3.78 ##### CONFORMANCE CHECK TRACE 961 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 3.38 ##### CONFORMANCE CHECK TRACE 962 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 2.20 ##### CONFORMANCE CHECK TRACE 963 (1 instances, length 10) DISTANCE : 7 time/encode: 0.05 time/solve: 4.99 ##### CONFORMANCE CHECK TRACE 964 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 3.71 ##### CONFORMANCE CHECK TRACE 965 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 2.94 ##### CONFORMANCE CHECK TRACE 966 (1 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 1.21 ##### CONFORMANCE CHECK TRACE 967 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 2.72 ##### CONFORMANCE CHECK TRACE 968 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 2.74 ##### CONFORMANCE CHECK TRACE 969 (1 instances, length 10) DISTANCE : 6 time/encode: 0.05 time/solve: 1.76 ##### CONFORMANCE CHECK TRACE 970 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 3.15 ##### CONFORMANCE CHECK TRACE 971 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.49 ##### CONFORMANCE CHECK TRACE 972 (1 instances, length 10) DISTANCE : 7 time/encode: 0.04 time/solve: 1.58 ##### CONFORMANCE CHECK TRACE 973 (1 instances, length 10) DISTANCE : 4 time/encode: 0.04 time/solve: 1.24 ##### CONFORMANCE CHECK TRACE 974 (1 instances, length 10) DISTANCE : 9 time/encode: 0.02 time/solve: 0.24 ##### CONFORMANCE CHECK TRACE 975 (1 instances, length 10) DISTANCE : 8 time/encode: 0.03 time/solve: 0.35 ##### CONFORMANCE CHECK TRACE 976 (1 instances, length 10) DISTANCE : 5 time/encode: 0.04 time/solve: 0.73 ##### CONFORMANCE CHECK TRACE 977 (1 instances, length 10) DISTANCE : 7 time/encode: 0.05 time/solve: 2.89 ##### CONFORMANCE CHECK TRACE 978 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 1.36 ##### CONFORMANCE CHECK TRACE 979 (1 instances, length 10) DISTANCE : 5 time/encode: 0.05 time/solve: 2.26 ##### CONFORMANCE CHECK TRACE 980 (1 instances, length 11) DISTANCE : 5 time/encode: 0.05 time/solve: 1.60 ##### CONFORMANCE CHECK TRACE 981 (1 instances, length 11) DISTANCE : 2 time/encode: 0.05 time/solve: 0.53 ##### CONFORMANCE CHECK TRACE 982 (1 instances, length 11) DISTANCE : 4 time/encode: 0.06 time/solve: 1.19 ##### CONFORMANCE CHECK TRACE 983 (1 instances, length 11) DISTANCE : 5 time/encode: 0.05 time/solve: 1.91 ##### CONFORMANCE CHECK TRACE 984 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 1.84 ##### CONFORMANCE CHECK TRACE 985 (1 instances, length 11) DISTANCE : 5 time/encode: 0.06 time/solve: 2.30 ##### CONFORMANCE CHECK TRACE 986 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 3.06 ##### CONFORMANCE CHECK TRACE 987 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 6.06 ##### CONFORMANCE CHECK TRACE 988 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 5.71 ##### CONFORMANCE CHECK TRACE 989 (1 instances, length 11) DISTANCE : 4 time/encode: 0.05 time/solve: 1.81 ##### CONFORMANCE CHECK TRACE 990 (1 instances, length 11) DISTANCE : 4 time/encode: 0.05 time/solve: 1.38 ##### CONFORMANCE CHECK TRACE 991 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 3.14 ##### CONFORMANCE CHECK TRACE 992 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 3.10 ##### CONFORMANCE CHECK TRACE 993 (1 instances, length 11) DISTANCE : 8 time/encode: 0.05 time/solve: 2.17 ##### CONFORMANCE CHECK TRACE 994 (1 instances, length 11) DISTANCE : 8 time/encode: 0.04 time/solve: 1.62 ##### CONFORMANCE CHECK TRACE 995 (1 instances, length 11) DISTANCE : 4 time/encode: 0.05 time/solve: 1.13 ##### CONFORMANCE CHECK TRACE 996 (1 instances, length 11) DISTANCE : 4 time/encode: 0.05 time/solve: 2.34 ##### CONFORMANCE CHECK TRACE 997 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 3.17 ##### CONFORMANCE CHECK TRACE 998 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 3.81 ##### CONFORMANCE CHECK TRACE 999 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 1.73 ##### CONFORMANCE CHECK TRACE 1000 (2 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 3.77 ##### CONFORMANCE CHECK TRACE 1001 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 4.60 ##### CONFORMANCE CHECK TRACE 1002 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 3.28 ##### CONFORMANCE CHECK TRACE 1003 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 5.34 ##### CONFORMANCE CHECK TRACE 1004 (1 instances, length 11) DISTANCE : 5 time/encode: 0.05 time/solve: 4.02 ##### CONFORMANCE CHECK TRACE 1005 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 5.12 ##### CONFORMANCE CHECK TRACE 1006 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 2.42 ##### CONFORMANCE CHECK TRACE 1007 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 3.96 ##### CONFORMANCE CHECK TRACE 1008 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 5.58 ##### CONFORMANCE CHECK TRACE 1009 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 3.08 ##### CONFORMANCE CHECK TRACE 1010 (1 instances, length 11) DISTANCE : 4 time/encode: 0.05 time/solve: 1.48 ##### CONFORMANCE CHECK TRACE 1011 (1 instances, length 11) DISTANCE : 5 time/encode: 0.05 time/solve: 2.93 ##### CONFORMANCE CHECK TRACE 1012 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 6.66 ##### CONFORMANCE CHECK TRACE 1013 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 3.99 ##### CONFORMANCE CHECK TRACE 1014 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 3.14 ##### CONFORMANCE CHECK TRACE 1015 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 3.18 ##### CONFORMANCE CHECK TRACE 1016 (1 instances, length 11) DISTANCE : 8 time/encode: 0.05 time/solve: 4.56 ##### CONFORMANCE CHECK TRACE 1017 (1 instances, length 11) DISTANCE : 8 time/encode: 0.05 time/solve: 4.47 ##### CONFORMANCE CHECK TRACE 1018 (1 instances, length 11) DISTANCE : 8 time/encode: 0.05 time/solve: 9.58 ##### CONFORMANCE CHECK TRACE 1019 (1 instances, length 11) DISTANCE : 5 time/encode: 0.05 time/solve: 2.91 ##### CONFORMANCE CHECK TRACE 1020 (2 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 2.97 ##### CONFORMANCE CHECK TRACE 1021 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 3.68 ##### CONFORMANCE CHECK TRACE 1022 (2 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 2.45 ##### CONFORMANCE CHECK TRACE 1023 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 3.46 ##### CONFORMANCE CHECK TRACE 1024 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 2.94 ##### CONFORMANCE CHECK TRACE 1025 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 4.95 ##### CONFORMANCE CHECK TRACE 1026 (1 instances, length 11) DISTANCE : 5 time/encode: 0.05 time/solve: 2.25 ##### CONFORMANCE CHECK TRACE 1027 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 1.78 ##### CONFORMANCE CHECK TRACE 1028 (1 instances, length 11) DISTANCE : 4 time/encode: 0.05 time/solve: 1.98 ##### CONFORMANCE CHECK TRACE 1029 (1 instances, length 11) DISTANCE : 3 time/encode: 0.05 time/solve: 1.19 ##### CONFORMANCE CHECK TRACE 1030 (1 instances, length 11) DISTANCE : 4 time/encode: 0.05 time/solve: 1.69 ##### CONFORMANCE CHECK TRACE 1031 (1 instances, length 11) DISTANCE : 5 time/encode: 0.05 time/solve: 2.26 ##### CONFORMANCE CHECK TRACE 1032 (1 instances, length 11) DISTANCE : 4 time/encode: 0.05 time/solve: 0.96 ##### CONFORMANCE CHECK TRACE 1033 (1 instances, length 11) DISTANCE : 3 time/encode: 0.05 time/solve: 1.08 ##### CONFORMANCE CHECK TRACE 1034 (1 instances, length 11) DISTANCE : 4 time/encode: 0.05 time/solve: 1.23 ##### CONFORMANCE CHECK TRACE 1035 (1 instances, length 11) DISTANCE : 5 time/encode: 0.05 time/solve: 1.88 ##### CONFORMANCE CHECK TRACE 1036 (1 instances, length 11) DISTANCE : 4 time/encode: 0.05 time/solve: 0.91 ##### CONFORMANCE CHECK TRACE 1037 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 3.37 ##### CONFORMANCE CHECK TRACE 1038 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 1.09 ##### CONFORMANCE CHECK TRACE 1039 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 2.39 ##### CONFORMANCE CHECK TRACE 1040 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 3.92 ##### CONFORMANCE CHECK TRACE 1041 (1 instances, length 11) DISTANCE : 8 time/encode: 0.05 time/solve: 2.14 ##### CONFORMANCE CHECK TRACE 1042 (1 instances, length 11) DISTANCE : 5 time/encode: 0.05 time/solve: 1.87 ##### CONFORMANCE CHECK TRACE 1043 (1 instances, length 11) DISTANCE : 8 time/encode: 0.05 time/solve: 2.52 ##### CONFORMANCE CHECK TRACE 1044 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 3.65 ##### CONFORMANCE CHECK TRACE 1045 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 1.80 ##### CONFORMANCE CHECK TRACE 1046 (1 instances, length 11) DISTANCE : 5 time/encode: 0.05 time/solve: 1.99 ##### CONFORMANCE CHECK TRACE 1047 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 2.98 ##### CONFORMANCE CHECK TRACE 1048 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 2.80 ##### CONFORMANCE CHECK TRACE 1049 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 5.84 ##### CONFORMANCE CHECK TRACE 1050 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 3.35 ##### CONFORMANCE CHECK TRACE 1051 (1 instances, length 11) DISTANCE : 4 time/encode: 0.05 time/solve: 2.37 ##### CONFORMANCE CHECK TRACE 1052 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 3.46 ##### CONFORMANCE CHECK TRACE 1053 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 3.86 ##### CONFORMANCE CHECK TRACE 1054 (1 instances, length 11) DISTANCE : 5 time/encode: 0.05 time/solve: 3.23 ##### CONFORMANCE CHECK TRACE 1055 (2 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 5.15 ##### CONFORMANCE CHECK TRACE 1056 (1 instances, length 11) DISTANCE : 7 time/encode: 0.06 time/solve: 5.55 ##### CONFORMANCE CHECK TRACE 1057 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 4.52 ##### CONFORMANCE CHECK TRACE 1058 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 4.24 ##### CONFORMANCE CHECK TRACE 1059 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 5.68 ##### CONFORMANCE CHECK TRACE 1060 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 5.20 ##### CONFORMANCE CHECK TRACE 1061 (2 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 4.30 ##### CONFORMANCE CHECK TRACE 1062 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 7.32 ##### CONFORMANCE CHECK TRACE 1063 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 4.70 ##### CONFORMANCE CHECK TRACE 1064 (1 instances, length 11) DISTANCE : 4 time/encode: 0.05 time/solve: 1.41 ##### CONFORMANCE CHECK TRACE 1065 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 6.19 ##### CONFORMANCE CHECK TRACE 1066 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 5.70 ##### CONFORMANCE CHECK TRACE 1067 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 3.95 ##### CONFORMANCE CHECK TRACE 1068 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 3.70 ##### CONFORMANCE CHECK TRACE 1069 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 5.96 ##### CONFORMANCE CHECK TRACE 1070 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 1.86 ##### CONFORMANCE CHECK TRACE 1071 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 4.18 ##### CONFORMANCE CHECK TRACE 1072 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 3.37 ##### CONFORMANCE CHECK TRACE 1073 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 1.96 ##### CONFORMANCE CHECK TRACE 1074 (1 instances, length 11) DISTANCE : 7 time/encode: 0.05 time/solve: 7.35 ##### CONFORMANCE CHECK TRACE 1075 (1 instances, length 11) DISTANCE : 5 time/encode: 0.06 time/solve: 3.10 ##### CONFORMANCE CHECK TRACE 1076 (1 instances, length 11) DISTANCE : 5 time/encode: 0.06 time/solve: 2.92 ##### CONFORMANCE CHECK TRACE 1077 (1 instances, length 11) DISTANCE : 4 time/encode: 0.06 time/solve: 1.06 ##### CONFORMANCE CHECK TRACE 1078 (1 instances, length 11) DISTANCE : 6 time/encode: 0.06 time/solve: 2.94 ##### CONFORMANCE CHECK TRACE 1079 (1 instances, length 11) DISTANCE : 7 time/encode: 0.06 time/solve: 5.92 ##### CONFORMANCE CHECK TRACE 1080 (1 instances, length 11) DISTANCE : 6 time/encode: 0.06 time/solve: 3.41 ##### CONFORMANCE CHECK TRACE 1081 (1 instances, length 11) DISTANCE : 6 time/encode: 0.04 time/solve: 0.75 ##### CONFORMANCE CHECK TRACE 1082 (1 instances, length 11) DISTANCE : 4 time/encode: 0.06 time/solve: 1.82 ##### CONFORMANCE CHECK TRACE 1083 (1 instances, length 11) DISTANCE : 5 time/encode: 0.06 time/solve: 4.03 ##### CONFORMANCE CHECK TRACE 1084 (1 instances, length 11) DISTANCE : 9 time/encode: 0.04 time/solve: 0.77 ##### CONFORMANCE CHECK TRACE 1085 (1 instances, length 11) DISTANCE : 6 time/encode: 0.05 time/solve: 3.04 ##### CONFORMANCE CHECK TRACE 1086 (1 instances, length 11) DISTANCE : 3 time/encode: 0.06 time/solve: 1.44 ##### CONFORMANCE CHECK TRACE 1087 (1 instances, length 11) DISTANCE : 2 time/encode: 0.06 time/solve: 0.84 ##### CONFORMANCE CHECK TRACE 1088 (1 instances, length 11) DISTANCE : 4 time/encode: 0.06 time/solve: 1.73 ##### CONFORMANCE CHECK TRACE 1089 (1 instances, length 11) DISTANCE : 4 time/encode: 0.06 time/solve: 1.35 ##### CONFORMANCE CHECK TRACE 1090 (1 instances, length 11) DISTANCE : 4 time/encode: 0.06 time/solve: 2.16 ##### CONFORMANCE CHECK TRACE 1091 (1 instances, length 11) DISTANCE : 6 time/encode: 0.06 time/solve: 3.69 ##### CONFORMANCE CHECK TRACE 1092 (1 instances, length 11) DISTANCE : 6 time/encode: 0.06 time/solve: 4.15 ##### CONFORMANCE CHECK TRACE 1093 (1 instances, length 11) DISTANCE : 8 time/encode: 0.06 time/solve: 9.76 ##### CONFORMANCE CHECK TRACE 1094 (1 instances, length 11) DISTANCE : 5 time/encode: 0.06 time/solve: 3.28 ##### CONFORMANCE CHECK TRACE 1095 (1 instances, length 11) DISTANCE : 6 time/encode: 0.06 time/solve: 3.83 ##### CONFORMANCE CHECK TRACE 1096 (1 instances, length 11) DISTANCE : 5 time/encode: 0.06 time/solve: 2.38 ##### CONFORMANCE CHECK TRACE 1097 (1 instances, length 11) DISTANCE : 5 time/encode: 0.06 time/solve: 2.67 ##### CONFORMANCE CHECK TRACE 1098 (1 instances, length 11) DISTANCE : 5 time/encode: 0.06 time/solve: 2.43 ##### CONFORMANCE CHECK TRACE 1099 (1 instances, length 11) DISTANCE : 6 time/encode: 0.06 time/solve: 2.58 ##### CONFORMANCE CHECK TRACE 1100 (1 instances, length 11) DISTANCE : 4 time/encode: 0.06 time/solve: 1.63 ##### CONFORMANCE CHECK TRACE 1101 (1 instances, length 11) DISTANCE : 6 time/encode: 0.06 time/solve: 3.35 ##### CONFORMANCE CHECK TRACE 1102 (1 instances, length 11) DISTANCE : 3 time/encode: 0.06 time/solve: 0.77 ##### CONFORMANCE CHECK TRACE 1103 (1 instances, length 11) DISTANCE : 2 time/encode: 0.06 time/solve: 0.78 ##### CONFORMANCE CHECK TRACE 1104 (1 instances, length 11) DISTANCE : 2 time/encode: 0.06 time/solve: 0.89 ##### CONFORMANCE CHECK TRACE 1105 (1 instances, length 11) DISTANCE : 2 time/encode: 0.06 time/solve: 0.64 ##### CONFORMANCE CHECK TRACE 1106 (1 instances, length 11) DISTANCE : 3 time/encode: 0.06 time/solve: 0.77 ##### CONFORMANCE CHECK TRACE 1107 (1 instances, length 11) DISTANCE : 2 time/encode: 0.06 time/solve: 1.03 ##### CONFORMANCE CHECK TRACE 1108 (1 instances, length 11) DISTANCE : 5 time/encode: 0.06 time/solve: 1.55 ##### CONFORMANCE CHECK TRACE 1109 (1 instances, length 11) DISTANCE : 5 time/encode: 0.05 time/solve: 1.32 ##### CONFORMANCE CHECK TRACE 1110 (1 instances, length 11) DISTANCE : 5 time/encode: 0.06 time/solve: 2.11 ##### CONFORMANCE CHECK TRACE 1111 (2 instances, length 11) DISTANCE : 4 time/encode: 0.06 time/solve: 2.06 ##### CONFORMANCE CHECK TRACE 1112 (1 instances, length 11) DISTANCE : 4 time/encode: 0.06 time/solve: 1.42 ##### CONFORMANCE CHECK TRACE 1113 (1 instances, length 11) DISTANCE : 4 time/encode: 0.06 time/solve: 1.31 ##### CONFORMANCE CHECK TRACE 1114 (1 instances, length 11) DISTANCE : 3 time/encode: 0.06 time/solve: 1.17 ##### CONFORMANCE CHECK TRACE 1115 (1 instances, length 11) DISTANCE : 4 time/encode: 0.06 time/solve: 2.17 ##### CONFORMANCE CHECK TRACE 1116 (1 instances, length 11) DISTANCE : 7 time/encode: 0.06 time/solve: 3.81 ##### CONFORMANCE CHECK TRACE 1117 (1 instances, length 11) DISTANCE : 5 time/encode: 0.05 time/solve: 2.49 ##### CONFORMANCE CHECK TRACE 1118 (1 instances, length 11) DISTANCE : 5 time/encode: 0.05 time/solve: 2.11 ##### CONFORMANCE CHECK TRACE 1119 (1 instances, length 11) DISTANCE : 4 time/encode: 0.06 time/solve: 1.98 ##### CONFORMANCE CHECK TRACE 1120 (1 instances, length 11) DISTANCE : 5 time/encode: 0.06 time/solve: 2.83 ##### CONFORMANCE CHECK TRACE 1121 (1 instances, length 11) DISTANCE : 6 time/encode: 0.06 time/solve: 3.23 ##### CONFORMANCE CHECK TRACE 1122 (1 instances, length 11) DISTANCE : 5 time/encode: 0.06 time/solve: 2.72 ##### CONFORMANCE CHECK TRACE 1123 (1 instances, length 11) DISTANCE : 6 time/encode: 0.06 time/solve: 3.37 ##### CONFORMANCE CHECK TRACE 1124 (1 instances, length 11) DISTANCE : 6 time/encode: 0.06 time/solve: 3.43 ##### CONFORMANCE CHECK TRACE 1125 (1 instances, length 11) DISTANCE : 5 time/encode: 0.06 time/solve: 2.43 ##### CONFORMANCE CHECK TRACE 1126 (1 instances, length 11) DISTANCE : 7 time/encode: 0.06 time/solve: 5.16 ##### CONFORMANCE CHECK TRACE 1127 (1 instances, length 11) DISTANCE : 5 time/encode: 0.06 time/solve: 4.74 ##### CONFORMANCE CHECK TRACE 1128 (1 instances, length 11) DISTANCE : 6 time/encode: 0.06 time/solve: 3.63 ##### CONFORMANCE CHECK TRACE 1129 (1 instances, length 11) DISTANCE : 4 time/encode: 0.05 time/solve: 1.84 ##### CONFORMANCE CHECK TRACE 1130 (2 instances, length 11) DISTANCE : 4 time/encode: 0.06 time/solve: 1.76 ##### CONFORMANCE CHECK TRACE 1131 (1 instances, length 11) DISTANCE : 6 time/encode: 0.06 time/solve: 4.43 ##### CONFORMANCE CHECK TRACE 1132 (1 instances, length 11) DISTANCE : 6 time/encode: 0.06 time/solve: 4.31 ##### CONFORMANCE CHECK TRACE 1133 (2 instances, length 11) DISTANCE : 6 time/encode: 0.06 time/solve: 4.22 ##### CONFORMANCE CHECK TRACE 1134 (1 instances, length 11) DISTANCE : 6 time/encode: 0.06 time/solve: 3.29 ##### CONFORMANCE CHECK TRACE 1135 (1 instances, length 11) DISTANCE : 6 time/encode: 0.06 time/solve: 3.69 ##### CONFORMANCE CHECK TRACE 1136 (1 instances, length 11) DISTANCE : 4 time/encode: 0.05 time/solve: 0.62 ##### CONFORMANCE CHECK TRACE 1137 (1 instances, length 11) DISTANCE : 3 time/encode: 0.06 time/solve: 1.51 ##### CONFORMANCE CHECK TRACE 1138 (1 instances, length 11) DISTANCE : 5 time/encode: 0.06 time/solve: 2.40 ##### CONFORMANCE CHECK TRACE 1139 (1 instances, length 11) DISTANCE : 10 time/encode: 0.02 time/solve: 0.29 ##### CONFORMANCE CHECK TRACE 1140 (1 instances, length 11) DISTANCE : 5 time/encode: 0.06 time/solve: 2.57 ##### CONFORMANCE CHECK TRACE 1141 (1 instances, length 12) DISTANCE : 6 time/encode: 0.06 time/solve: 8.63 ##### CONFORMANCE CHECK TRACE 1142 (1 instances, length 12) DISTANCE : 6 time/encode: 0.06 time/solve: 6.90 ##### CONFORMANCE CHECK TRACE 1143 (1 instances, length 12) DISTANCE : 6 time/encode: 0.06 time/solve: 4.14 ##### CONFORMANCE CHECK TRACE 1144 (1 instances, length 12) DISTANCE : 4 time/encode: 0.06 time/solve: 4.07 ##### CONFORMANCE CHECK TRACE 1145 (1 instances, length 12) DISTANCE : 6 time/encode: 0.06 time/solve: 7.13 ##### CONFORMANCE CHECK TRACE 1146 (1 instances, length 12) DISTANCE : 6 time/encode: 0.06 time/solve: 3.49 ##### CONFORMANCE CHECK TRACE 1147 (1 instances, length 12) DISTANCE : 6 time/encode: 0.06 time/solve: 6.92 ##### CONFORMANCE CHECK TRACE 1148 (1 instances, length 12) DISTANCE : 6 time/encode: 0.06 time/solve: 7.62 ##### CONFORMANCE CHECK TRACE 1149 (1 instances, length 12) DISTANCE : 6 time/encode: 0.06 time/solve: 8.02 ##### CONFORMANCE CHECK TRACE 1150 (1 instances, length 12) DISTANCE : 6 time/encode: 0.06 time/solve: 7.92 ##### CONFORMANCE CHECK TRACE 1151 (1 instances, length 12) DISTANCE : 7 time/encode: 0.06 time/solve: 6.09 ##### CONFORMANCE CHECK TRACE 1152 (1 instances, length 12) DISTANCE : 7 time/encode: 0.06 time/solve: 5.62 ##### CONFORMANCE CHECK TRACE 1153 (1 instances, length 12) DISTANCE : 7 time/encode: 0.06 time/solve: 7.24 ##### CONFORMANCE CHECK TRACE 1154 (1 instances, length 12) DISTANCE : 7 time/encode: 0.06 time/solve: 9.14 ##### CONFORMANCE CHECK TRACE 1155 (1 instances, length 12) DISTANCE : 6 time/encode: 0.06 time/solve: 7.51 ##### CONFORMANCE CHECK TRACE 1156 (1 instances, length 12) DISTANCE : 6 time/encode: 0.06 time/solve: 4.36 ##### CONFORMANCE CHECK TRACE 1157 (1 instances, length 12) DISTANCE : 6 time/encode: 0.06 time/solve: 7.70 ##### CONFORMANCE CHECK TRACE 1158 (1 instances, length 12) DISTANCE : 6 time/encode: 0.06 time/solve: 7.53 ##### CONFORMANCE CHECK TRACE 1159 (1 instances, length 12) DISTANCE : 6 time/encode: 0.06 time/solve: 6.13 ##### CONFORMANCE CHECK TRACE 1160 (1 instances, length 12) DISTANCE : 4 time/encode: 0.10 time/solve: 4.22 ##### CONFORMANCE CHECK TRACE 1161 (1 instances, length 12) DISTANCE : 4 time/encode: 0.06 time/solve: 2.30 ##### CONFORMANCE CHECK TRACE 1162 (1 instances, length 12) DISTANCE : 3 time/encode: 0.06 time/solve: 2.16 ##### CONFORMANCE CHECK TRACE 1163 (1 instances, length 12) DISTANCE : 4 time/encode: 0.06 time/solve: 2.58 ##### CONFORMANCE CHECK TRACE 1164 (1 instances, length 12) DISTANCE : 5 time/encode: 0.06 time/solve: 3.30 ##### CONFORMANCE CHECK TRACE 1165 (1 instances, length 12) DISTANCE : 6 time/encode: 0.06 time/solve: 2.99 ##### CONFORMANCE CHECK TRACE 1166 (1 instances, length 12) DISTANCE : 4 time/encode: 0.10 time/solve: 3.00 ##### CONFORMANCE CHECK TRACE 1167 (1 instances, length 12) DISTANCE : 7 time/encode: 0.06 time/solve: 11.09 ##### CONFORMANCE CHECK TRACE 1168 (1 instances, length 12) DISTANCE : 9 time/encode: 0.06 time/solve: 4.47 ##### CONFORMANCE CHECK TRACE 1169 (1 instances, length 12) DISTANCE : 6 time/encode: 0.06 time/solve: 11.26 ##### CONFORMANCE CHECK TRACE 1170 (1 instances, length 12) DISTANCE : 5 time/encode: 0.06 time/solve: 3.69 ##### CONFORMANCE CHECK TRACE 1171 (1 instances, length 12) DISTANCE : 6 time/encode: 0.06 time/solve: 5.01 ##### CONFORMANCE CHECK TRACE 1172 (1 instances, length 12) DISTANCE : 6 time/encode: 0.06 time/solve: 2.01 ##### CONFORMANCE CHECK TRACE 1173 (1 instances, length 12) DISTANCE : 4 time/encode: 0.06 time/solve: 3.79 ##### CONFORMANCE CHECK TRACE 1174 (1 instances, length 12) DISTANCE : 6 time/encode: 0.06 time/solve: 6.95 ##### CONFORMANCE CHECK TRACE 1175 (1 instances, length 12) DISTANCE : 6 time/encode: 0.06 time/solve: 8.95 ##### CONFORMANCE CHECK TRACE 1176 (1 instances, length 12) DISTANCE : 5 time/encode: 0.06 time/solve: 4.52 ##### CONFORMANCE CHECK TRACE 1177 (1 instances, length 12) DISTANCE : 7 time/encode: 0.06 time/solve: 9.95 ##### CONFORMANCE CHECK TRACE 1178 (1 instances, length 12) DISTANCE : 5 time/encode: 0.06 time/solve: 7.16 ##### CONFORMANCE CHECK TRACE 1179 (1 instances, length 12) DISTANCE : 7 time/encode: 0.06 time/solve: 4.84 ##### CONFORMANCE CHECK TRACE 1180 (1 instances, length 12) DISTANCE : 7 time/encode: 0.06 time/solve: 14.38 ##### CONFORMANCE CHECK TRACE 1181 (1 instances, length 12) DISTANCE : 7 time/encode: 0.06 time/solve: 13.39 ##### CONFORMANCE CHECK TRACE 1182 (1 instances, length 12) DISTANCE : 6 time/encode: 0.06 time/solve: 9.18 ##### CONFORMANCE CHECK TRACE 1183 (1 instances, length 12) DISTANCE : 7 time/encode: 0.06 time/solve: 13.10 ##### CONFORMANCE CHECK TRACE 1184 (1 instances, length 12) DISTANCE : 5 time/encode: 0.06 time/solve: 8.54 ##### CONFORMANCE CHECK TRACE 1185 (1 instances, length 12) DISTANCE : 7 time/encode: 0.06 time/solve: 16.16 ##### CONFORMANCE CHECK TRACE 1186 (1 instances, length 12) DISTANCE : 7 time/encode: 0.06 time/solve: 15.49 ##### CONFORMANCE CHECK TRACE 1187 (1 instances, length 12) DISTANCE : 4 time/encode: 0.06 time/solve: 1.20 ##### CONFORMANCE CHECK TRACE 1188 (1 instances, length 12) DISTANCE : 5 time/encode: 0.06 time/solve: 3.99 ##### CONFORMANCE CHECK TRACE 1189 (1 instances, length 12) DISTANCE : 2 time/encode: 0.07 time/solve: 1.03 ##### CONFORMANCE CHECK TRACE 1190 (1 instances, length 12) DISTANCE : 4 time/encode: 0.07 time/solve: 2.71 ##### CONFORMANCE CHECK TRACE 1191 (1 instances, length 12) DISTANCE : 3 time/encode: 0.07 time/solve: 1.35 ##### CONFORMANCE CHECK TRACE 1192 (1 instances, length 12) DISTANCE : 5 time/encode: 0.07 time/solve: 4.93 ##### CONFORMANCE CHECK TRACE 1193 (1 instances, length 12) DISTANCE : 6 time/encode: 0.07 time/solve: 7.41 ##### CONFORMANCE CHECK TRACE 1194 (1 instances, length 12) DISTANCE : 6 time/encode: 0.06 time/solve: 2.65 ##### CONFORMANCE CHECK TRACE 1195 (1 instances, length 12) DISTANCE : 6 time/encode: 0.07 time/solve: 5.92 ##### CONFORMANCE CHECK TRACE 1196 (1 instances, length 12) DISTANCE : 4 time/encode: 0.07 time/solve: 1.98 ##### CONFORMANCE CHECK TRACE 1197 (1 instances, length 12) DISTANCE : 2 time/encode: 0.07 time/solve: 1.25 ##### CONFORMANCE CHECK TRACE 1198 (1 instances, length 12) DISTANCE : 5 time/encode: 0.06 time/solve: 2.51 ##### CONFORMANCE CHECK TRACE 1199 (1 instances, length 12) DISTANCE : 4 time/encode: 0.07 time/solve: 3.73 ##### CONFORMANCE CHECK TRACE 1200 (1 instances, length 12) DISTANCE : 5 time/encode: 0.07 time/solve: 7.68 ##### CONFORMANCE CHECK TRACE 1201 (1 instances, length 12) DISTANCE : 4 time/encode: 0.07 time/solve: 2.90 ##### CONFORMANCE CHECK TRACE 1202 (1 instances, length 12) DISTANCE : 3 time/encode: 0.07 time/solve: 1.33 ##### CONFORMANCE CHECK TRACE 1203 (1 instances, length 12) DISTANCE : 5 time/encode: 0.07 time/solve: 5.90 ##### CONFORMANCE CHECK TRACE 1204 (1 instances, length 12) DISTANCE : 5 time/encode: 0.06 time/solve: 6.56 ##### CONFORMANCE CHECK TRACE 1205 (1 instances, length 12) DISTANCE : 6 time/encode: 0.06 time/solve: 6.13 ##### CONFORMANCE CHECK TRACE 1206 (1 instances, length 12) DISTANCE : 6 time/encode: 0.07 time/solve: 6.78 ##### CONFORMANCE CHECK TRACE 1207 (1 instances, length 12) DISTANCE : 5 time/encode: 0.07 time/solve: 3.49 ##### CONFORMANCE CHECK TRACE 1208 (1 instances, length 12) DISTANCE : 4 time/encode: 0.07 time/solve: 3.33 ##### CONFORMANCE CHECK TRACE 1209 (1 instances, length 12) DISTANCE : 6 time/encode: 0.06 time/solve: 3.51 ##### CONFORMANCE CHECK TRACE 1210 (1 instances, length 12) DISTANCE : 6 time/encode: 0.07 time/solve: 7.91 ##### CONFORMANCE CHECK TRACE 1211 (1 instances, length 12) DISTANCE : 6 time/encode: 0.07 time/solve: 7.84 ##### CONFORMANCE CHECK TRACE 1212 (1 instances, length 12) DISTANCE : 7 time/encode: 0.07 time/solve: 12.09 ##### CONFORMANCE CHECK TRACE 1213 (1 instances, length 12) DISTANCE : 7 time/encode: 0.07 time/solve: 10.32 encoding time: total 44.43 avg 0.04 median 0.04 solving time: total 1585.94 avg 1.31 median 0.53 distance 1: 20 (22 overall) distance 2: 97 (118 overall) distance 3: 233 (277 overall) distance 4: 299 (324 overall) distance 5: 275 (295 overall) distance 6: 183 (198 overall) distance 7: 88 (93 overall) distance 8: 14 (14 overall) distance 9: 4 (4 overall) distance 10: 1 (1 overall) timeouts: 0