DFMAX(../DIMACS_cliques/brock200_1.clq.b) setlim=1 Input Time: 0.00 (user) 0.00 (sys) 0.00 (real) Size = 14 found Size = 15 found Size = 16 found Size = 17 found Size = 18 found Size = 19 found Size = 20 found N = 200 best = 20 0.25 (user) 0.00 (sys) 0.00 (real) N = 199 best = 20 0.56 (user) 0.00 (sys) 0.00 (real) N = 198 best = 20 0.76 (user) 0.00 (sys) 1.00 (real) N = 197 best = 20 1.01 (user) 0.00 (sys) 1.00 (real) N = 196 best = 20 1.29 (user) 0.00 (sys) 1.00 (real) N = 195 best = 20 1.56 (user) 0.00 (sys) 1.00 (real) Size = 21 found N = 194 best = 21 1.77 (user) 0.00 (sys) 2.00 (real) N = 193 best = 21 1.95 (user) 0.00 (sys) 2.00 (real) N = 192 best = 21 2.18 (user) 0.00 (sys) 2.00 (real) N = 191 best = 21 2.40 (user) 0.00 (sys) 2.00 (real) N = 190 best = 21 2.65 (user) 0.00 (sys) 2.00 (real) N = 189 best = 21 2.85 (user) 0.00 (sys) 3.00 (real) N = 188 best = 21 3.06 (user) 0.00 (sys) 3.00 (real) N = 187 best = 21 3.23 (user) 0.00 (sys) 3.00 (real) N = 186 best = 21 3.49 (user) 0.00 (sys) 3.00 (real) N = 185 best = 21 3.66 (user) 0.00 (sys) 3.00 (real) N = 184 best = 21 3.84 (user) 0.00 (sys) 4.00 (real) N = 183 best = 21 4.10 (user) 0.00 (sys) 4.00 (real) N = 182 best = 21 4.34 (user) 0.00 (sys) 4.00 (real) N = 181 best = 21 4.49 (user) 0.00 (sys) 4.00 (real) N = 180 best = 21 4.64 (user) 0.00 (sys) 4.00 (real) N = 179 best = 21 4.77 (user) 0.00 (sys) 5.00 (real) N = 178 best = 21 4.91 (user) 0.00 (sys) 5.00 (real) N = 177 best = 21 5.10 (user) 0.00 (sys) 5.00 (real) N = 176 best = 21 5.24 (user) 0.00 (sys) 5.00 (real) N = 175 best = 21 5.42 (user) 0.00 (sys) 5.00 (real) N = 174 best = 21 5.58 (user) 0.00 (sys) 5.00 (real) N = 173 best = 21 5.74 (user) 0.00 (sys) 5.00 (real) N = 172 best = 21 5.90 (user) 0.00 (sys) 6.00 (real) N = 171 best = 21 6.04 (user) 0.00 (sys) 6.00 (real) N = 170 best = 21 6.16 (user) 0.00 (sys) 6.00 (real) N = 169 best = 21 6.28 (user) 0.00 (sys) 6.00 (real) N = 168 best = 21 6.44 (user) 0.01 (sys) 6.00 (real) N = 167 best = 21 6.57 (user) 0.01 (sys) 6.00 (real) N = 166 best = 21 6.68 (user) 0.01 (sys) 6.00 (real) N = 165 best = 21 6.79 (user) 0.01 (sys) 7.00 (real) N = 164 best = 21 6.90 (user) 0.01 (sys) 7.00 (real) N = 163 best = 21 7.03 (user) 0.01 (sys) 7.00 (real) N = 162 best = 21 7.15 (user) 0.01 (sys) 7.00 (real) N = 161 best = 21 7.26 (user) 0.01 (sys) 7.00 (real) N = 160 best = 21 7.34 (user) 0.01 (sys) 7.00 (real) N = 159 best = 21 7.45 (user) 0.01 (sys) 7.00 (real) N = 158 best = 21 7.53 (user) 0.01 (sys) 7.00 (real) N = 157 best = 21 7.64 (user) 0.01 (sys) 7.00 (real) N = 156 best = 21 7.71 (user) 0.01 (sys) 7.00 (real) N = 155 best = 21 7.81 (user) 0.01 (sys) 8.00 (real) N = 154 best = 21 7.89 (user) 0.01 (sys) 8.00 (real) N = 153 best = 21 7.96 (user) 0.01 (sys) 8.00 (real) N = 152 best = 21 8.03 (user) 0.01 (sys) 8.00 (real) N = 151 best = 21 8.10 (user) 0.01 (sys) 8.00 (real) N = 150 best = 21 8.16 (user) 0.01 (sys) 8.00 (real) N = 149 best = 21 8.22 (user) 0.01 (sys) 8.00 (real) N = 148 best = 21 8.29 (user) 0.01 (sys) 8.00 (real) N = 147 best = 21 8.37 (user) 0.01 (sys) 8.00 (real) N = 146 best = 21 8.43 (user) 0.01 (sys) 8.00 (real) N = 145 best = 21 8.49 (user) 0.01 (sys) 8.00 (real) N = 144 best = 21 8.57 (user) 0.01 (sys) 8.00 (real) N = 143 best = 21 8.63 (user) 0.01 (sys) 8.00 (real) N = 142 best = 21 8.70 (user) 0.01 (sys) 8.00 (real) N = 141 best = 21 8.75 (user) 0.01 (sys) 9.00 (real) N = 140 best = 21 8.80 (user) 0.01 (sys) 9.00 (real) N = 139 best = 21 8.84 (user) 0.01 (sys) 9.00 (real) N = 138 best = 21 8.89 (user) 0.01 (sys) 9.00 (real) N = 137 best = 21 8.93 (user) 0.01 (sys) 9.00 (real) N = 136 best = 21 8.96 (user) 0.01 (sys) 9.00 (real) N = 135 best = 21 9.01 (user) 0.01 (sys) 9.00 (real) N = 134 best = 21 9.06 (user) 0.01 (sys) 9.00 (real) N = 133 best = 21 9.11 (user) 0.01 (sys) 9.00 (real) N = 132 best = 21 9.14 (user) 0.01 (sys) 9.00 (real) N = 131 best = 21 9.17 (user) 0.01 (sys) 9.00 (real) N = 130 best = 21 9.21 (user) 0.01 (sys) 9.00 (real) N = 129 best = 21 9.24 (user) 0.01 (sys) 9.00 (real) N = 128 best = 21 9.27 (user) 0.01 (sys) 9.00 (real) N = 127 best = 21 9.29 (user) 0.01 (sys) 9.00 (real) N = 126 best = 21 9.32 (user) 0.01 (sys) 9.00 (real) N = 125 best = 21 9.34 (user) 0.01 (sys) 9.00 (real) N = 124 best = 21 9.37 (user) 0.01 (sys) 9.00 (real) N = 123 best = 21 9.39 (user) 0.01 (sys) 9.00 (real) N = 122 best = 21 9.41 (user) 0.01 (sys) 9.00 (real) N = 121 best = 21 9.44 (user) 0.01 (sys) 9.00 (real) N = 120 best = 21 9.45 (user) 0.01 (sys) 9.00 (real) N = 119 best = 21 9.47 (user) 0.01 (sys) 9.00 (real) N = 118 best = 21 9.49 (user) 0.01 (sys) 9.00 (real) N = 117 best = 21 9.50 (user) 0.01 (sys) 9.00 (real) N = 116 best = 21 9.52 (user) 0.01 (sys) 9.00 (real) N = 115 best = 21 9.53 (user) 0.01 (sys) 9.00 (real) N = 114 best = 21 9.54 (user) 0.01 (sys) 9.00 (real) N = 113 best = 21 9.55 (user) 0.01 (sys) 9.00 (real) N = 112 best = 21 9.57 (user) 0.01 (sys) 9.00 (real) N = 111 best = 21 9.58 (user) 0.01 (sys) 9.00 (real) N = 110 best = 21 9.59 (user) 0.01 (sys) 9.00 (real) N = 109 best = 21 9.60 (user) 0.01 (sys) 9.00 (real) N = 108 best = 21 9.61 (user) 0.01 (sys) 9.00 (real) N = 107 best = 21 9.62 (user) 0.01 (sys) 9.00 (real) N = 106 best = 21 9.63 (user) 0.01 (sys) 9.00 (real) N = 105 best = 21 9.63 (user) 0.01 (sys) 9.00 (real) N = 104 best = 21 9.64 (user) 0.01 (sys) 9.00 (real) N = 103 best = 21 9.65 (user) 0.01 (sys) 9.00 (real) N = 102 best = 21 9.66 (user) 0.01 (sys) 9.00 (real) N = 101 best = 21 9.66 (user) 0.01 (sys) 9.00 (real) N = 100 best = 21 9.67 (user) 0.01 (sys) 9.00 (real) N = 99 best = 21 9.67 (user) 0.01 (sys) 9.00 (real) N = 98 best = 21 9.68 (user) 0.01 (sys) 9.00 (real) N = 97 best = 21 9.69 (user) 0.01 (sys) 9.00 (real) N = 96 best = 21 9.69 (user) 0.01 (sys) 9.00 (real) N = 95 best = 21 9.69 (user) 0.01 (sys) 9.00 (real) N = 94 best = 21 9.70 (user) 0.01 (sys) 9.00 (real) N = 93 best = 21 9.70 (user) 0.01 (sys) 9.00 (real) N = 92 best = 21 9.70 (user) 0.01 (sys) 9.00 (real) N = 91 best = 21 9.71 (user) 0.01 (sys) 9.00 (real) N = 90 best = 21 9.71 (user) 0.01 (sys) 9.00 (real) N = 89 best = 21 9.71 (user) 0.01 (sys) 9.00 (real) N = 88 best = 21 9.71 (user) 0.01 (sys) 9.00 (real) N = 87 best = 21 9.72 (user) 0.01 (sys) 9.00 (real) N = 86 best = 21 9.72 (user) 0.01 (sys) 9.00 (real) N = 85 best = 21 9.72 (user) 0.01 (sys) 9.00 (real) N = 84 best = 21 9.72 (user) 0.01 (sys) 9.00 (real) N = 83 best = 21 9.72 (user) 0.01 (sys) 9.00 (real) N = 82 best = 21 9.72 (user) 0.01 (sys) 9.00 (real) N = 81 best = 21 9.72 (user) 0.01 (sys) 9.00 (real) N = 80 best = 21 9.72 (user) 0.01 (sys) 9.00 (real) N = 79 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 78 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 77 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 76 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 75 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 74 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 73 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 72 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 71 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 70 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 69 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 68 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 67 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 66 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 65 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 64 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 63 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 62 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 61 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 60 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 59 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 58 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 57 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 56 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 55 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 54 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 53 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 52 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 51 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 50 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 49 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 48 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 47 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 46 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 45 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 44 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 43 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 42 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 41 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 40 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 39 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 38 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 37 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 36 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 35 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 34 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 33 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 32 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 31 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 30 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 29 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 28 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 27 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 26 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 25 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) N = 24 best = 21 9.73 (user) 0.01 (sys) 9.00 (real) 9.73 (user) 0.01 (sys) 9.00 (real) Best: 134 136 85 39 102 68 150 92 135 142 90 93 81 18 178 87 186 94 108 73 20