/home/swinkler/confchecksmt/src/libyices.so.2.6.2 number of traces: 295 equivalence classes naive: 252, intervals: 252 (clustering time 0.00) here ##### CONFORMANCE CHECK TRACE 0 (2 instances, length 3) DISTANCE : 1 time/encode: 0.02 time/solve: 0.13 ##### CONFORMANCE CHECK TRACE 1 (2 instances, length 3) DISTANCE : 1 time/encode: 0.02 time/solve: 0.09 ##### CONFORMANCE CHECK TRACE 2 (1 instances, length 3) DISTANCE : 1 time/encode: 0.02 time/solve: 0.06 ##### CONFORMANCE CHECK TRACE 3 (1 instances, length 3) DISTANCE : 1 time/encode: 0.02 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 4 (1 instances, length 3) DISTANCE : 1 time/encode: 0.02 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 5 (2 instances, length 3) DISTANCE : 1 time/encode: 0.02 time/solve: 0.06 ##### CONFORMANCE CHECK TRACE 6 (1 instances, length 3) DISTANCE : 1 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 7 (1 instances, length 3) DISTANCE : 1 time/encode: 0.02 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 8 (1 instances, length 3) DISTANCE : 1 time/encode: 0.02 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 9 (1 instances, length 3) DISTANCE : 1 time/encode: 0.02 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 10 (1 instances, length 3) DISTANCE : 1 time/encode: 0.02 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 11 (1 instances, length 3) DISTANCE : 1 time/encode: 0.02 time/solve: 0.06 ##### CONFORMANCE CHECK TRACE 12 (2 instances, length 3) DISTANCE : 1 time/encode: 0.02 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 13 (1 instances, length 3) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 14 (2 instances, length 3) DISTANCE : 1 time/encode: 0.02 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 15 (2 instances, length 4) DISTANCE : 1 time/encode: 0.03 time/solve: 0.20 ##### CONFORMANCE CHECK TRACE 16 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.54 ##### CONFORMANCE CHECK TRACE 17 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.25 ##### CONFORMANCE CHECK TRACE 18 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.38 ##### CONFORMANCE CHECK TRACE 19 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.39 ##### CONFORMANCE CHECK TRACE 20 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.21 ##### CONFORMANCE CHECK TRACE 21 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.61 ##### CONFORMANCE CHECK TRACE 22 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.47 ##### CONFORMANCE CHECK TRACE 23 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.33 ##### CONFORMANCE CHECK TRACE 24 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 1.07 ##### CONFORMANCE CHECK TRACE 25 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.40 ##### CONFORMANCE CHECK TRACE 26 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.40 ##### CONFORMANCE CHECK TRACE 27 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.44 ##### CONFORMANCE CHECK TRACE 28 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.47 ##### CONFORMANCE CHECK TRACE 29 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.56 ##### CONFORMANCE CHECK TRACE 30 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.32 ##### CONFORMANCE CHECK TRACE 31 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.32 ##### CONFORMANCE CHECK TRACE 32 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.48 ##### CONFORMANCE CHECK TRACE 33 (2 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.57 ##### CONFORMANCE CHECK TRACE 34 (2 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.32 ##### CONFORMANCE CHECK TRACE 35 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.44 ##### CONFORMANCE CHECK TRACE 36 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.46 ##### CONFORMANCE CHECK TRACE 37 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.34 ##### CONFORMANCE CHECK TRACE 38 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.45 ##### CONFORMANCE CHECK TRACE 39 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.53 ##### CONFORMANCE CHECK TRACE 40 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.47 ##### CONFORMANCE CHECK TRACE 41 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.42 ##### CONFORMANCE CHECK TRACE 42 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.42 ##### CONFORMANCE CHECK TRACE 43 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.40 ##### CONFORMANCE CHECK TRACE 44 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.44 ##### CONFORMANCE CHECK TRACE 45 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.44 ##### CONFORMANCE CHECK TRACE 46 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.26 ##### CONFORMANCE CHECK TRACE 47 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.52 ##### CONFORMANCE CHECK TRACE 48 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.52 ##### CONFORMANCE CHECK TRACE 49 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.47 ##### CONFORMANCE CHECK TRACE 50 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.51 ##### CONFORMANCE CHECK TRACE 51 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.39 ##### CONFORMANCE CHECK TRACE 52 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.34 ##### CONFORMANCE CHECK TRACE 53 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.39 ##### CONFORMANCE CHECK TRACE 54 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.52 ##### CONFORMANCE CHECK TRACE 55 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.55 ##### CONFORMANCE CHECK TRACE 56 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.51 ##### CONFORMANCE CHECK TRACE 57 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.47 ##### CONFORMANCE CHECK TRACE 58 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.57 ##### CONFORMANCE CHECK TRACE 59 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.31 ##### CONFORMANCE CHECK TRACE 60 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.44 ##### CONFORMANCE CHECK TRACE 61 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.40 ##### CONFORMANCE CHECK TRACE 62 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.17 ##### CONFORMANCE CHECK TRACE 63 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.21 ##### CONFORMANCE CHECK TRACE 64 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.49 ##### CONFORMANCE CHECK TRACE 65 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.48 ##### CONFORMANCE CHECK TRACE 66 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.47 ##### CONFORMANCE CHECK TRACE 67 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.27 ##### CONFORMANCE CHECK TRACE 68 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.13 ##### CONFORMANCE CHECK TRACE 69 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.17 ##### CONFORMANCE CHECK TRACE 70 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.27 ##### CONFORMANCE CHECK TRACE 71 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.28 ##### CONFORMANCE CHECK TRACE 72 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.25 ##### CONFORMANCE CHECK TRACE 73 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 74 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.42 ##### CONFORMANCE CHECK TRACE 75 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.53 ##### CONFORMANCE CHECK TRACE 76 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.42 ##### CONFORMANCE CHECK TRACE 77 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.41 ##### CONFORMANCE CHECK TRACE 78 (2 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.92 ##### CONFORMANCE CHECK TRACE 79 (2 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.51 ##### CONFORMANCE CHECK TRACE 80 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.09 ##### CONFORMANCE CHECK TRACE 81 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.25 ##### CONFORMANCE CHECK TRACE 82 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.38 ##### CONFORMANCE CHECK TRACE 83 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.55 ##### CONFORMANCE CHECK TRACE 84 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.30 ##### CONFORMANCE CHECK TRACE 85 (1 instances, length 5) DISTANCE : 1 time/encode: 0.03 time/solve: 0.32 ##### CONFORMANCE CHECK TRACE 86 (2 instances, length 5) DISTANCE : 3 time/encode: 0.03 time/solve: 6.15 ##### CONFORMANCE CHECK TRACE 87 (2 instances, length 5) DISTANCE : 3 time/encode: 0.03 time/solve: 5.88 ##### CONFORMANCE CHECK TRACE 88 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 0.99 ##### CONFORMANCE CHECK TRACE 89 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 0.85 ##### CONFORMANCE CHECK TRACE 90 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 0.79 ##### CONFORMANCE CHECK TRACE 91 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 1.99 ##### CONFORMANCE CHECK TRACE 92 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.02 ##### CONFORMANCE CHECK TRACE 93 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.24 ##### CONFORMANCE CHECK TRACE 94 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.86 ##### CONFORMANCE CHECK TRACE 95 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.14 ##### CONFORMANCE CHECK TRACE 96 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.09 ##### CONFORMANCE CHECK TRACE 97 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 1.19 ##### CONFORMANCE CHECK TRACE 98 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 1.49 ##### CONFORMANCE CHECK TRACE 99 (1 instances, length 6) DISTANCE : 1 time/encode: 0.04 time/solve: 0.86 ##### CONFORMANCE CHECK TRACE 100 (1 instances, length 6) DISTANCE : 1 time/encode: 0.04 time/solve: 0.64 ##### CONFORMANCE CHECK TRACE 101 (1 instances, length 6) DISTANCE : 2 time/encode: 0.05 time/solve: 2.38 ##### CONFORMANCE CHECK TRACE 102 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.61 ##### CONFORMANCE CHECK TRACE 103 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.40 ##### CONFORMANCE CHECK TRACE 104 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.52 ##### CONFORMANCE CHECK TRACE 105 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.49 ##### CONFORMANCE CHECK TRACE 106 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.89 ##### CONFORMANCE CHECK TRACE 107 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 5.45 ##### CONFORMANCE CHECK TRACE 108 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.92 ##### CONFORMANCE CHECK TRACE 109 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.22 ##### CONFORMANCE CHECK TRACE 110 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.66 ##### CONFORMANCE CHECK TRACE 111 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.29 ##### CONFORMANCE CHECK TRACE 112 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.60 ##### CONFORMANCE CHECK TRACE 113 (2 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.70 ##### CONFORMANCE CHECK TRACE 114 (2 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.44 ##### CONFORMANCE CHECK TRACE 115 (2 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 4.11 ##### CONFORMANCE CHECK TRACE 116 (2 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.15 ##### CONFORMANCE CHECK TRACE 117 (2 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.01 ##### CONFORMANCE CHECK TRACE 118 (2 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.04 ##### CONFORMANCE CHECK TRACE 119 (2 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.50 ##### CONFORMANCE CHECK TRACE 120 (2 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.68 ##### CONFORMANCE CHECK TRACE 121 (2 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.75 ##### CONFORMANCE CHECK TRACE 122 (2 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.69 ##### CONFORMANCE CHECK TRACE 123 (2 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.28 ##### CONFORMANCE CHECK TRACE 124 (2 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.37 ##### CONFORMANCE CHECK TRACE 125 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.53 ##### CONFORMANCE CHECK TRACE 126 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 4.16 ##### CONFORMANCE CHECK TRACE 127 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 4.37 ##### CONFORMANCE CHECK TRACE 128 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.42 ##### CONFORMANCE CHECK TRACE 129 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.54 ##### CONFORMANCE CHECK TRACE 130 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.89 ##### CONFORMANCE CHECK TRACE 131 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.43 ##### CONFORMANCE CHECK TRACE 132 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.18 ##### CONFORMANCE CHECK TRACE 133 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.93 ##### CONFORMANCE CHECK TRACE 134 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.87 ##### CONFORMANCE CHECK TRACE 135 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.66 ##### CONFORMANCE CHECK TRACE 136 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.20 ##### CONFORMANCE CHECK TRACE 137 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.11 ##### CONFORMANCE CHECK TRACE 138 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.46 ##### CONFORMANCE CHECK TRACE 139 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.05 ##### CONFORMANCE CHECK TRACE 140 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 4.74 ##### CONFORMANCE CHECK TRACE 141 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 1.96 ##### CONFORMANCE CHECK TRACE 142 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.78 ##### CONFORMANCE CHECK TRACE 143 (1 instances, length 6) DISTANCE : 1 time/encode: 0.04 time/solve: 1.48 ##### CONFORMANCE CHECK TRACE 144 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.54 ##### CONFORMANCE CHECK TRACE 145 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.67 ##### CONFORMANCE CHECK TRACE 146 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.77 ##### CONFORMANCE CHECK TRACE 147 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.06 ##### CONFORMANCE CHECK TRACE 148 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.30 ##### CONFORMANCE CHECK TRACE 149 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.29 ##### CONFORMANCE CHECK TRACE 150 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.66 ##### CONFORMANCE CHECK TRACE 151 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.43 ##### CONFORMANCE CHECK TRACE 152 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.54 ##### CONFORMANCE CHECK TRACE 153 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.25 ##### CONFORMANCE CHECK TRACE 154 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.77 ##### CONFORMANCE CHECK TRACE 155 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.13 ##### CONFORMANCE CHECK TRACE 156 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 7.38 ##### CONFORMANCE CHECK TRACE 157 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.85 ##### CONFORMANCE CHECK TRACE 158 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 4.35 ##### CONFORMANCE CHECK TRACE 159 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.85 ##### CONFORMANCE CHECK TRACE 160 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.43 ##### CONFORMANCE CHECK TRACE 161 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.85 ##### CONFORMANCE CHECK TRACE 162 (4 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.90 ##### CONFORMANCE CHECK TRACE 163 (4 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.58 ##### CONFORMANCE CHECK TRACE 164 (4 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.98 ##### CONFORMANCE CHECK TRACE 165 (4 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.34 ##### CONFORMANCE CHECK TRACE 166 (4 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.09 ##### CONFORMANCE CHECK TRACE 167 (4 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.06 ##### CONFORMANCE CHECK TRACE 168 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.17 ##### CONFORMANCE CHECK TRACE 169 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 1.83 ##### CONFORMANCE CHECK TRACE 170 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 1.92 ##### CONFORMANCE CHECK TRACE 171 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.25 ##### CONFORMANCE CHECK TRACE 172 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 4.39 ##### CONFORMANCE CHECK TRACE 173 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.01 ##### CONFORMANCE CHECK TRACE 174 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.03 ##### CONFORMANCE CHECK TRACE 175 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.11 ##### CONFORMANCE CHECK TRACE 176 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.22 ##### CONFORMANCE CHECK TRACE 177 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.56 ##### CONFORMANCE CHECK TRACE 178 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 4.56 ##### CONFORMANCE CHECK TRACE 179 (1 instances, length 6) DISTANCE : 2 time/encode: 0.05 time/solve: 3.46 ##### CONFORMANCE CHECK TRACE 180 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.16 ##### CONFORMANCE CHECK TRACE 181 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.72 ##### CONFORMANCE CHECK TRACE 182 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.86 ##### CONFORMANCE CHECK TRACE 183 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.81 ##### CONFORMANCE CHECK TRACE 184 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.89 ##### CONFORMANCE CHECK TRACE 185 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.17 ##### CONFORMANCE CHECK TRACE 186 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.11 ##### CONFORMANCE CHECK TRACE 187 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 3.11 ##### CONFORMANCE CHECK TRACE 188 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 1.77 ##### CONFORMANCE CHECK TRACE 189 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 1.10 ##### CONFORMANCE CHECK TRACE 190 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 1.59 ##### CONFORMANCE CHECK TRACE 191 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 2.22 ##### CONFORMANCE CHECK TRACE 192 (1 instances, length 6) DISTANCE : 2 time/encode: 0.04 time/solve: 1.29 ##### CONFORMANCE CHECK TRACE 193 (1 instances, length 6) DISTANCE : 2 time/encode: 0.03 time/solve: 2.17 ##### CONFORMANCE CHECK TRACE 194 (1 instances, length 6) DISTANCE : 2 time/encode: 0.03 time/solve: 3.05 ##### CONFORMANCE CHECK TRACE 195 (1 instances, length 7) DISTANCE : 3 time/encode: 0.04 time/solve: 10.72 ##### CONFORMANCE CHECK TRACE 196 (1 instances, length 7) DISTANCE : 3 time/encode: 0.04 time/solve: 16.97 ##### CONFORMANCE CHECK TRACE 197 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 6.88 ##### CONFORMANCE CHECK TRACE 198 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 5.17 ##### CONFORMANCE CHECK TRACE 199 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 6.28 ##### CONFORMANCE CHECK TRACE 200 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 9.24 ##### CONFORMANCE CHECK TRACE 201 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 3.75 ##### CONFORMANCE CHECK TRACE 202 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 5.03 ##### CONFORMANCE CHECK TRACE 203 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 4.40 ##### CONFORMANCE CHECK TRACE 204 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 7.38 ##### CONFORMANCE CHECK TRACE 205 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 3.93 ##### CONFORMANCE CHECK TRACE 206 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 7.56 ##### CONFORMANCE CHECK TRACE 207 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 10.07 ##### CONFORMANCE CHECK TRACE 208 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 6.91 ##### CONFORMANCE CHECK TRACE 209 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 8.84 ##### CONFORMANCE CHECK TRACE 210 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 9.66 ##### CONFORMANCE CHECK TRACE 211 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 19.93 ##### CONFORMANCE CHECK TRACE 212 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 19.18 ##### CONFORMANCE CHECK TRACE 213 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 26.60 ##### CONFORMANCE CHECK TRACE 214 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 20.32 ##### CONFORMANCE CHECK TRACE 215 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 24.34 ##### CONFORMANCE CHECK TRACE 216 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 25.48 ##### CONFORMANCE CHECK TRACE 217 (1 instances, length 7) DISTANCE : 2 time/encode: 0.04 time/solve: 7.99 ##### CONFORMANCE CHECK TRACE 218 (1 instances, length 7) DISTANCE : 2 time/encode: 0.05 time/solve: 10.99 ##### CONFORMANCE CHECK TRACE 219 (1 instances, length 7) DISTANCE : 2 time/encode: 0.05 time/solve: 6.38 ##### CONFORMANCE CHECK TRACE 220 (1 instances, length 7) DISTANCE : 2 time/encode: 0.05 time/solve: 6.54 ##### CONFORMANCE CHECK TRACE 221 (1 instances, length 7) DISTANCE : 2 time/encode: 0.05 time/solve: 7.14 ##### CONFORMANCE CHECK TRACE 222 (1 instances, length 7) DISTANCE : 2 time/encode: 0.05 time/solve: 6.02 ##### CONFORMANCE CHECK TRACE 223 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 16.50 ##### CONFORMANCE CHECK TRACE 224 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 29.49 ##### CONFORMANCE CHECK TRACE 225 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 19.65 ##### CONFORMANCE CHECK TRACE 226 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 26.00 ##### CONFORMANCE CHECK TRACE 227 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 22.10 ##### CONFORMANCE CHECK TRACE 228 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 18.94 ##### CONFORMANCE CHECK TRACE 229 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 7.42 ##### CONFORMANCE CHECK TRACE 230 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 10.44 ##### CONFORMANCE CHECK TRACE 231 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 3.62 ##### CONFORMANCE CHECK TRACE 232 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 5.09 ##### CONFORMANCE CHECK TRACE 233 (2 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 7.37 ##### CONFORMANCE CHECK TRACE 234 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 5.28 ##### CONFORMANCE CHECK TRACE 235 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 7.44 ##### CONFORMANCE CHECK TRACE 236 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 7.83 ##### CONFORMANCE CHECK TRACE 237 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 7.33 ##### CONFORMANCE CHECK TRACE 238 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 16.17 ##### CONFORMANCE CHECK TRACE 239 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 13.58 ##### CONFORMANCE CHECK TRACE 240 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 18.95 ##### CONFORMANCE CHECK TRACE 241 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 27.41 ##### CONFORMANCE CHECK TRACE 242 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 28.42 ##### CONFORMANCE CHECK TRACE 243 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 27.11 ##### CONFORMANCE CHECK TRACE 244 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 3.89 ##### CONFORMANCE CHECK TRACE 245 (1 instances, length 7) DISTANCE : 1 time/encode: 0.05 time/solve: 10.97 ##### CONFORMANCE CHECK TRACE 246 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 6.92 ##### CONFORMANCE CHECK TRACE 247 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 7.30 ##### CONFORMANCE CHECK TRACE 248 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 6.96 ##### CONFORMANCE CHECK TRACE 249 (1 instances, length 7) DISTANCE : 3 time/encode: 0.05 time/solve: 5.49 ##### CONFORMANCE CHECK TRACE 250 (1 instances, length 7) DISTANCE : 3 time/encode: 0.04 time/solve: 13.15 ##### CONFORMANCE CHECK TRACE 251 (1 instances, length 7) DISTANCE : 3 time/encode: 0.04 time/solve: 9.48 encoding time: total 9.11 avg 0.04 median 0.04 solving time: total 1049.72 avg 4.17 median 2.78 distance 1: 106 (117 overall) distance 2: 110 (140 overall) distance 3: 36 (38 overall) timeouts: 0