/home/swinkler/confchecksmt/src/libyices.so.2.6.2 number of traces: 675 equivalence classes naive: 164, intervals: 164 (clustering time 0.01) here ##### CONFORMANCE CHECK TRACE 0 (1 instances, length 1) DISTANCE : 1 time/encode: 0.01 time/solve: 0.00 ##### CONFORMANCE CHECK TRACE 1 (94 instances, length 1) DISTANCE : 1 time/encode: 0.00 time/solve: 0.00 ##### CONFORMANCE CHECK TRACE 2 (3 instances, length 2) DISTANCE : 0 time/encode: 0.01 time/solve: 0.00 ##### CONFORMANCE CHECK TRACE 3 (1 instances, length 2) DISTANCE : 1 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 4 (5 instances, length 2) DISTANCE : 0 time/encode: 0.01 time/solve: 0.00 ##### 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 : 1 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 7 (2 instances, length 2) DISTANCE : 0 time/encode: 0.01 time/solve: 0.00 ##### CONFORMANCE CHECK TRACE 8 (1 instances, length 2) DISTANCE : 1 time/encode: 0.01 time/solve: 0.00 ##### CONFORMANCE CHECK TRACE 9 (4 instances, length 2) DISTANCE : 0 time/encode: 0.01 time/solve: 0.00 ##### CONFORMANCE CHECK TRACE 10 (5 instances, length 2) DISTANCE : 1 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 11 (4 instances, length 2) DISTANCE : 0 time/encode: 0.01 time/solve: 0.00 ##### CONFORMANCE CHECK TRACE 12 (1 instances, length 2) DISTANCE : 1 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 13 (1 instances, length 2) DISTANCE : 1 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 14 (1 instances, length 2) DISTANCE : 0 time/encode: 0.01 time/solve: 0.00 ##### CONFORMANCE CHECK TRACE 15 (1 instances, length 2) DISTANCE : 1 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 16 (1 instances, length 2) DISTANCE : 0 time/encode: 0.01 time/solve: 0.00 ##### CONFORMANCE CHECK TRACE 17 (3 instances, length 2) DISTANCE : 0 time/encode: 0.01 time/solve: 0.00 ##### CONFORMANCE CHECK TRACE 18 (1 instances, length 2) DISTANCE : 0 time/encode: 0.01 time/solve: 0.00 ##### CONFORMANCE CHECK TRACE 19 (1 instances, length 2) DISTANCE : 0 time/encode: 0.01 time/solve: 0.00 ##### CONFORMANCE CHECK TRACE 20 (9 instances, length 2) DISTANCE : 0 time/encode: 0.01 time/solve: 0.00 ##### CONFORMANCE CHECK TRACE 21 (1 instances, length 2) DISTANCE : 0 time/encode: 0.01 time/solve: 0.00 ##### CONFORMANCE CHECK TRACE 22 (1 instances, length 2) DISTANCE : 0 time/encode: 0.01 time/solve: 0.00 ##### CONFORMANCE CHECK TRACE 23 (2 instances, length 2) DISTANCE : 0 time/encode: 0.01 time/solve: 0.00 ##### CONFORMANCE CHECK TRACE 24 (1 instances, length 3) DISTANCE : 1 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 25 (1 instances, length 3) DISTANCE : 1 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 26 (3 instances, length 3) DISTANCE : 1 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 27 (1 instances, length 3) DISTANCE : 1 time/encode: 0.01 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 28 (1 instances, length 4) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 29 (1 instances, length 4) DISTANCE : 0 time/encode: 0.02 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 30 (2 instances, length 4) DISTANCE : 0 time/encode: 0.02 time/solve: 0.00 ##### CONFORMANCE CHECK TRACE 31 (1 instances, length 4) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 32 (1 instances, length 4) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 33 (2 instances, length 4) DISTANCE : 2 time/encode: 0.02 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 34 (1 instances, length 4) DISTANCE : 2 time/encode: 0.02 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 35 (5 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 36 (1 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 37 (16 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 38 (1 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 39 (1 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 40 (2 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 41 (15 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 42 (2 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 43 (1 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 44 (22 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 45 (1 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 46 (1 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 47 (2 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 48 (27 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 49 (5 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 50 (6 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 51 (1 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 52 (1 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 53 (1 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 54 (10 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 55 (4 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 56 (3 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 57 (3 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 58 (3 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 59 (1 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 60 (1 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 61 (14 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 62 (8 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 63 (2 instances, length 5) DISTANCE : 2 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 64 (2 instances, length 5) DISTANCE : 1 time/encode: 0.02 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 65 (2 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 66 (1 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 67 (1 instances, length 6) DISTANCE : 0 time/encode: 0.02 time/solve: 0.01 ##### CONFORMANCE CHECK TRACE 68 (4 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 69 (3 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 70 (1 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 71 (1 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 72 (2 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 73 (1 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 74 (1 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 75 (7 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 76 (17 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 77 (1 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 78 (2 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 79 (6 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 80 (28 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 81 (6 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 82 (4 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 83 (1 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 84 (29 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 85 (1 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 86 (2 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 87 (8 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 88 (5 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 89 (1 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 90 (9 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 91 (31 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 92 (1 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 93 (1 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 94 (7 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.05 ##### CONFORMANCE CHECK TRACE 95 (22 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 96 (1 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 97 (1 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 98 (10 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 99 (21 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 100 (1 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 101 (4 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 102 (12 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.03 ##### CONFORMANCE CHECK TRACE 103 (1 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 104 (1 instances, length 6) DISTANCE : 1 time/encode: 0.02 time/solve: 0.04 ##### CONFORMANCE CHECK TRACE 105 (5 instances, length 7) DISTANCE : 2 time/encode: 0.03 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 106 (1 instances, length 7) DISTANCE : 2 time/encode: 0.02 time/solve: 0.11 ##### CONFORMANCE CHECK TRACE 107 (3 instances, length 7) DISTANCE : 2 time/encode: 0.02 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 108 (3 instances, length 7) DISTANCE : 2 time/encode: 0.02 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 109 (1 instances, length 7) DISTANCE : 2 time/encode: 0.03 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 110 (2 instances, length 7) DISTANCE : 2 time/encode: 0.03 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 111 (1 instances, length 7) DISTANCE : 1 time/encode: 0.03 time/solve: 0.07 ##### CONFORMANCE CHECK TRACE 112 (1 instances, length 7) DISTANCE : 2 time/encode: 0.03 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 113 (1 instances, length 7) DISTANCE : 2 time/encode: 0.03 time/solve: 0.09 ##### CONFORMANCE CHECK TRACE 114 (2 instances, length 7) DISTANCE : 2 time/encode: 0.02 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 115 (1 instances, length 7) DISTANCE : 2 time/encode: 0.02 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 116 (1 instances, length 7) DISTANCE : 2 time/encode: 0.02 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 117 (3 instances, length 7) DISTANCE : 2 time/encode: 0.03 time/solve: 0.09 ##### CONFORMANCE CHECK TRACE 118 (1 instances, length 7) DISTANCE : 2 time/encode: 0.03 time/solve: 0.11 ##### CONFORMANCE CHECK TRACE 119 (2 instances, length 7) DISTANCE : 1 time/encode: 0.03 time/solve: 0.06 ##### CONFORMANCE CHECK TRACE 120 (1 instances, length 7) DISTANCE : 1 time/encode: 0.03 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 121 (1 instances, length 7) DISTANCE : 2 time/encode: 0.02 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 122 (1 instances, length 7) DISTANCE : 2 time/encode: 0.02 time/solve: 0.09 ##### CONFORMANCE CHECK TRACE 123 (4 instances, length 7) DISTANCE : 2 time/encode: 0.02 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 124 (1 instances, length 7) DISTANCE : 1 time/encode: 0.03 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 125 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.19 ##### CONFORMANCE CHECK TRACE 126 (2 instances, length 8) DISTANCE : 0 time/encode: 0.04 time/solve: 0.02 ##### CONFORMANCE CHECK TRACE 127 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.21 ##### CONFORMANCE CHECK TRACE 128 (2 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.27 ##### CONFORMANCE CHECK TRACE 129 (1 instances, length 8) DISTANCE : 2 time/encode: 0.03 time/solve: 0.13 ##### CONFORMANCE CHECK TRACE 130 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.19 ##### CONFORMANCE CHECK TRACE 131 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.20 ##### CONFORMANCE CHECK TRACE 132 (1 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.24 ##### CONFORMANCE CHECK TRACE 133 (2 instances, length 8) DISTANCE : 3 time/encode: 0.03 time/solve: 0.20 ##### CONFORMANCE CHECK TRACE 134 (1 instances, length 9) DISTANCE : 2 time/encode: 0.04 time/solve: 0.22 ##### CONFORMANCE CHECK TRACE 135 (1 instances, length 9) DISTANCE : 0 time/encode: 0.04 time/solve: 0.06 ##### CONFORMANCE CHECK TRACE 136 (1 instances, length 9) DISTANCE : 1 time/encode: 0.04 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 137 (1 instances, length 9) DISTANCE : 1 time/encode: 0.04 time/solve: 0.08 ##### CONFORMANCE CHECK TRACE 138 (3 instances, length 9) DISTANCE : 1 time/encode: 0.04 time/solve: 0.12 ##### CONFORMANCE CHECK TRACE 139 (1 instances, length 9) DISTANCE : 3 time/encode: 0.04 time/solve: 0.41 ##### CONFORMANCE CHECK TRACE 140 (1 instances, length 9) DISTANCE : 1 time/encode: 0.04 time/solve: 0.10 ##### CONFORMANCE CHECK TRACE 141 (3 instances, length 9) DISTANCE : 1 time/encode: 0.04 time/solve: 0.09 ##### CONFORMANCE CHECK TRACE 142 (2 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 0.81 ##### CONFORMANCE CHECK TRACE 143 (1 instances, length 10) DISTANCE : 2 time/encode: 0.05 time/solve: 0.30 ##### CONFORMANCE CHECK TRACE 144 (1 instances, length 10) DISTANCE : 3 time/encode: 0.06 time/solve: 0.44 ##### CONFORMANCE CHECK TRACE 145 (1 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 0.51 ##### CONFORMANCE CHECK TRACE 146 (1 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 0.52 ##### CONFORMANCE CHECK TRACE 147 (1 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 0.50 ##### CONFORMANCE CHECK TRACE 148 (6 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 0.52 ##### CONFORMANCE CHECK TRACE 149 (2 instances, length 10) DISTANCE : 2 time/encode: 0.05 time/solve: 0.32 ##### CONFORMANCE CHECK TRACE 150 (1 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 0.46 ##### CONFORMANCE CHECK TRACE 151 (1 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 0.61 ##### CONFORMANCE CHECK TRACE 152 (1 instances, length 10) DISTANCE : 2 time/encode: 0.06 time/solve: 0.33 ##### CONFORMANCE CHECK TRACE 153 (1 instances, length 10) DISTANCE : 2 time/encode: 0.05 time/solve: 0.31 ##### CONFORMANCE CHECK TRACE 154 (2 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 0.46 ##### CONFORMANCE CHECK TRACE 155 (2 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 0.47 ##### CONFORMANCE CHECK TRACE 156 (3 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 0.54 ##### CONFORMANCE CHECK TRACE 157 (1 instances, length 10) DISTANCE : 2 time/encode: 0.05 time/solve: 0.35 ##### CONFORMANCE CHECK TRACE 158 (1 instances, length 10) DISTANCE : 3 time/encode: 0.05 time/solve: 0.55 ##### CONFORMANCE CHECK TRACE 159 (1 instances, length 11) DISTANCE : 3 time/encode: 0.05 time/solve: 0.80 ##### CONFORMANCE CHECK TRACE 160 (1 instances, length 11) DISTANCE : 3 time/encode: 0.06 time/solve: 0.67 ##### CONFORMANCE CHECK TRACE 161 (1 instances, length 11) DISTANCE : 4 time/encode: 0.05 time/solve: 0.95 ##### CONFORMANCE CHECK TRACE 162 (1 instances, length 11) DISTANCE : 4 time/encode: 0.06 time/solve: 1.24 ##### CONFORMANCE CHECK TRACE 163 (1 instances, length 11) DISTANCE : 2 time/encode: 0.06 time/solve: 0.54 encoding time: total 4.22 avg 0.03 median 0.02 solving time: total 19.08 avg 0.12 median 0.03 distance 0: 19 (45 overall) distance 1: 94 (549 overall) distance 2: 27 (45 overall) distance 3: 22 (34 overall) distance 4: 2 (2 overall) timeouts: 0