### 2 Quick lookup table and ﬁnal result for each ODE

Final conclusion table for each equation is given by table 2 below. Clicking on the problem opens a new page that shows the result.

 Table 2:Breakdown of results for each Murphy diﬀerential equation Mathematica Maple # solved cpu leaf solved cpu leaf ODE 1 ✓ 0.1 19 ✓ 0.54 12 ODE 2 ✓ 0.035 28 ✓ 0.122 21 ODE 3 ✓ 0.03 46 ✓ 0.079 43 ODE 4 ✓ 0.012 28 ✓ 0.05 31 ODE 5 ✓ 0.065 43 ✓ 0.022 40 ODE 6 ✓ 0.067 43 ✓ 0.013 40 ODE 7 ✓ 0.029 34 ✓ 0.019 30 ODE 8 ✓ 0.006 22 ✓ 0.031 17 ODE 9 ✓ 0.015 42 ✓ 0.009 30 ODE 10 ✓ 0.01 32 ✓ 0.01 29 ODE 11 ✓ 0.006 22 ✓ 0.093 19 ODE 12 ✓ 0.023 18 ✓ 0.021 15 ODE 13 ✓ 0.025 14 ✓ 0.005 11 ODE 14 ✓ 0.015 10 ✓ 0.025 8 ODE 15 ✓ 0.015 15 ✓ 0.007 15 ODE 16 ✓ 0.014 19 ✓ 0.017 16 ODE 17 ✓ 0.029 28 ✓ 0.14 39 ODE 18 ✓ 0.023 16 ✓ 0.023 16 ODE 19 ✓ 0.026 14 ✓ 0.006 11 ODE 20 ✓ 0.015 15 ✓ 0.029 21 ODE 21 ✓ 0.061 81 ✓ 1.581 99 ODE 22 ✓ 0.05 20 ✓ 0.101 32 ODE 23 ✗ 0 0 ✓ 0.71 114 ODE 24 ✓ 28.65 155 ✓ 1.476 125 ODE 25 ✓ 0.009 19 ✓ 0.006 11 ODE 26 ✓ 0.045 21 ✓ 0.01 15 ODE 27 ✓ 0.012 10 ✓ 0.005 10 ODE 28 ✓ 0.02 21 ✓ 0.014 21 ODE 29 ✓ 0.029 12 ✓ 0.006 10 ODE 30 ✓ 0.02 13 ✓ 0.019 11 ODE 31 ✓ 0.019 19 ✓ 0.015 24 ODE 32 ✓ 0.019 15 ✓ 0.008 13 ODE 33 ✓ 0.018 19 ✓ 0.012 29 ODE 34 ✓ 0.044 20 ✓ 0.485 100 ODE 35 ✓ 0.026 24 ✓ 0.067 40 ODE 36 ✓ 0.015 17 ✓ 0.011 14 ODE 37 ✓ 0.019 33 ✓ 0.026 27 ODE 38 ✓ 0.008 18 ✓ 0.011 15 ODE 39 ✓ 0.486 44 ✓ 0.06 24 ODE 40 ✓ 0.007 117 ✓ 0.609 44 ODE 41 ✗ 0 0 ✓ 0.635 30 ODE 42 ✓ 0.024 49 ✓ 0.092 39 ODE 43 ✓ 0.01 30 ✓ 0.047 15 ODE 44 ✓ 0.009 22 ✓ 0.027 28 ODE 45 ✓ 0.018 18 ✓ 0.028 26 ODE 46 ✓ 0.772 48 ✓ 0.141 34 ODE 47 ✓ 0.007 17 ✓ 0.027 20 ODE 48 ✓ 0.019 25 ✓ 0.033 32 ODE 49 ✓ 6.562 57 ✓ 0.175 25 ODE 50 ✗ 0 0 ✓ 0.985 128 ODE 51 ✗ 0 0 ✓ 0.131 48 ODE 52 ✓ 0.016 28 ✓ 0.033 32 ODE 53 ✓ 0.017 34 ✓ 0.04 20 ODE 54 ✓ 0.025 123 ✓ 0.284 80 ODE 55 ✓ 0.02 32 ✓ 0.008 23 ODE 56 ✓ 0.006 189 ✓ 0.077 59 ODE 57 ✓ 0.022 93 ✓ 0.107 85 ODE 58 ✓ 0.224 648 ✓ 0.473 363 ODE 59 ✓ 0.006 175 ✓ 0.092 71 ODE 60 ✓ 0.037 54 ✓ 0.012 41 ODE 61 ✗ 0 0 ✗ 0 0 ODE 62 ✓ 0.044 88 ✓ 0.201 50 ODE 63 ✗ 0 0 ✗ 0 0 ODE 64 ✓ 0.02 39 ✓ 0.013 18 ODE 65 ✓ 0.065 35 ✓ 0.136 56 ODE 66 ✓ 0.045 63 ✓ 0.341 51 ODE 67 ✓ 0.009 25 ✓ 0.063 23 ODE 68 ✓ 0.006 19 ✓ 0.004 17 ODE 69 ✓ 0.057 42 ✓ 0.007 33 ODE 70 ✓ 0.105 1067 ✓ 0.213 179 ODE 71 ✓ 0.049 57 ✓ 0.016 54 ODE 72 ✓ 0.064 28 ✓ 0.271 29 ODE 73 ✓ 0.057 24 ✓ 0.273 35 ODE 74 ✓ 0.052 50 ✓ 0.215 35 ODE 75 ✓ 0.038 35 ✓ 0.006 13 ODE 76 ✗ 0 0 ✗ 0 0 ODE 77 ✓ 0.067 62 ✓ 0.011 44 ODE 78 ✗ 0 0 ✓ 0.071 142 ODE 79 ✓ 0.877 73 ✓ 0.062 50 ODE 80 ✓ 0.375 161 ✓ 0.036 110 ODE 81 ✓ 0.034 77 ✓ 0.005 21 ODE 82 ✓ 0.039 54 ✓ 0.019 30 ODE 83 ✓ 0.006 39 ✓ 0.005 14 ODE 84 ✓ 0.013 45 ✓ 0.006 19 ODE 85 ✓ 0.145 94 ✓ 0.049 79 ODE 86 ✓ 9.148 376 ✓ 1.876 373 ODE 87 ✗ 0 0 ✗ 0 0 ODE 88 ✓ 0.033 101 ✓ 0.044 41 ODE 89 ✗ 0 0 ✗ 0 0 ODE 90 ✗ 0 0 ✗ 0 0 ODE 91 ✓ 0.032 43 ✓ 0.034 21 ODE 92 ✓ 0.026 44 ✓ 0.012 15 ODE 93 ✗ 0 0 ✗ 0 0 ODE 94 ✓ 0.045 98 ✓ 0.575 33 ODE 95 ✓ 172.366 109 ✓ 0.305 61 ODE 96 ✓ 0.493 64 ✓ 0.019 48 ODE 97 ✗ 0 0 ✗ 0 0 ODE 98 ✗ 0 0 ✗ 0 0 ODE 99 ✓ 95.624 283 ✓ 0.168 31 ODE 100 ✓ 42.334 352 ✓ 0.056 27 ODE 101 ✓ 0.222 116 ✓ 0.078 68 ODE 102 ✓ 0.074 25 ✓ 0.072 47 ODE 103 ✓ 0.019 16 ✓ 0.008 17 ODE 104 ✓ 0.056 43 ✓ 0.01 29 ODE 105 ✓ 0.031 27 ✓ 0.015 24 ODE 106 ✗ 0 0 ✗ 0 0 ODE 107 ✓ 0.004 17 ✓ 0.006 13 ODE 108 ✓ 0.106 41 ✓ 0.036 26 ODE 109 ✓ 0.051 23 ✓ 0.017 24 ODE 110 ✓ 0.428 28 ✓ 0.049 33 ODE 111 ✓ 0.628 102 ✓ 0.069 84 ODE 112 ✗ 0 0 ✓ 1.381 43 ODE 113 ✗ 0 0 ✗ 0 0 ODE 114 ✓ 0.089 47 ✓ 0.023 56 ODE 115 ✓ 0.26 55 ✓ 1.17 23 ODE 116 ✗ 0 0 ✓ 0.02 55 ODE 117 ✓ 0.051 29 ✓ 0.005 12 ODE 118 ✓ 0.061 29 ✓ 0.006 14 ODE 119 ✓ 0.113 21 ✓ 0.042 15 ODE 120 ✓ 0.064 29 ✓ 0.005 14 ODE 121 ✓ 0.045 29 ✓ 0.005 12 ODE 122 ✓ 0.027 41 ✓ 0.015 14 ODE 123 ✓ 0.094 20 ✓ 0.929 18 ODE 124 ✓ 0.029 32 ✓ 0.01 18 ODE 125 ✓ 0.389 2959 ✓ 0.038 51 ODE 126 ✓ 0.23 52 ✓ 0.026 55 ODE 127 ✓ 0.781 94 ✓ 0.072 85 ODE 128 ✓ 0.553 53 ✗ 0 0 ODE 129 ✓ 0.184 15 ✓ 0.023 31 ODE 130 ✗ 0 0 ✗ 0 0 ODE 131 ✓ 0.115 31 ✓ 0.011 21 ODE 132 ✓ 0.055 40 ✓ 0.188 33 ODE 133 ✓ 0.009 18 ✓ 0.007 12 ODE 134 ✓ 0.022 24 ✓ 0.019 32 ODE 135 ✓ 0.017 19 ✓ 0.007 16 ODE 136 ✓ 221.018 191 ✓ 0.544 113 ODE 137 ✓ 0.065 25 ✓ 0.008 21 ODE 138 ✓ 11.421 126 ✓ 0.032 35 ODE 139 ✓ 0.09 31 ✓ 0.007 20 ODE 140 ✓ 2.761 54 ✓ 0.111 41 ODE 141 ✓ 0.477 48 ✓ 0.09 107 ODE 142 ✓ 0.361 61 ✗ 0 0 ODE 143 ✗ 0 0 ✓ 0.198 198 ODE 144 ✓ 0.144 547 ✓ 0.091 131 ODE 145 ✓ 0.029 46 ✓ 0.017 56 ODE 146 ✓ 0.003 17 ✓ 0.006 13 ODE 147 ✓ 0.003 13 ✓ 0.004 11 ODE 148 ✓ 0.003 19 ✓ 0.005 15 ODE 149 ✓ 0.004 18 ✓ 0.012 14 ODE 150 ✓ 0.007 19 ✓ 0.007 17 ODE 151 ✓ 0.012 19 ✓ 0.012 17 ODE 152 ✓ 0.01 14 ✓ 0.005 12 ODE 153 ✓ 0.021 29 ✓ 0.014 31 ODE 154 ✓ 0.011 19 ✓ 0.008 17 ODE 155 ✓ 0.003 11 ✓ 0.004 9 ODE 156 ✓ 0.015 26 ✓ 0.01 31 ODE 157 ✓ 0.008 22 ✓ 0.008 19 ODE 158 ✓ 0.009 24 ✓ 0.009 21 ODE 159 ✓ 0.028 31 ✓ 0.015 28 ODE 160 ✓ 0.009 25 ✓ 0.01 22 ODE 161 ✓ 0.012 37 ✓ 0.011 36 ODE 162 ✓ 0.006 19 ✓ 0.008 16 ODE 163 ✓ 0.008 21 ✓ 0.008 17 ODE 164 ✓ 0.009 30 ✓ 0.016 25 ODE 165 ✓ 0.037 70 ✓ 0.022 50 ODE 166 ✓ 0.013 30 ✓ 0.087 27 ODE 167 ✓ 0.011 12 ✓ 0.011 17 ODE 168 ✓ 0.011 84 ✓ 0.35 86 ODE 169 ✓ 0.021 33 ✓ 0.006 24 ODE 170 ✓ 0.02 33 ✓ 0.009 29 ODE 171 ✓ 0.019 103 ✓ 0.014 34 ODE 172 ✓ 0.015 229 ✓ 0.114 164 ODE 173 ✓ 0.227 589 ✓ 0.143 231 ODE 174 ✓ 0.007 133 ✓ 0.081 59 ODE 175 ✓ 0.007 17 ✓ 0.005 17 ODE 176 ✓ 0.007 18 ✓ 0.006 17 ODE 177 ✓ 0.007 18 ✓ 0.005 17 ODE 178 ✓ 0.05 76 ✓ 0.089 73 ODE 179 ✓ 0.012 27 ✓ 0.014 21 ODE 180 ✓ 0.007 18 ✓ 0.005 15 ODE 181 ✓ 0.015 43 ✓ 0.072 64 ODE 182 ✓ 0.181 301 ✓ 0.336 848 ODE 183 ✓ 0.048 101 ✓ 0.111 66 ODE 184 ✓ 0.037 40 ✓ 0.015 34 ODE 185 ✓ 0.026 31 ✓ 0.009 26 ODE 186 ✓ 0.259 1293 ✓ 0.239 174 ODE 187 ✓ 0.524 126 ✓ 0.104 50 ODE 188 ✓ 0.01 17 ✓ 0.008 20 ODE 189 ✓ 0.13 51 ✓ 0.011 20 ODE 190 ✓ 0.02 59 ✓ 0.005 15 ODE 191 ✓ 0.008 35 ✓ 0.004 17 ODE 192 ✓ 0.012 51 ✓ 0.013 25 ODE 193 ✓ 0.035 103 ✓ 0.011 34 ODE 194 ✓ 0.027 45 ✓ 0.025 34 ODE 195 ✓ 0.014 21 ✓ 0.006 15 ODE 196 ✓ 1.005 3935 ✓ 0.039 27 ODE 197 ✓ 0.02 13 ✓ 0.037 27 ODE 198 ✓ 0.032 17 ✓ 0.037 27 ODE 199 ✓ 0.018 12 ✓ 2.555 28 ODE 200 ✓ 0.115 81 ✓ 0.252 49 ODE 201 ✓ 0.046 39 ✓ 0.046 41 ODE 202 ✓ 0.067 19 ✓ 0.443 17 ODE 203 ✓ 0.026 16 ✓ 0.02 17 ODE 204 ✓ 0.025 17 ✓ 0.012 26 ODE 205 ✓ 0.038 35 ✓ 0.018 34 ODE 206 ✓ 89.672 48 ✓ 0.204 24 ODE 207 ✓ 0.062 19 ✓ 0.338 15 ODE 208 ✓ 0.027 15 ✓ 0.01 16 ODE 209 ✓ 0.044 27 ✓ 0.02 35 ODE 210 ✗ 0 0 ✗ 0 0 ODE 211 ✓ 0.055 19 ✓ 0.011 29 ODE 212 ✓ 0.019 14 ✓ 0.006 11 ODE 213 ✓ 0.077 16 ✓ 0.081 59 ODE 214 ✓ 0.031 16 ✓ 0.012 17 ODE 215 ✓ 0.04 14 ✓ 0.112 17 ODE 216 ✓ 0.014 18 ✓ 0.01 18 ODE 217 ✓ 0.024 21 ✓ 0.022 31 ODE 218 ✓ 0.009 13 ✓ 0.006 13 ODE 219 ✓ 0.015 17 ✓ 0.02 17 ODE 220 ✓ 0.03 19 ✓ 0.02 17 ODE 221 ✓ 0.036 16 ✓ 0.042 45 ODE 222 ✓ 4.293 39 ✓ 0.272 32 ODE 223 ✓ 527.297 142 ✓ 0.107 39 ODE 224 ✓ 0.016 18 ✓ 0.013 14 ODE 225 ✓ 0.005 22 ✓ 0.005 18 ODE 226 ✓ 0.012 17 ✓ 0.007 14 ODE 227 ✓ 0.027 39 ✓ 0.01 37 ODE 228 ✓ 0.013 49 ✓ 0.007 23 ODE 229 ✓ 0.014 119 ✓ 0.007 34 ODE 230 ✓ 0.185 57 ✓ 0.097 81 ODE 231 ✓ 0.005 19 ✓ 0.007 17 ODE 232 ✓ 0.01 26 ✓ 0.013 22 ODE 233 ✓ 0.005 25 ✓ 0.005 24 ODE 234 ✓ 0.007 21 ✓ 0.007 19 ODE 235 ✓ 0.01 20 ✓ 0.01 18 ODE 236 ✓ 0.016 32 ✓ 0.01 28 ODE 237 ✓ 0.022 22 ✓ 0.006 22 ODE 238 ✓ 0.019 77 ✓ 0.013 35 ODE 239 ✓ 0.005 21 ✓ 0.006 15 ODE 240 ✓ 0.105 124 ✓ 0.253 62 ODE 241 ✓ 0.019 63 ✓ 0.006 15 ODE 242 ✓ 0.018 53 ✓ 0.005 13 ODE 243 ✓ 0.011 60 ✓ 0.008 23 ODE 244 ✓ 2.022 357 ✓ 0.032 34 ODE 245 ✓ 0.013 22 ✓ 0.013 18 ODE 246 ✓ 0.015 20 ✓ 0.02 29 ODE 247 ✓ 0.012 32 ✓ 0.01 23 ODE 248 ✓ 0.014 64 ✓ 0.007 23 ODE 249 ✓ 0.012 61 ✓ 0.015 17 ODE 250 ✓ 0.009 84 ✓ 0.005 17 ODE 251 ✓ 0.01 115 ✓ 0.007 22 ODE 252 ✓ 0.006 15 ✓ 0.008 12 ODE 253 ✓ 0.009 26 ✓ 0.012 22 ODE 254 ✓ 0.007 26 ✓ 0.007 22 ODE 255 ✓ 0.007 19 ✓ 0.008 16 ODE 256 ✓ 0.009 22 ✓ 0.01 21 ODE 257 ✓ 0.006 19 ✓ 0.006 16 ODE 258 ✓ 0.032 32 ✓ 0.013 27 ODE 259 ✓ 0.014 24 ✓ 0.009 21 ODE 260 ✓ 0.011 24 ✓ 0.013 19 ODE 261 ✓ 0.067 32 ✓ 0.026 41 ODE 262 ✓ 0.022 39 ✓ 0.005 27 ODE 263 ✓ 0.008 17 ✓ 0.006 20 ODE 264 ✓ 0.016 31 ✓ 0.008 26 ODE 265 ✓ 0.063 66 ✓ 0.014 60 ODE 266 ✓ 0.135 1260 ✓ 0.099 196 ODE 267 ✓ 0.008 17 ✓ 0.016 25 ODE 268 ✓ 0.182 109 ✓ 0.089 52 ODE 269 ✓ 0.007 51 ✓ 0.012 37 ODE 270 ✓ 0.166 1577 ✓ 0.1 220 ODE 271 ✓ 0.033 64 ✓ 0.011 54 ODE 272 ✓ 3.172 268 ✓ 0.088 76 ODE 273 ✓ 0.013 42 ✓ 0.008 21 ODE 274 ✓ 0.009 46 ✓ 0.006 19 ODE 275 ✓ 0.618 239 ✓ 0.081 182 ODE 276 ✓ 0.872 279 ✓ 0.095 308 ODE 277 ✓ 0.031 144 ✓ 0.008 29 ODE 278 ✓ 0.013 21 ✓ 0.007 19 ODE 279 ✓ 0.151 23 ✓ 0.443 18 ODE 280 ✓ 0.024 52 ✓ 0.016 30 ODE 281 ✓ 0.011 30 ✓ 2.933 47 ODE 282 ✓ 0.013 21 ✓ 0.01 20 ODE 283 ✓ 0.012 23 ✓ 0.011 19 ODE 284 ✓ 0.013 22 ✓ 0.011 18 ODE 285 ✓ 0.01 32 ✓ 0.011 48 ODE 286 ✓ 0.008 19 ✓ 0.012 18 ODE 287 ✓ 0.019 42 ✓ 0.523 58 ODE 288 ✓ 0.013 43 ✓ 0.013 53 ODE 289 ✓ 0.009 27 ✓ 0.01 20 ODE 290 ✓ 0.011 22 ✓ 0.011 18 ODE 291 ✓ 0.005 13 ✓ 0.005 13 ODE 292 ✓ 0.006 25 ✓ 0.006 23 ODE 293 ✓ 0.006 17 ✓ 0.007 15 ODE 294 ✓ 0.012 18 ✓ 0.009 16 ODE 295 ✓ 0.023 21 ✓ 0.008 19 ODE 296 ✓ 0.006 30 ✓ 0.007 29 ODE 297 ✓ 0.013 21 ✓ 0.008 18 ODE 298 ✓ 0.012 11 ✓ 0.006 12 ODE 299 ✓ 0.028 37 ✓ 0.006 12 ODE 300 ✓ 0.015 47 ✓ 0.107 14 ODE 301 ✓ 0.084 32 ✓ 2.865 231 ODE 302 ✓ 0.024 23 ✓ 0.009 19 ODE 303 ✓ 0.035 33 ✓ 0.011 22 ODE 304 ✓ 0.543 161 ✓ 0.962 85 ODE 305 ✓ 0.231 39 ✓ 0.784 31 ODE 306 ✗ 0 0 ✓ 0.33 27 ODE 307 ✓ 0.019 27 ✓ 0.024 24 ODE 308 ✓ 0.018 26 ✓ 0.011 22 ODE 309 ✓ 0.035 43 ✓ 0.018 40 ODE 310 ✓ 0.017 32 ✓ 0.009 25 ODE 311 ✓ 0.157 58 ✓ 0.367 280 ODE 312 ✓ 0.036 33 ✓ 0.011 21 ODE 313 ✓ 0.012 24 ✓ 0.021 23 ODE 314 ✓ 0.006 21 ✓ 0.01 19 ODE 315 ✓ 0.006 21 ✓ 0.007 19 ODE 316 ✓ 0.008 14 ✓ 0.013 12 ODE 317 ✓ 0.01 23 ✓ 0.017 19 ODE 318 ✓ 0.011 29 ✓ 0.02 25 ODE 319 ✓ 0.008 23 ✓ 0.016 21 ODE 320 ✓ 0.013 22 ✓ 0.02 19 ODE 321 ✓ 0.012 34 ✓ 0.018 27 ODE 322 ✓ 0.044 50 ✓ 0.022 33 ODE 323 ✓ 0.01 17 ✓ 0.007 15 ODE 324 ✓ 0.023 34 ✓ 0.037 57 ODE 325 ✓ 0.016 34 ✓ 0.02 37 ODE 326 ✓ 0.026 42 ✓ 0.018 44 ODE 327 ✓ 0.018 39 ✓ 0.015 42 ODE 328 ✓ 0.069 70 ✓ 0.011 56 ODE 329 ✓ 0.256 102 ✓ 0.202 58 ODE 330 ✓ 0.003 17 ✓ 0.006 12 ODE 331 ✓ 0.038 18 ✓ 0.057 16 ODE 332 ✓ 0.008 24 ✓ 0.009 16 ODE 333 ✓ 0.071 32 ✓ 0.018 23 ODE 334 ✓ 0.037 33 ✓ 0.013 25 ODE 335 ✓ 0.009 22 ✓ 0.009 18 ODE 336 ✓ 0.014 22 ✓ 0.02 27 ODE 337 ✓ 0.036 66 ✓ 0.017 37 ODE 338 ✓ 0.075 63 ✓ 0.203 97 ODE 339 ✓ 0.025 23 ✓ 0.013 19 ODE 340 ✓ 0.023 38 ✓ 0.016 23 ODE 341 ✓ 0.019 23 ✓ 0.012 24 ODE 342 ✓ 0.038 55 ✓ 0.012 37 ODE 343 ✓ 0.018 28 ✓ 0.012 27 ODE 344 ✓ 0.009 19 ✓ 0.016 17 ODE 345 ✓ 2.506 110 ✓ 0.047 153 ODE 346 ✓ 0.01 23 ✓ 0.009 21 ODE 347 ✓ 0.006 16 ✓ 0.011 14 ODE 348 ✓ 0.02 22 ✓ 0.014 24 ODE 349 ✓ 0.008 17 ✓ 0.006 19 ODE 350 ✓ 0.03 39 ✓ 0.008 19 ODE 351 ✓ 0.01 24 ✓ 0.005 21 ODE 352 ✓ 0.038 27 ✓ 0.02 31 ODE 353 ✓ 0.013 25 ✓ 0.021 32 ODE 354 ✓ 0.008 42 ✓ 0.007 17 ODE 355 ✓ 0.15 17 ✓ 0.45 17 ODE 356 ✓ 0.014 23 ✓ 0.011 19 ODE 357 ✓ 0.017 25 ✓ 0.024 51 ODE 358 ✓ 0.009 21 ✓ 0.01 18 ODE 359 ✓ 0.014 37 ✓ 0.011 25 ODE 360 ✓ 0.009 16 ✓ 0.013 14 ODE 361 ✓ 0.011 25 ✓ 0.02 17 ODE 362 ✓ 0.016 23 ✓ 0.026 20 ODE 363 ✓ 0.013 26 ✓ 0.011 23 ODE 364 ✓ 0.007 23 ✓ 0.01 21 ODE 365 ✓ 0.01 26 ✓ 0.013 22 ODE 366 ✓ 0.119 73 ✓ 0.553 30 ODE 367 ✓ 0.014 20 ✓ 0.012 22 ODE 368 ✓ 0.138 34 ✓ 0.005 17 ODE 369 ✓ 0.009 44 ✓ 0.005 19 ODE 370 ✓ 0.011 94 ✓ 0.008 22 ODE 371 ✓ 0.12 104 ✓ 0.01 50 ODE 372 ✓ 0.008 21 ✓ 0.007 19 ODE 373 ✓ 0.012 112 ✓ 0.079 34 ODE 374 ✓ 1.511 40 ✓ 0.405 23 ODE 375 ✓ 0.032 45 ✓ 0.022 28 ODE 376 ✓ 0.011 21 ✓ 0.006 21 ODE 377 ✓ 0.166 24 ✓ 0.683 18 ODE 378 ✓ 0.224 42 ✓ 0.029 67 ODE 379 ✓ 0.012 22 ✓ 0.013 18 ODE 380 ✓ 1.469 612 ✓ 0.383 490 ODE 381 ✓ 0.004 15 ✓ 0.005 15 ODE 382 ✓ 0.038 46 ✓ 0.013 36 ODE 383 ✓ 0.458 108 ✓ 0.065 63 ODE 384 ✓ 0.017 28 ✓ 0.011 26 ODE 385 ✓ 0.068 222 ✓ 0.084 52 ODE 386 ✓ 0.201 470 ✓ 0.64 218 ODE 387 ✗ 0 0 ✓ 0.43 498 ODE 388 ✓ 0.069 143 ✓ 0.02 72 ODE 389 ✓ 0.022 113 ✓ 0.013 38 ODE 390 ✓ 0.251 254 ✓ 0.095 962 ODE 391 ✗ 0 0 ✗ 0 0 ODE 392 ✓ 0.03 33 ✓ 0.013 34 ODE 393 ✓ 0.02 11 ✓ 0.01 12 ODE 394 ✓ 0.069 59 ✓ 0.017 39 ODE 395 ✓ 0.025 42 ✓ 0.015 36 ODE 396 ✓ 0.056 61 ✓ 0.014 33 ODE 397 ✓ 0.048 106 ✓ 0.018 37 ODE 398 ✓ 0.095 90 ✓ 0.036 74 ODE 399 ✓ 0.073 100 ✓ 0.039 86 ODE 400 ✓ 0.003 21 ✓ 0.006 15 ODE 401 ✓ 0.003 20 ✓ 0.005 14 ODE 402 ✓ 0.009 143 ✓ 0.111 119 ODE 403 ✓ 0.335 191 ✓ 0.013 28 ODE 404 ✓ 0.318 100 ✓ 0.021 38 ODE 405 ✓ 0.051 14 ✓ 0.013 32 ODE 406 ✓ 0.231 149 ✓ 0.016 34 ODE 407 ✓ 0.002 7 ✓ 0.003 5 ODE 408 ✓ 0.002 21 ✓ 0.005 15 ODE 409 ✓ 0.003 20 ✓ 0.005 14 ODE 410 ✓ 0.783 196 ✓ 0.062 33 ODE 411 ✓ 0.664 558 ✓ 0.105 36 ODE 412 ✓ 0.003 20 ✓ 0.008 14 ODE 413 ✓ 0.378 63 ✓ 1.013 87 ODE 414 ✓ 0.058 18 ✓ 0.06 18 ODE 415 ✓ 0.029 13 ✓ 0.038 10 ODE 416 ✓ 0.027 15 ✓ 0.053 13 ODE 417 ✓ 0.051 58 ✓ 0.06 52 ODE 418 ✓ 0.016 25 ✓ 0.01 21 ODE 419 ✓ 0.007 16 ✓ 0.006 14 ODE 420 ✓ 0.005 39 ✓ 0.004 14 ODE 421 ✓ 0.009 43 ✓ 0.006 15 ODE 422 ✗ 0 0 ✗ 0 0 ODE 423 ✓ 0.139 71 ✓ 0.016 67 ODE 424 ✓ 0.036 32 ✓ 0.009 24 ODE 425 ✗ 0 0 ✗ 0 0 ODE 426 ✓ 0.01 47 ✓ 0.009 20 ODE 427 ✓ 0.013 77 ✓ 0.008 28 ODE 428 ✓ 0.072 106 ✓ 0.036 51 ODE 429 ✓ 0.161 71 ✓ 0.01 62 ODE 430 ✓ 0.016 62 ✓ 0.007 22 ODE 431 ✓ 0.036 36 ✓ 0.022 20 ODE 432 ✓ 0.014 43 ✓ 0.009 18 ODE 433 ✓ 0.016 39 ✓ 0.012 29 ODE 434 ✓ 28.217 92 ✓ 0.125 30 ODE 435 ✓ 0.135 71 ✓ 0.021 66 ODE 436 ✓ 0.041 61 ✓ 0.008 19 ODE 437 ✓ 0.022 47 ✓ 0.033 16 ODE 438 ✓ 0.014 20 ✓ 0.018 16 ODE 439 ✓ 0.03 31 ✓ 0.013 35 ODE 440 ✓ 0.023 51 ✓ 0.011 33 ODE 441 ✓ 0.006 18 ✓ 0.007 15 ODE 442 ✓ 0.019 24 ✓ 0.012 25 ODE 443 ✓ 0.042 17 ✓ 0.011 24 ODE 444 ✓ 0.038 23 ✓ 0.033 26 ODE 445 ✓ 1.661 159 ✓ 0.025 64 ODE 446 ✓ 0.009 43 ✓ 0.02 22 ODE 447 ✓ 1.127 159 ✓ 0.023 61 ODE 448 ✓ 1.831 179 ✓ 0.024 71 ODE 449 ✓ 0.031 33 ✓ 0.012 35 ODE 450 ✓ 0.018 30 ✓ 0.026 26 ODE 451 ✓ 0.02 22 ✓ 0.025 18 ODE 452 ✓ 0.289 1601 ✓ 0.022 47 ODE 453 ✓ 0.01 53 ✓ 0.02 42 ODE 454 ✓ 0.357 4937 ✓ 0.03 55 ODE 455 ✓ 0.012 63 ✓ 0.02 44 ODE 456 ✓ 0.035 80 ✓ 0.022 35 ODE 457 ✓ 0.196 2563 ✓ 0.029 49 ODE 458 ✓ 0.074 925 ✓ 0.022 41 ODE 459 ✓ 0.056 49 ✓ 0.032 71 ODE 460 ✓ 0.017 29 ✓ 0.014 23 ODE 461 ✓ 0.096 232 ✓ 0.02 29 ODE 462 ✓ 0.05 85 ✓ 0.111 74 ODE 463 ✓ 0.01 47 ✓ 0.007 18 ODE 464 ✓ 0.012 57 ✓ 0.007 21 ODE 465 ✓ 0.018 26 ✓ 0.018 16 ODE 466 ✓ 0.029 29 ✓ 0.011 35 ODE 467 ✓ 0.023 55 ✓ 0.011 33 ODE 468 ✓ 0.01 67 ✓ 0.02 50 ODE 469 ✓ 0.016 30 ✓ 0.026 26 ODE 470 ✓ 0.219 2587 ✓ 0.031 45 ODE 471 ✓ 0.009 53 ✓ 0.012 19 ODE 472 ✓ 0.01 67 ✓ 0.02 50 ODE 473 ✓ 0.029 28 ✓ 0.026 26 ODE 474 ✓ 0.016 29 ✓ 0.025 26 ODE 475 ✓ 0.13 256 ✓ 0.031 45 ODE 476 ✓ 0.009 65 ✓ 0.013 20 ODE 477 ✗ 0 0 ✗ 0 0 ODE 478 ✓ 0.035 81 ✓ 0.049 26 ODE 479 ✓ 0.442 29 ✓ 0.028 64 ODE 480 ✓ 0.03 59 ✓ 0.008 19 ODE 481 ✓ 0.069 781 ✓ 0.024 55 ODE 482 ✓ 0.017 30 ✓ 0.027 26 ODE 483 ✓ 0.02 30 ✓ 0.028 22 ODE 484 ✓ 0.016 30 ✓ 0.024 22 ODE 485 ✓ 0.018 26 ✓ 0.025 26 ODE 486 ✓ 0.038 31 ✓ 0.013 35 ODE 487 ✓ 0.014 26 ✓ 0.031 26 ODE 488 ✓ 0.011 61 ✓ 0.023 24 ODE 489 ✓ 0.01 71 ✓ 0.02 50 ODE 490 ✓ 4.833 109 ✓ 0.023 59 ODE 491 ✓ 0.287 1677 ✓ 0.031 55 ODE 492 ✓ 0.355 4961 ✓ 0.03 47 ODE 493 ✓ 0.028 276 ✓ 0.021 35 ODE 494 ✓ 1. 3591 ✓ 0.049 99 ODE 495 ✓ 0.183 1177 ✓ 0.03 43 ODE 496 ✓ 0.018 28 ✓ 0.022 24 ODE 497 ✓ 1.948 7785 ✓ 0.023 47 ODE 498 ✓ 22.004 145 ✓ 0.025 72 ODE 499 ✓ 0.01 77 ✓ 0.023 36 ODE 500 ✓ 0.104 1673 ✓ 0.03 47 ODE 501 ✓ 2.633 7715 ✓ 0.03 47 ODE 502 ✓ 0.378 73 ✓ 0.017 67 ODE 503 ✓ 0.039 36 ✓ 0.023 23 ODE 504 ✓ 0.03 83 ✓ 0.013 36 ODE 505 ✓ 0.037 45 ✓ 0.016 50 ODE 506 ✓ 0.045 106 ✓ 0.037 126 ODE 507 ✓ 1.405 216 ✓ 0.043 228 ODE 508 ✓ 0.012 50 ✓ 0.006 15 ODE 509 ✓ 0.006 42 ✓ 0.007 17 ODE 510 ✓ 0.007 46 ✓ 0.006 19 ODE 511 ✓ 0.007 43 ✓ 0.006 17 ODE 512 ✓ 0.023 38 ✓ 0.008 22 ODE 513 ✓ 0.019 20 ✓ 0.01 26 ODE 514 ✓ 0.023 20 ✓ 0.01 31 ODE 515 ✓ 0.016 58 ✓ 0.008 21 ODE 516 ✓ 0.021 86 ✓ 0.008 31 ODE 517 ✓ 0.02 58 ✓ 0.01 21 ODE 518 ✗ 0 0 ✓ 0.302 24 ODE 519 ✓ 0.045 25 ✓ 0.012 32 ODE 520 ✓ 0.014 16 ✓ 0.02 17 ODE 521 ✓ 0.017 16 ✓ 0.007 15 ODE 522 ✓ 0.017 23 ✓ 0.008 15 ODE 523 ✓ 0.016 21 ✓ 0.007 17 ODE 524 ✓ 0.007 50 ✓ 0.007 23 ODE 525 ✓ 0.073 29 ✓ 0.044 29 ODE 526 ✓ 0.022 96 ✓ 0.033 74 ODE 527 ✗ 0 0 ✗ 0 0 ODE 528 ✓ 0.018 31 ✓ 0.01 22 ODE 529 ✓ 0.037 75 ✓ 0.021 33 ODE 530 ✓ 0.015 20 ✓ 0.011 26 ODE 531 ✓ 0.022 30 ✓ 0.011 31 ODE 532 ✓ 0.026 54 ✓ 0.013 33 ODE 533 ✓ 0.214 74 ✓ 0.041 42 ODE 534 ✗ 0 0 ✗ 0 0 ODE 535 ✓ 0.047 431 ✓ 0.022 37 ODE 536 ✓ 0.038 90 ✓ 0.013 37 ODE 537 ✓ 0.011 68 ✓ 0.02 33 ODE 538 ✓ 0.011 71 ✓ 0.021 31 ODE 539 ✓ 0.011 73 ✓ 0.02 33 ODE 540 ✓ 0.021 23 ✓ 0.009 17 ODE 541 ✓ 0.016 32 ✓ 0.019 33 ODE 542 ✓ 0.01 37 ✓ 0.012 18 ODE 543 ✓ 0.012 52 ✓ 0.005 15 ODE 544 ✓ 0.008 44 ✓ 0.006 18 ODE 545 ✓ 0.008 60 ✓ 0.005 19 ODE 546 ✓ 0.007 38 ✓ 0.005 14 ODE 547 ✓ 0.008 52 ✓ 0.007 22 ODE 548 ✓ 0.013 59 ✓ 0.013 25 ODE 549 ✓ 0.011 75 ✓ 0.014 22 ODE 550 ✓ 0.022 51 ✓ 0.011 23 ODE 551 ✓ 0.032 385 ✓ 0.021 33 ODE 552 ✓ 0.023 62 ✓ 0.013 27 ODE 553 ✓ 15.088 457 ✓ 0.054 74 ODE 554 ✓ 14.96 451 ✓ 0.032 76 ODE 555 ✓ 0.01 58 ✓ 0.011 28 ODE 556 ✓ 0.014 56 ✓ 0.009 26 ODE 557 ✓ 0.088 413 ✓ 0.019 31 ODE 558 ✓ 0.028 71 ✓ 0.013 35 ODE 559 ✓ 0.012 83 ✓ 0.014 25 ODE 560 ✓ 0.011 75 ✓ 0.014 24 ODE 561 ✓ 0.018 68 ✓ 0.009 28 ODE 562 ✓ 0.012 72 ✓ 0.008 27 ODE 563 ✓ 0.014 31 ✓ 0.008 24 ODE 564 ✓ 0.031 34 ✓ 0.023 51 ODE 565 ✗ 0 0 ✓ 0.285 509 ODE 566 ✗ 0 0 ✓ 0.847 3737 ODE 567 ✓ 2.35 77 ✓ 0.055 77 ODE 568 ✓ 0.01 57 ✓ 0.014 17 ODE 569 ✓ 15.013 738 ✓ 0.044 101 ODE 570 ✓ 0.982 30 ✓ 0.017 29 ODE 571 ✓ 0.014 62 ✓ 0.014 27 ODE 572 ✓ 0.016 81 ✓ 0.017 24 ODE 573 ✓ 4.953 30 ✓ 0.011 21 ODE 574 ✓ 0.017 21 ✓ 0.008 17 ODE 575 ✓ 0.018 25 ✓ 0.011 23 ODE 576 ✓ 0.016 47 ✓ 0.007 18 ODE 577 ✓ 0.032 93 ✓ 0.027 43 ODE 578 ✓ 0.011 43 ✓ 0.008 20 ODE 579 ✓ 0.88 32 ✓ 0.024 30 ODE 580 ✓ 0.013 69 ✓ 0.012 20 ODE 581 ✓ 0.013 74 ✓ 0.018 25 ODE 582 ✓ 0.066 101 ✓ 0.03 48 ODE 583 ✓ 0.017 58 ✓ 0.011 23 ODE 584 ✓ 0.008 47 ✓ 0.008 19 ODE 585 ✓ 0.037 42 ✓ 0.019 44 ODE 586 ✓ 14.689 326 ✓ 0.019 30 ODE 587 ✓ 0.008 44 ✓ 0.005 19 ODE 588 ✓ 0.012 71 ✓ 0.013 24 ODE 589 ✓ 1.417 1769 ✓ 0.021 29 ODE 590 ✓ 0.029 78 ✓ 0.024 41 ODE 591 ✓ 0.035 98 ✓ 0.02 38 ODE 592 ✓ 0.008 51 ✓ 0.007 19 ODE 593 ✓ 1.16 98 ✓ 0.055 96 ODE 594 ✓ 0.02 61 ✓ 0.019 20 ODE 595 ✓ 0.037 63 ✓ 0.013 17 ODE 596 ✗ 0 0 ✗ 0 0 ODE 597 ✓ 26.919 38 ✓ 0.008 27 ODE 598 ✓ 1.406 25 ✓ 0.008 17 ODE 599 ✓ 0.218 420 ✓ 0.014 25 ODE 600 ✓ 0.016 326 ✓ 0.013 20 ODE 601 ✓ 0.478 121 ✓ 0.02 37 ODE 602 ✓ 1.373 44 ✓ 0.015 29 ODE 603 ✓ 0.089 61 ✓ 0.012 33 ODE 604 ✓ 0.603 359 ✓ 0.013 35 ODE 605 ✓ 0.227 372 ✓ 0.013 35 ODE 606 ✓ 1.642 25 ✓ 0.037 29 ODE 607 ✓ 0.018 312 ✓ 0.015 23 ODE 608 ✓ 0.029 438 ✓ 0.021 33 ODE 609 ✓ 0.025 16 ✓ 0.046 31 ODE 610 ✓ 0.179 458 ✓ 0.025 40 ODE 611 ✓ 0.013 53 ✓ 0.027 46 ODE 612 ✓ 0.016 346 ✓ 0.008 27 ODE 613 ✓ 3.352 106 ✓ 0.183 25 ODE 614 ✓ 0.052 19 ✓ 0.016 17 ODE 615 ✓ 0.02 414 ✓ 0.013 21 ODE 616 ✓ 0.065 21 ✓ 0.014 25 ODE 617 ✓ 0.039 20 ✓ 0.026 22 ODE 618 ✓ 0.114 35 ✓ 0.033 33 ODE 619 ✓ 0.037 89 ✓ 0.016 40 ODE 620 ✓ 0.785 45 ✓ 0.026 42 ODE 621 ✓ 0.109 27 ✓ 0.027 28 ODE 622 ✓ 0.253 35 ✓ 0.02 68 ODE 623 ✓ 0.087 25 ✓ 0.028 47 ODE 624 ✓ 0.034 381 ✓ 0.016 35 ODE 625 ✓ 0.072 747 ✓ 0.027 44 ODE 626 ✓ 0.217 1089 ✓ 0.039 71 ODE 627 ✓ 0.177 69 ✗ 0 0 ODE 628 ✓ 0.038 111 ✓ 0.007 26 ODE 629 ✓ 0.016 307 ✓ 0.014 18 ODE 630 ✓ 0.031 66 ✓ 0.014 38 ODE 631 ✓ 0.049 501 ✓ 0.046 30 ODE 632 ✓ 0.032 382 ✓ 0.014 44 ODE 633 ✓ 0.177 3501 ✓ 0.042 75 ODE 634 ✓ 0.026 570 ✓ 0.018 27 ODE 635 ✓ 0.014 115 ✓ 0.017 27 ODE 636 ✓ 0.035 66 ✓ 0.016 32 ODE 637 ✓ 0.045 51 ✓ 0.023 56 ODE 638 ✓ 0.058 87 ✓ 0.021 39 ODE 639 ✓ 0.108 1105 ✓ 0.017 40 ODE 640 ✓ 0.071 744 ✓ 0.015 46 ODE 641 ✓ 0.027 57 ✓ 0.01 23 ODE 642 ✓ 0.092 661 ✓ 0.02 35 ODE 643 ✓ 0.02 44 ✓ 0.011 28 ODE 644 ✓ 0.066 83 ✓ 0.091 116 ODE 645 ✓ 0.029 65 ✓ 0.092 114 ODE 646 ✓ 0.038 56 ✓ 0.018 29 ODE 647 ✓ 0.088 48 ✓ 0.151 40 ODE 648 ✓ 0.057 32 ✓ 0.013 34 ODE 649 ✓ 0.036 26 ✓ 0.018 29 ODE 650 ✓ 0.134 30 ✓ 0.018 34 ODE 651 ✓ 0.082 37 ✓ 0.018 49 ODE 652 ✓ 0.505 1069 ✓ 0.019 33 ODE 653 ✓ 0.044 163 ✓ 0.019 33 ODE 654 ✓ 0.061 216 ✓ 0.021 37 ODE 655 ✓ 0.064 31 ✓ 0.013 37 ODE 656 ✓ 0.008 72 ✓ 0.006 17 ODE 657 ✓ 0.16 2348 ✓ 0.021 24 ODE 658 ✓ 0.019 328 ✓ 0.014 27 ODE 659 ✓ 0.024 362 ✓ 0.024 21 ODE 660 ✓ 0.398 27 ✓ 0.112 23 ODE 661 ✓ 0.008 99 ✓ 0.004 17 ODE 662 ✓ 0.035 64 ✓ 0.013 30 ODE 663 ✓ 0.037 67 ✓ 0.021 37 ODE 664 ✓ 0.049 288 ✓ 0.028 46 ODE 665 ✓ 0.01 111 ✓ 0.006 25 ODE 666 ✓ 0.022 55 ✓ 0.011 25 ODE 667 ✓ 0.039 29 ✓ 0.025 27 ODE 668 ✓ 0.017 60 ✓ 0.024 40 ODE 669 ✓ 0.058 75 ✓ 0.024 40 ODE 670 ✓ 0.065 30 ✓ 0.018 27 ODE 671 ✓ 0.053 83 ✓ 0.025 28 ODE 672 ✓ 0.072 30 ✓ 0.017 26 ODE 673 ✓ 0.027 424 ✓ 0.017 28 ODE 674 ✓ 0.034 660 ✓ 0.024 35 ODE 675 ✓ 0.011 41 ✓ 0.007 18 ODE 676 ✓ 0.066 24 ✓ 0.018 43 ODE 677 ✓ 0.018 117 ✓ 0.016 31 ODE 678 ✓ 0.095 1211 ✓ 0.013 21 ODE 679 ✓ 0.046 201 ✓ 0.019 37 ODE 680 ✓ 0.159 1430 ✓ 0.014 35 ODE 681 ✓ 0.116 1807 ✓ 0.016 29 ODE 682 ✓ 0.127 37 ✗ 0 0 ODE 683 ✓ 0.024 149 ✓ 0.016 37 ODE 684 ✓ 0.038 129 ✓ 0.016 35 ODE 685 ✓ 0.208 39 ✓ 0.191 47 ODE 686 ✓ 0.101 878 ✓ 0.023 45 ODE 687 ✓ 0.012 151 ✓ 0.009 23 ODE 688 ✓ 0.065 209 ✓ 0.024 43 ODE 689 ✓ 0.042 159 ✓ 0.015 37 ODE 690 ✓ 0.044 364 ✓ 0.162 28 ODE 691 ✓ 0.178 2201 ✓ 0.017 51 ODE 692 ✓ 0.038 108 ✓ 0.015 32 ODE 693 ✓ 0.079 524 ✓ 0.199 36 ODE 694 ✓ 0.024 61 ✓ 0.01 29 ODE 695 ✓ 0.127 359 ✓ 0.021 33 ODE 696 ✓ 0.029 370 ✓ 0.017 27 ODE 697 ✓ 0.189 433 ✓ 0.026 47 ODE 698 ✓ 0.065 34 ✓ 0.014 36 ODE 699 ✓ 0.107 331 ✓ 0.025 49 ODE 700 ✓ 0.096 1139 ✓ 0.016 29 ODE 701 ✓ 0.505 23 ✓ 0.092 26 ODE 702 ✓ 0.021 302 ✓ 0.016 35 ODE 703 ✓ 0.031 358 ✓ 0.108 20 ODE 704 ✓ 0.28 42 ✓ 0.139 33 ODE 705 ✓ 0.2 2097 ✓ 0.021 27 ODE 706 ✓ 0.042 491 ✓ 0.114 27 ODE 707 ✓ 0.032 672 ✓ 0.119 21 ODE 708 ✓ 0.061 34 ✓ 0.021 51 ODE 709 ✓ 0.64 117 ✓ 0.017 31 ODE 710 ✓ 0.072 1021 ✓ 0.019 35 ODE 711 ✓ 0.153 239 ✓ 0.422 37 ODE 712 ✓ 0.013 123 ✓ 0.006 16 ODE 713 ✓ 0.15 2021 ✓ 0.016 27 ODE 714 ✓ 4.637 1 ✓ 0.045 81 ODE 715 ✓ 0.422 584 ✓ 0.118 22 ODE 716 ✓ 0.025 161 ✓ 0.035 61 ODE 717 ✓ 0.019 139 ✓ 0.019 31 ODE 718 ✓ 0.013 116 ✓ 0.02 35 ODE 719 ✓ 0.016 141 ✓ 0.02 37 ODE 720 ✓ 0.025 253 ✓ 0.172 25 ODE 721 ✗ 0 0 ✗ 0 0 ODE 722 ✗ 0 0 ✓ 0.123 40 ODE 723 ✓ 0.164 50 ✓ 0.085 37 ODE 724 ✓ 1.044 93 ✓ 0.035 70 ODE 725 ✓ 0.176 89 ✓ 0.013 67 ODE 726 ✓ 0.088 94 ✓ 0.02 75 ODE 727 ✓ 0.003 20 ✓ 0.005 14 ODE 728 ✓ 0.032 39 ✓ 0.024 19 ODE 729 ✓ 0.087 60 ✓ 0.071 50 ODE 730 ✓ 0.089 28 ✓ 0.034 18 ODE 731 ✓ 0.128 321 ✓ 0.015 28 ODE 732 ✓ 0.108 321 ✓ 0.01 28 ODE 733 ✓ 0.045 52 ✓ 0.062 18 ODE 734 ✓ 1.137 40 ✓ 0.283 27 ODE 735 ✓ 1.155 2949 ✓ 0.132 133 ODE 736 ✓ 1.227 429 ✓ 0.061 35 ODE 737 ✓ 3.754 35 ✓ 0.413 73 ODE 738 ✓ 0.127 27 ✓ 0.167 27 ODE 739 ✗ 0 0 ✗ 0 0 ODE 740 ✓ 0.143 32 ✓ 0.271 33 ODE 741 ✓ 0.419 26 ✓ 0.17 23 ODE 742 ✗ 0 0 ✗ 0 0 ODE 743 ✓ 0.058 17 ✓ 0.08 15 ODE 744 ✓ 0.071 21 ✓ 0.105 19 ODE 745 ✓ 0.122 27 ✓ 0.081 23 ODE 746 ✓ 0.084 14 ✓ 0.066 13 ODE 747 ✓ 0.074 27 ✓ 0.021 30 ODE 748 ✓ 0.069 33 ✓ 0.034 15 ODE 749 ✓ 0.026 23 ✓ 0.009 15 ODE 750 ✓ 0.057 17 ✓ 0.071 15 ODE 751 ✓ 0.085 27 ✓ 0.045 18 ODE 752 ✓ 0.03 57 ✓ 0.446 41 ODE 753 ✓ 0.015 31 ✓ 0.034 31 ODE 754 ✓ 0.204 46 ✓ 0.014 35 ODE 755 ✗ 0 0 ✓ 1.037 267 ODE 756 ✓ 0.674 158 ✓ 0.137 212 ODE 757 ✓ 0.741 1865 ✓ 0.137 418 ODE 758 ✗ 0 0 ✓ 0.249 280 ODE 759 ✓ 0.018 23 ✓ 0.037 31 ODE 760 ✓ 0.021 23 ✓ 0.036 31 ODE 761 ✓ 0.045 99 ✓ 0.047 61 ODE 762 ✓ 0.004 26 ✓ 0.007 20 ODE 763 ✓ 0.097 93 ✓ 0.036 72 ODE 764 ✓ 0.004 33 ✓ 0.007 23 ODE 765 ✓ 0.022 35 ✓ 0.035 37 ODE 766 ✓ 0.602 173 ✓ 0.159 90 ODE 767 ✓ 0.047 68 ✓ 0.035 51 ODE 768 ✓ 0.092 71 ✓ 0.143 50 ODE 769 ✓ 0.239 243 ✓ 0.396 212 ODE 770 ✓ 0.265 91 ✓ 0.149 110 ODE 771 ✓ 0.491 209 ✓ 0.195 158 ODE 772 ✓ 0.721 931 ✓ 0.247 382 ODE 773 ✓ 2.855 413 ✓ 0.242 190 ODE 774 ✓ 0.586 865 ✓ 0.154 195 ODE 775 ✗ 0 0 ✗ 0 0 ODE 776 ✓ 0.018 47 ✓ 0.022 35 ODE 777 ✓ 0.28 76 ✓ 0.024 39 ODE 778 ✓ 0.063 73 ✓ 0.029 85 ODE 779 ✓ 0.002 21 ✓ 0.006 17 ODE 780 ✓ 0.002 21 ✓ 0.008 17 ODE 781 ✓ 0.008 53 ✓ 0.02 43 ODE 782 ✓ 0.04 68 ✓ 0.021 49 ODE 783 ✓ 0.314 110 ✓ 0.043 141 ODE 784 ✓ 0.034 83 ✓ 0.029 63 ODE 785 ✓ 0.003 12 ✓ 0.016 17 ODE 786 ✓ 0.002 14 ✓ 0.018 19 ODE 787 ✓ 0.288 1493 ✓ 0.016 31 ODE 788 ✓ 0.601 122 ✓ 0.015 48 ODE 789 ✓ 0.002 15 ✓ 0.017 22 ODE 790 ✓ 0.002 15 ✓ 0.018 22 ODE 791 ✓ 0.003 17 ✓ 0.018 24 ODE 792 ✓ 0.003 13 ✓ 0.019 20 ODE 793 ✓ 0.03 82 ✓ 0.026 65 ODE 794 ✓ 0.003 29 ✓ 0.006 21 ODE 795 ✓ 0.404 1445 ✓ 0.014 33 ODE 796 ✓ 0.374 1445 ✓ 0.013 33 ODE 797 ✓ 0.306 123 ✓ 0.022 20 ODE 798 ✓ 0.027 62 ✓ 0.027 45 ODE 799 ✓ 1.323 287 ✓ 0.016 42 ODE 800 ✓ 0.282 771 ✓ 0.017 33 ODE 801 ✓ 0.145 21 ✓ 0.019 21 ODE 802 ✓ 0.015 59 ✓ 0.026 47 ODE 803 ✓ 0.774 167 ✓ 0.019 25 ODE 804 ✗ 0 0 ✓ 0.182 394 ODE 805 ✓ 1.781 101 ✓ 0.023 50 ODE 806 ✓ 0.004 26 ✓ 0.007 20 ODE 807 ✗ 0 0 ✓ 0.231 368 ODE 808 ✓ 0.219 56 ✓ 0.413 27 ODE 809 ✗ 0 0 ✓ 0.403 27 ODE 810 ✓ 1.093 217 ✓ 0.205 23 ODE 811 ✓ 0.017 25 ✓ 0.035 19 ODE 812 ✓ 0.005 32 ✓ 0.008 25 ODE 813 ✓ 0.196 137 ✓ 0.269 23 ODE 814 ✓ 0.003 27 ✓ 0.008 20 ODE 815 ✓ 0.718 41 ✓ 0.029 42 ODE 816 ✓ 0.116 1373 ✓ 0.061 143 ODE 817 ✓ 0.003 23 ✓ 0.006 18 ODE 818 ✓ 0.05 55 ✓ 0.048 49 ODE 819 ✓ 0.571 4913 ✓ 0.063 155 ODE 820 ✓ 0.347 226 ✓ 0.067 69 ODE 821 ✓ 1.469 45 ✓ 0.041 106 ODE 822 ✓ 1.132 43 ✓ 0.02 48 ODE 823 ✓ 0.005 29 ✓ 0.007 22 ODE 824 ✓ 0.242 25 ✓ 0.273 56 ODE 825 ✓ 0.003 21 ✓ 0.007 16 ODE 826 ✓ 0.051 59 ✓ 0.036 79 ODE 827 ✓ 0.007 29 ✓ 0.008 25 ODE 828 ✓ 0.196 47 ✓ 0.187 82 ODE 829 ✓ 0.588 136 ✓ 0.294 86 ODE 830 ✓ 0.008 55 ✓ 0.011 25 ODE 831 ✓ 0.774 199 ✓ 0.075 81 ODE 832 ✓ 0.032 31 ✓ 0.107 91 ODE 833 ✓ 0.972 175 ✓ 2.484 142 ODE 834 ✗ 0 0 ✓ 0.372 259 ODE 835 ✓ 0.469 102 ✓ 0.015 28 ODE 836 ✓ 0.003 15 ✓ 0.019 22 ODE 837 ✗ 0 0 ✓ 0.13 122 ODE 838 ✓ 0.057 69 ✓ 0.051 51 ODE 839 ✓ 0.328 1093 ✓ 0.016 30 ODE 840 ✗ 0 0 ✓ 0.125 138 ODE 841 ✓ 0.005 27 ✓ 0.023 19 ODE 842 ✓ 0.255 56 ✓ 0.733 83 ODE 843 ✗ 0 0 ✓ 0.303 164 ODE 844 ✓ 0.298 771 ✓ 0.018 32 ODE 845 ✓ 0.292 771 ✓ 0.016 33 ODE 846 ✓ 1.153 193 ✓ 0.452 60 ODE 847 ✓ 0.006 39 ✓ 0.025 25 ODE 848 ✓ 0.237 167 ✓ 0.025 46 ODE 849 ✓ 0.284 41 ✓ 0.018 29 ODE 850 ✓ 1.13 163 ✓ 0.021 44 ODE 851 ✓ 1.23 32 ✓ 0.018 39 ODE 852 ✓ 13.296 34 ✓ 0.017 42 ODE 853 ✓ 30.713 39 ✓ 0.016 42 ODE 854 ✓ 30.997 40 ✓ 0.019 43 ODE 855 ✓ 1.032 180 ✓ 0.021 29 ODE 856 ✓ 0.005 24 ✓ 0.006 18 ODE 857 ✓ 25.886 1 ✓ 0.02 39 ODE 858 ✓ 0.37 183 ✓ 0.022 26 ODE 859 ✓ 0.249 167 ✓ 0.028 36 ODE 860 ✗ 0 0 ✓ 0.178 269 ODE 861 ✗ 0 0 ✓ 0.183 269 ODE 862 ✓ 0.806 158 ✓ 0.027 40 ODE 863 ✓ 0.204 133 ✓ 0.072 57 ODE 864 ✓ 0.703 212 ✓ 0.027 37 ODE 865 ✓ 0.312 16 ✓ 0.03 38 ODE 866 ✓ 0.878 145 ✓ 0.038 39 ODE 867 ✗ 0 0 ✓ 0.043 29 ODE 868 ✓ 2.832 323 ✓ 0.034 196 ODE 869 ✓ 1.705 9391 ✓ 0.017 33 ODE 870 ✓ 1.466 6977 ✓ 0.029 37 ODE 871 ✓ 0.072 151 ✓ 0.023 32 ODE 872 ✓ 0.075 51 ✓ 0.032 47 ODE 873 ✓ 1.828 357 ✓ 0.096 61 ODE 874 ✓ 0.004 21 ✓ 0.008 17 ODE 875 ✓ 0.635 243 ✓ 0.023 106 ODE 876 ✓ 0.592 223 ✓ 0.044 96 ODE 877 ✓ 0.003 20 ✓ 0.007 15 ODE 878 ✓ 0.004 21 ✓ 0.007 16 ODE 879 ✓ 0.003 28 ✓ 0.008 21 ODE 880 ✓ 0.019 52 ✓ 0.02 40 ODE 881 ✓ 0.256 57 ✓ 0.033 37 ODE 882 ✓ 0.584 201 ✓ 0.026 34 ODE 883 ✓ 242.704 286 ✓ 0.131 2085 ODE 884 ✓ 2.705 2 ✓ 0.034 54 ODE 885 ✓ 0.073 53 ✓ 0.033 53 ODE 886 ✓ 0.387 150 ✓ 0.03 37 ODE 887 ✓ 2.594 65 ✓ 0.058 97 ODE 888 ✓ 0.013 37 ✓ 0.034 30 ODE 889 ✓ 0.081 58 ✓ 0.021 29 ODE 890 ✓ 1.158 613 ✓ 0.021 33 ODE 891 ✓ 20.423 1 ✓ 0.023 32 ODE 892 ✓ 0.194 123 ✓ 0.073 53 ODE 893 ✓ 0.009 31 ✓ 0.024 23 ODE 894 ✓ 0.262 263 ✓ 0.067 77 ODE 895 ✓ 0.003 24 ✓ 0.007 20 ODE 896 ✓ 0.004 19 ✓ 0.009 15 ODE 897 ✓ 0.21 147 ✓ 0.053 137 ODE 898 ✓ 0.005 30 ✓ 0.012 24 ODE 899 ✓ 0.041 103 ✓ 0.077 45 ODE 900 ✓ 0.005 21 ✓ 0.01 17 ODE 901 ✓ 1.748 54 ✓ 10.321 80 ODE 902 ✓ 0.033 55 ✓ 0.244 22 ODE 903 ✓ 0.032 26 ✓ 1.386 67 ODE 904 ✓ 0.499 101 ✓ 0.045 42 ODE 905 ✓ 0.274 47 ✓ 0.044 36 ODE 906 ✓ 0.108 85 ✓ 0.06 69 ODE 907 ✓ 0.498 22 ✓ 0.231 34 ODE 908 ✓ 0.889 154 ✓ 0.173 130 ODE 909 ✓ 0.005 21 ✓ 0.01 17 ODE 910 ✗ 0 0 ✓ 0.105 69 ODE 911 ✓ 0.005 19 ✓ 0.01 15 ODE 912 ✓ 0.072 59 ✓ 0.055 83 ODE 913 ✓ 0.004 21 ✓ 0.012 17 ODE 914 ✗ 0 0 ✗ 0 0 ODE 915 ✓ 0.131 64 ✓ 0.08 99 ODE 916 ✓ 0.132 73 ✓ 0.08 103 ODE 917 ✓ 0.007 49 ✓ 0.01 25 ODE 918 ✓ 0.082 88 ✓ 251.375 166 ODE 919 ✓ 0.35 24 ✓ 0.292 31 ODE 920 ✓ 0.018 48 ✓ 0.032 40 ODE 921 ✓ 0.02 52 ✓ 0.037 44 ODE 922 ✓ 0.023 52 ✓ 0.035 44 ODE 923 ✓ 0.009 43 ✓ 0.035 52 ODE 924 ✓ 0.416 26 ✓ 0.449 36 ODE 925 ✓ 0.008 27 ✓ 0.015 23 ODE 926 ✗ 0 0 ✓ 0.044 69 ODE 927 ✗ 0 0 ✓ 1.707 17 ODE 928 ✓ 0.008 42 ✓ 0.058 30 ODE 929 ✓ 0.143 113 ✓ 0.103 99 ODE 930 ✓ 0.688 369 ✓ 0.119 229 ODE 931 ✓ 0.006 39 ✓ 0.025 31 ODE 932 ✓ 1.398 2799 ✓ 0.068 161 ODE 933 ✓ 0.368 123 ✓ 0.138 66 ODE 934 ✓ 0.515 1921 ✓ 0.095 195 ODE 935 ✓ 0.112 61 ✓ 0.423 35 ODE 936 ✓ 0.955 297 ✓ 0.069 83 ODE 937 ✓ 1.057 406 ✓ 0.059 69 ODE 938 ✓ 0.631 49 ✓ 0.07 43 ODE 939 ✓ 0.208 50 ✓ 0.177 84 ODE 940 ✓ 0.053 139 ✓ 0.038 90 ODE 941 ✓ 0.249 166 ✓ 0.098 107 ODE 942 ✓ 0.707 121 ✓ 0.158 67 ODE 943 ✓ 0.386 120 ✓ 0.063 71 ODE 944 ✓ 0.415 120 ✓ 0.069 71 ODE 945 ✓ 0.014 54 ✓ 0.031 39 ODE 946 ✓ 0.017 46 ✓ 0.026 40 ODE 947 ✓ 0.015 47 ✓ 0.076 50 ODE 948 ✓ 0.087 109 ✓ 0.08 107 ODE 949 ✗ 0 0 ✓ 0.049 51 ODE 950 ✓ 0.467 245 ✓ 0.057 112 ODE 951 ✓ 0.316 146 ✓ 0.795 73 ODE 952 ✗ 0 0 ✓ 0.231 65 ODE 953 ✓ 0.006 47 ✓ 0.006 20 ODE 954 ✓ 0.895 201 ✓ 0.085 243 ODE 955 ✓ 0.005 52 ✓ 0.007 24 ODE 956 ✓ 0.006 49 ✓ 0.007 21 ODE 957 ✓ 0.104 101 ✓ 0.045 87 ODE 958 ✓ 0.176 121 ✓ 0.073 107 ODE 959 ✓ 0.371 137 ✓ 0.378 102 ODE 960 ✓ 0.225 135 ✓ 0.587 152 ODE 961 ✗ 0 0 ✓ 0.239 65 ODE 962 ✓ 0.091 110 ✓ 0.052 136 ODE 963 ✗ 0 0 ✓ 0.168 477 ODE 964 ✓ 6.314 305 ✓ 0.02 37 ODE 965 ✓ 0.006 53 ✓ 0.007 23 ODE 966 ✓ 0.007 49 ✓ 0.011 22 ODE 967 ✓ 0.007 47 ✓ 0.01 20 ODE 968 ✓ 0.007 45 ✓ 0.01 24 ODE 969 ✗ 0 0 ✗ 0 0 ODE 970 ✗ 0 0 ✗ 0 0 ODE 971 ✓ 0.008 49 ✓ 1.554 24 ODE 972 ✓ 0.279 69 ✓ 26.886 103 ODE 973 ✓ 0.137 79 ✓ 0.228 115 ODE 974 ✓ 0.008 85 ✓ 0.007 29 ODE 975 ✓ 0.021 89 ✓ 0.687 76 ODE 976 ✓ 0.167 177 ✓ 14.78 62 ODE 977 ✗ 0 0 ✓ 3.643 62 ODE 978 ✓ 0.345 85 ✓ 0.821 63 ODE 979 ✓ 0.008 72 ✓ 0.007 29 ODE 980 ✓ 0.006 39 ✓ 0.025 14 ODE 981 ✓ 0.461 41 ✓ 6. 522 ODE 982 ✗ 0 0 ✓ 0.536 105 ODE 983 ✓ 0.57 63 ✓ 0.41 108 ODE 984 ✓ 0.955 65 ✓ 1.638 126 ODE 985 ✓ 0.053 69 ✓ 0.449 53 ODE 986 ✓ 0.264 111 ✓ 0.497 122 ODE 987 ✗ 0 0 ✗ 0 0 ODE 988 ✗ 0 0 ✓ 0.652 160 ODE 989 ✓ 0.15 79 ✓ 0.322 74 ODE 990 ✓ 0.392 317 ✓ 0.544 137 ODE 991 ✓ 0.177 93 ✓ 0.545 78 ODE 992 ✓ 0.042 64 ✓ 0.189 29 ODE 993 ✓ 0.049 97 ✓ 0.033 48 ODE 994 ✓ 94.179 53 ✓ 0.415 137 ODE 995 ✓ 0.452 57 ✓ 0.256 106 ODE 996 ✓ 0.189 203 ✓ 0.705 197 ODE 997 ✓ 0.009 81 ✓ 0.011 29 ODE 998 ✓ 0.162 3017 ✓ 0.032 69 ODE 999 ✓ 0.149 180 ✓ 1.828 62 ODE 1000 ✓ 0.073 891 ✓ 0.043 42 ODE 1001 ✓ 2.024 763 ✓ 1.169 181 ODE 1002 ✓ 1.186 86 ✓ 0.922 139 ODE 1003 ✓ 1.546 71 ✓ 1.334 195 ODE 1004 ✓ 0.346 132 ✓ 1.575 161 ODE 1005 ✗ 0 0 ✓ 1.357 129 ODE 1006 ✓ 0.012 73 ✓ 0.013 34 ODE 1007 ✓ 0.286 133 ✓ 0.151 104 ODE 1008 ✓ 0.013 97 ✓ 0.015 32 ODE 1009 ✓ 0.797 146 ✓ 0.832 339 ODE 1010 ✓ 0.152 99 ✓ 1.243 60 ODE 1011 ✓ 0.043 156 ✓ 0.022 55 ODE 1012 ✗ 0 0 ✓ 24.846 28 ODE 1013 ✓ 0.135 46 ✗ 0 0 ODE 1014 ✗ 0 0 ✓ 2.323 32 ODE 1015 ✓ 0.189 987 ✓ 0.177 79 ODE 1016 ✓ 0.39 408 ✓ 0.146 99 ODE 1017 ✓ 0.494 307 ✓ 0.162 104 ODE 1018 ✗ 0 0 ✓ 2.7 62 ODE 1019 ✗ 0 0 ✗ 0 0 ODE 1020 ✗ 0 0 ✗ 0 0 ODE 1021 ✓ 0.045 80 ✓ 0.063 68 ODE 1022 ✓ 0.014 95 ✓ 0.104 81 ODE 1023 ✓ 1.494 336 ✓ 0.016 43 ODE 1024 ✓ 1.804 473 ✓ 0.537 191 ODE 1025 ✓ 0.76 236 ✓ 0.187 133 ODE 1026 ✓ 0.892 274 ✓ 0.495 212 ODE 1027 ✓ 1.516 397 ✓ 0.567 275 ODE 1028 ✓ 11.26 1862 ✓ 0.065 268 ODE 1029 ✓ 223.943 3323 ✓ 0.689 245 ODE 1030 ✗ 0 0 ✓ 0.176 261 ODE 1031 ✓ 0.003 29 ✓ 0.009 23 ODE 1032 ✗ 0 0 ✓ 0.021 108 ODE 1033 ✗ 0 0 ✓ 0.014 33 ODE 1034 ✗ 0 0 ✓ 0.041 31 ODE 1035 ✗ 0 0 ✓ 0.053 231 ODE 1036 ✗ 0 0 ✓ 0.021 28 ODE 1037 ✗ 0 0 ✓ 0.093 45 ODE 1038 ✓ 185.849 1 ✓ 0.019 52 ODE 1039 ✓ 152.507 1 ✓ 0.024 63 ODE 1040 ✗ 0 0 ✓ 0.052 259 ODE 1041 ✗ 0 0 ✓ 1.507 38 ODE 1042 ✗ 0 0 ✗ 0 0 ODE 1043 ✗ 0 0 ✓ 0.88 42 ODE 1044 ✗ 0 0 ✓ 284.418 514 ODE 1045 ✗ 0 0 ✓ 0.994 42 ODE 1046 ✗ 0 0 ✓ 0.103 436 ODE 1047 ✗ 0 0 ✓ 0.056 429 ODE 1048 ✓ 0.002 17 ✓ 0.039 40 ODE 1049 ✗ 0 0 ✓ 0.022 74 ODE 1050 ✗ 0 0 ✓ 0.158 831 ODE 1051 ✓ 53.024 1496 ✓ 0.021 50 ODE 1052 ✗ 0 0 ✓ 0.225 378 ODE 1053 ✗ 0 0 ✓ 0.086 370 ODE 1054 ✓ 0.074 45 ✓ 0.089 32 ODE 1055 ✓ 0.009 31 ✓ 0.008 26 ODE 1056 ✓ 0.012 43 ✓ 0.014 36 ODE 1057 ✓ 0.007 43 ✓ 0.009 33 ODE 1058 ✓ 0.011 105 ✓ 0.01 39 ODE 1059 ✗ 0 0 ✓ 0.016 25 ODE 1060 ✗ 0 0 ✓ 0.094 412 ODE 1061 ✗ 0 0 ✓ 0.361 37 ODE 1062 ✓ 2.683 828 ✓ 0.225 166 ODE 1063 ✗ 0 0 ✓ 0.021 32 ODE 1064 ✗ 0 0 ✓ 0.024 28 ODE 1065 ✓ 526.186 98 ✓ 0.282 124 ODE 1066 ✓ 0.004 31 ✓ 0.009 23 ODE 1067 ✗ 0 0 ✓ 0.656 97 ODE 1068 ✗ 0 0 ✓ 0.028 33 ODE 1069 ✗ 0 0 ✓ 0.087 63 ODE 1070 ✗ 0 0 ✓ 0.032 56 ODE 1071 ✗ 0 0 ✓ 0.05 37 ODE 1072 ✓ 0.031 64 ✓ 0.032 52 ODE 1073 ✗ 0 0 ✗ 0 0 ODE 1074 ✗ 0 0 ✓ 0.886 1532 ODE 1075 ✗ 0 0 ✓ 0.746 140 ODE 1076 ✗ 0 0 ✓ 6.289 400 ODE 1077 ✗ 0 0 ✓ 1.006 36 ODE 1078 ✗ 0 0 ✓ 0.033 36 ODE 1079 ✗ 0 0 ✓ 0.056 517 ODE 1080 ✗ 0 0 ✓ 0.094 455 ODE 1081 ✓ 0.02 61 ✓ 0.031 54 ODE 1082 ✓ 0.023 75 ✓ 0.018 42 ODE 1083 ✗ 0 0 ✓ 0.631 42 ODE 1084 ✗ 0 0 ✓ 0.597 38 ODE 1085 ✗ 0 0 ✓ 0.612 40 ODE 1086 ✗ 0 0 ✓ 0.605 40 ODE 1087 ✗ 0 0 ✓ 1.536 37 ODE 1088 ✗ 0 0 ✓ 1.051 4164 ODE 1089 ✗ 0 0 ✓ 0.541 60 ODE 1090 ✗ 0 0 ✓ 0.647 176 ODE 1091 ✗ 0 0 ✓ 0.366 40 ODE 1092 ✓ 0.73 383 ✓ 0.175 144 ODE 1093 ✓ 0.987 415 ✓ 0.345 270 ODE 1094 ✓ 1.273 371 ✓ 0.443 262 ODE 1095 ✓ 1.938 535 ✓ 0.746 366 ODE 1096 ✗ 0 0 ✓ 0.019 31 ODE 1097 ✗ 0 0 ✓ 0.127 49 ODE 1098 ✓ 1.735 341 ✓ 0.311 118 ODE 1099 ✗