[next] [prev] [prev-tail] [tail] [up]

2.2.4 Integrals 301 to 400

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 70 131 129 152 112 116 83

N.S.

1 1.00 0.74 1.39 1.37 1.62 1.19 1.23 0.88

time (sec)

N/A 0.081 0.132 2.037 0.271 0.359 0.427 0.413 1.532

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 27 41 78 64 44 82 26

N.S.

1 1.00 0.87 1.32 2.52 2.06 1.42 2.65 0.84

time (sec)

N/A 0.025 0.046 1.613 0.268 0.360 0.260 0.409 1.447

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 61 71 64 103 0 64 -1

N.S.

1 1.00 0.84 0.97 0.88 1.41 0.00 0.88 -0.01

time (sec)

N/A 0.156 0.064 5.399 0.343 0.340 0.000 0.397 0.000

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 104 158 76 214 0 144 -1

N.S.

1 1.00 0.84 1.27 0.61 1.73 0.00 1.16 -0.01

time (sec)

N/A 0.205 0.225 3.663 0.342 0.365 0.000 0.406 0.000

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 184 162 257 88 338 0 243 -1

N.S.

1 1.00 0.88 1.40 0.48 1.84 0.00 1.32 -0.01

time (sec)

N/A 0.282 0.349 4.073 0.387 0.384 0.000 0.402 0.000

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

238 238 212 356 88 397 0 342 -1

N.S.

1 1.00 0.89 1.50 0.37 1.67 0.00 1.44 -0.00

time (sec)

N/A 0.327 0.318 3.649 0.359 0.418 0.000 0.398 0.000

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 127 0 117 172 0 0 -1

N.S.

1 1.00 0.90 0.00 0.83 1.22 0.00 0.00 -0.01

time (sec)

N/A 0.151 0.707 1.509 0.098 0.114 0.000 0.000 0.000

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 95 362 171 191 226 145 126

N.S.

1 1.00 0.61 2.34 1.10 1.23 1.46 0.94 0.81

time (sec)

N/A 0.105 0.444 1.055 0.268 0.373 0.661 0.398 0.260

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 72 208 127 154 150 113 89

N.S.

1 1.00 0.71 2.06 1.26 1.52 1.49 1.12 0.88

time (sec)

N/A 0.053 0.151 1.072 0.275 0.405 0.428 0.404 1.608

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 50 96 91 108 110 81 55

N.S.

1 1.00 0.77 1.48 1.40 1.66 1.69 1.25 0.85

time (sec)

N/A 0.032 0.103 1.027 0.265 0.382 0.277 0.387 0.153

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 15 14 13 54 20 57 13

N.S.

1 1.00 1.00 0.93 0.87 3.60 1.33 3.80 0.87

time (sec)

N/A 0.018 0.002 0.480 0.257 0.348 0.164 0.384 0.066

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 47 50 45 73 0 45 -1

N.S.

1 1.00 0.89 0.94 0.85 1.38 0.00 0.85 -0.02

time (sec)

N/A 0.099 0.046 5.289 0.329 0.382 0.000 0.407 0.000

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 78 110 53 139 0 100 -1

N.S.

1 1.00 0.88 1.24 0.60 1.56 0.00 1.12 -0.01

time (sec)

N/A 0.136 0.175 5.284 0.341 0.392 0.000 0.385 0.000

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 113 178 60 229 0 168 -1

N.S.

1 1.00 0.90 1.42 0.48 1.83 0.00 1.34 -0.01

time (sec)

N/A 0.194 0.352 5.347 0.350 0.357 0.000 0.385 0.000

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

169 169 150 246 61 264 0 236 -1

N.S.

1 1.00 0.89 1.46 0.36 1.56 0.00 1.40 -0.01

time (sec)

N/A 0.225 0.343 4.935 0.323 0.455 0.000 0.398 0.000

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

209 209 186 0 171 248 0 0 -1

N.S.

1 1.00 0.89 0.00 0.82 1.19 0.00 0.00 -0.00

time (sec)

N/A 0.211 0.357 0.888 0.128 0.114 0.000 0.000 0.000

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

202 202 136 494 245 274 253 212 173

N.S.

1 1.00 0.67 2.45 1.21 1.36 1.25 1.05 0.86

time (sec)

N/A 0.192 0.339 1.043 0.278 0.386 1.003 0.395 0.273

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 98 283 187 214 182 164 112

N.S.

1 1.00 0.66 1.91 1.26 1.45 1.23 1.11 0.76

time (sec)

N/A 0.145 0.306 1.144 0.295 0.386 0.647 0.398 0.233

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 70 131 129 153 112 116 71

N.S.

1 1.00 0.74 1.39 1.37 1.63 1.19 1.23 0.76

time (sec)

N/A 0.079 0.126 1.085 0.285 0.353 0.429 0.402 0.145

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 27 34 78 79 44 82 26

N.S.

1 1.00 0.87 1.10 2.52 2.55 1.42 2.65 0.84

time (sec)

N/A 0.026 0.051 0.739 0.262 0.412 0.273 0.387 1.455

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 63 71 64 103 0 64 -1

N.S.

1 1.00 0.86 0.97 0.88 1.41 0.00 0.88 -0.01

time (sec)

N/A 0.148 0.067 3.522 0.354 0.346 0.000 0.399 0.000

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 106 158 76 203 0 140 -1

N.S.

1 1.00 0.85 1.27 0.61 1.64 0.00 1.13 -0.01

time (sec)

N/A 0.198 0.179 2.696 0.351 0.331 0.000 0.413 0.000

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 184 164 257 88 336 0 239 -1

N.S.

1 1.00 0.89 1.40 0.48 1.83 0.00 1.30 -0.01

time (sec)

N/A 0.261 0.268 3.187 0.343 0.371 0.000 0.407 0.000

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

238 238 212 356 88 392 0 342 -1

N.S.

1 1.00 0.89 1.50 0.37 1.65 0.00 1.44 -0.00

time (sec)

N/A 0.323 0.335 2.772 0.341 0.368 0.000 0.408 0.000

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 119 0 117 172 0 0 -1

N.S.

1 1.00 0.77 0.00 0.75 1.11 0.00 0.00 -0.01

time (sec)

N/A 0.187 0.129 2.267 0.105 0.123 0.000 0.000 0.000

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 90 362 171 248 314 145 126

N.S.

1 1.00 0.63 2.53 1.20 1.73 2.20 1.01 0.88

time (sec)

N/A 0.151 0.586 1.204 0.268 0.364 1.397 0.399 1.717

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 72 208 127 202 212 113 89

N.S.

1 1.00 0.69 1.98 1.21 1.92 2.02 1.08 0.85

time (sec)

N/A 0.109 0.140 1.200 0.283 0.397 1.002 0.387 0.321

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 50 96 91 148 148 81 55

N.S.

1 1.00 0.75 1.43 1.36 2.21 2.21 1.21 0.82

time (sec)

N/A 0.056 0.087 1.181 0.261 0.371 0.688 0.401 0.233

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 35 34 56 72 42 57 26

N.S.

1 1.00 1.13 1.10 1.81 2.32 1.35 1.84 0.84

time (sec)

N/A 0.025 0.012 0.644 0.262 0.366 0.490 0.432 1.522

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 47 50 45 73 0 45 -1

N.S.

1 1.00 0.89 0.94 0.85 1.38 0.00 0.85 -0.02

time (sec)

N/A 0.109 0.111 6.205 0.321 0.365 0.000 0.420 0.000

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 78 110 53 159 0 100 -1

N.S.

1 1.00 0.88 1.24 0.60 1.79 0.00 1.12 -0.01

time (sec)

N/A 0.151 0.139 6.098 0.329 0.381 0.000 0.416 0.000

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 118 178 61 274 0 168 -1

N.S.

1 1.00 0.90 1.36 0.47 2.09 0.00 1.28 -0.01

time (sec)

N/A 0.191 0.151 6.161 0.330 0.353 0.000 0.420 0.000

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

169 169 150 246 61 315 0 236 -1

N.S.

1 1.00 0.89 1.46 0.36 1.86 0.00 1.40 -0.01

time (sec)

N/A 0.269 0.200 6.218 0.329 0.384 0.000 0.419 0.000

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

13 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.08

time (sec)

N/A 0.014 0.334 0.190 0.000 0.000 0.000 0.000 0.000

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 89 116 84 257 0 0 -1

N.S.

1 1.00 0.98 1.27 0.92 2.82 0.00 0.00 -0.01

time (sec)

N/A 0.114 1.586 1.602 0.289 0.419 0.000 0.000 0.000

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 66 94 63 207 0 0 -1

N.S.

1 1.00 1.02 1.45 0.97 3.18 0.00 0.00 -0.02

time (sec)

N/A 0.094 1.496 1.736 0.291 0.367 0.000 0.000 0.000

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 149 70 40 141 0 0 -1

N.S.

1 1.00 3.31 1.56 0.89 3.13 0.00 0.00 -0.02

time (sec)

N/A 0.056 2.488 2.307 0.289 0.383 0.000 0.000 0.000

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

11 11 11 13 21 37 0 24 11

N.S.

1 1.00 1.00 1.18 1.91 3.36 0.00 2.18 1.00

time (sec)

N/A 0.007 0.008 0.441 0.271 0.358 0.000 0.411 0.062

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

13 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.08

time (sec)

N/A 0.014 8.447 0.509 0.000 0.000 0.000 0.000 0.000

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

13 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.08

time (sec)

N/A 0.015 12.232 0.424 0.000 0.000 0.000 0.000 0.000

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.304 14.917 0.189 0.000 0.000 0.000 0.000 0.000

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 130 0 0 672 0 0 -1

N.S.

1 1.00 1.15 0.00 0.00 5.95 0.00 0.00 -0.01

time (sec)

N/A 0.078 1.566 0.430 0.000 0.430 0.000 0.000 0.000

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 125 154 0 468 0 0 -1

N.S.

1 1.00 1.81 2.23 0.00 6.78 0.00 0.00 -0.01

time (sec)

N/A 0.040 0.304 1.769 0.000 0.410 0.000 0.000 0.000

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 32 59 37 116 0 70 49

N.S.

1 1.00 1.33 2.46 1.54 4.83 0.00 2.92 2.04

time (sec)

N/A 0.014 0.034 1.006 0.526 0.360 0.000 0.440 0.068

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

11 11 11 12 23 54 0 23 13

N.S.

1 1.00 1.00 1.09 2.09 4.91 0.00 2.09 1.18

time (sec)

N/A 0.010 0.005 0.283 0.261 0.422 0.000 0.405 0.055

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.133 4.804 0.428 0.000 0.000 0.000 0.000 0.000

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.164 5.472 0.447 0.000 0.000 0.000 0.000 0.000

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.372 24.972 0.185 0.000 0.000 0.000 0.000 0.000

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 176 121 110 1113 0 0 -1

N.S.

1 1.00 2.12 1.46 1.33 13.41 0.00 0.00 -0.01

time (sec)

N/A 0.122 4.247 1.243 0.322 0.378 0.000 0.000 0.000

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 55 73 94 378 0 142 102

N.S.

1 1.00 1.31 1.74 2.24 9.00 0.00 3.38 2.43

time (sec)

N/A 0.040 0.088 1.072 0.331 0.380 0.000 0.404 1.476

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 30 43 131 105 0 184 36

N.S.

1 1.00 1.00 1.43 4.37 3.50 0.00 6.13 1.20

time (sec)

N/A 0.022 0.043 1.008 0.321 0.351 0.000 0.415 1.460

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 15 14 23 84 0 27 13

N.S.

1 1.00 1.00 0.93 1.53 5.60 0.00 1.80 0.87

time (sec)

N/A 0.015 0.008 0.280 0.263 0.368 0.000 0.406 1.450

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.192 15.764 0.740 0.000 0.000 0.000 0.000 0.000

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.188 13.567 0.613 0.000 0.000 0.000 0.000 0.000

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

74 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.072 11.071 1.332 0.000 0.000 0.000 0.000 0.000

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 211 0 0 609 0 0 -1

N.S.

1 1.00 1.08 0.00 0.00 3.12 0.00 0.00 -0.01

time (sec)

N/A 0.149 1.024 1.407 0.000 0.383 0.000 0.000 0.000

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 153 0 0 477 0 0 -1

N.S.

1 1.00 1.13 0.00 0.00 3.53 0.00 0.00 -0.01

time (sec)

N/A 0.106 1.037 1.405 0.000 0.405 0.000 0.000 0.000

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 213 162 0 328 0 0 -1

N.S.

1 1.00 2.77 2.10 0.00 4.26 0.00 0.00 -0.01

time (sec)

N/A 0.054 0.080 1.945 0.000 0.396 0.000 0.000 0.000

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 23 21 41 86 0 32 49

N.S.

1 1.00 1.00 0.91 1.78 3.74 0.00 1.39 2.13

time (sec)

N/A 0.012 0.010 0.672 0.488 0.365 0.000 0.417 1.427

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

30 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.064 6.247 1.807 0.000 0.000 0.000 0.000 0.000

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

43 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.088 6.105 1.515 0.000 0.000 0.000 0.000 0.000

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

15 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07

time (sec)

N/A 0.021 0.432 1.079 0.000 0.000 0.000 0.000 0.000

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 109 125 108 721 0 0 -1

N.S.

1 1.00 1.22 1.40 1.21 8.10 0.00 0.00 -0.01

time (sec)

N/A 0.121 3.404 2.142 0.319 0.378 0.000 0.000 0.000

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 168 99 84 515 0 0 -1

N.S.

1 1.00 2.58 1.52 1.29 7.92 0.00 0.00 -0.02

time (sec)

N/A 0.098 2.225 2.108 0.330 0.395 0.000 0.000 0.000

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 46 54 95 185 0 95 45

N.S.

1 1.00 1.48 1.74 3.06 5.97 0.00 3.06 1.45

time (sec)

N/A 0.023 0.108 1.937 0.299 0.382 0.000 0.421 0.098

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 13 23 18 25 33 0 24 20

N.S.

1 1.00 1.77 1.38 1.92 2.54 0.00 1.85 1.54

time (sec)

N/A 0.008 0.006 0.753 0.277 0.368 0.000 0.417 0.072

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

15 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07

time (sec)

N/A 0.021 12.893 2.329 0.000 0.000 0.000 0.000 0.000

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

15 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07

time (sec)

N/A 0.025 8.205 1.721 0.000 0.000 0.000 0.000 0.000

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.049 40.627 1.017 0.000 0.000 0.000 0.000 0.000

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

240 240 245 0 0 2163 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 9.01 0.00 0.00 -0.00

time (sec)

N/A 0.253 2.269 180.000 0.000 0.411 0.000 0.000 0.000

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 180 0 0 1577 0 0 -1

N.S.

1 1.00 1.26 0.00 0.00 11.03 0.00 0.00 -0.01

time (sec)

N/A 0.178 1.121 180.000 0.000 0.415 0.000 0.000 0.000

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 93 178 0 1064 0 0 -1

N.S.

1 1.00 1.02 1.96 0.00 11.69 0.00 0.00 -0.01

time (sec)

N/A 0.092 0.554 1.365 0.000 0.379 0.000 0.000 0.000

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 34 69 66 269 0 76 82

N.S.

1 1.00 1.00 2.03 1.94 7.91 0.00 2.24 2.41

time (sec)

N/A 0.020 0.012 1.406 0.492 0.365 0.000 0.431 1.474

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.050 11.254 2.059 0.000 0.000 0.000 0.000 0.000

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.051 8.921 180.000 0.000 0.000 0.000 0.000 0.000

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

85 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.116 16.749 1.687 0.000 0.000 0.000 0.000 0.000

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

185 185 260 189 181 966 0 0 -1

N.S.

1 1.00 1.41 1.02 0.98 5.22 0.00 0.00 -0.01

time (sec)

N/A 0.188 2.095 2.431 0.317 0.401 0.000 0.000 0.000

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 159 152 138 789 0 0 -1

N.S.

1 1.00 1.22 1.17 1.06 6.07 0.00 0.00 -0.01

time (sec)

N/A 0.146 1.959 2.443 0.325 0.400 0.000 0.000 0.000

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 102 110 95 558 0 0 -1

N.S.

1 1.00 1.15 1.24 1.07 6.27 0.00 0.00 -0.01

time (sec)

N/A 0.085 0.157 2.389 0.342 0.402 0.000 0.000 0.000

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 25 25 56 197 0 60 48

N.S.

1 1.00 0.89 0.89 2.00 7.04 0.00 2.14 1.71

time (sec)

N/A 0.020 0.014 0.756 0.472 0.381 0.000 0.423 0.061

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

42 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.093 13.243 2.609 0.000 0.000 0.000 0.000 0.000

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

54 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.099 13.856 2.056 0.000 0.000 0.000 0.000 0.000

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

80 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.144 25.440 1.737 0.000 0.000 0.000 0.000 0.000

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

162 162 196 0 0 1225 0 0 -1

N.S.

1 1.00 1.21 0.00 0.00 7.56 0.00 0.00 -0.01

time (sec)

N/A 0.151 2.276 1.598 0.000 0.415 0.000 0.000 0.000

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 172 205 0 879 0 0 -1

N.S.

1 1.00 1.65 1.97 0.00 8.45 0.00 0.00 -0.01

time (sec)

N/A 0.094 0.345 2.324 0.000 0.431 0.000 0.000 0.000

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 50 94 81 283 0 102 90

N.S.

1 1.00 1.09 2.04 1.76 6.15 0.00 2.22 1.96

time (sec)

N/A 0.047 0.068 2.175 0.524 0.359 0.000 0.428 0.104

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 21 21 33 54 31 0 41 22

N.S.

1 1.00 1.00 1.57 2.57 1.48 0.00 1.95 1.05

time (sec)

N/A 0.020 0.025 0.661 0.270 0.401 0.000 0.418 0.074

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

36 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.108 8.179 1.915 0.000 0.000 0.000 0.000 0.000

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

49 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.121 6.921 1.885 0.000 0.000 0.000 0.000 0.000

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

15 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07

time (sec)

N/A 0.025 0.934 1.675 0.000 0.000 0.000 0.000 0.000

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 259 234 236 2207 0 0 -1

N.S.

1 1.00 1.42 1.28 1.29 12.06 0.00 0.00 -0.01

time (sec)

N/A 0.251 1.762 2.943 0.313 0.409 0.000 0.000 0.000

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 206 164 183 1649 0 0 -1

N.S.

1 1.00 1.78 1.41 1.58 14.22 0.00 0.00 -0.01

time (sec)

N/A 0.165 1.545 2.959 0.303 0.393 0.000 0.000 0.000

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

82 82 175 111 131 1106 0 0 -1

N.S.

1 1.00 2.13 1.35 1.60 13.49 0.00 0.00 -0.01

time (sec)

N/A 0.086 5.832 2.479 0.301 0.402 0.000 0.000 0.000

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 27 23 61 339 0 65 25

N.S.

1 1.00 1.00 0.85 2.26 12.56 0.00 2.41 0.93

time (sec)

N/A 0.018 0.012 0.802 0.473 0.396 0.000 0.420 1.508

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

15 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07

time (sec)

N/A 0.020 9.082 2.499 0.000 0.000 0.000 0.000 0.000

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

15 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07

time (sec)

N/A 0.021 5.508 2.099 0.000 0.000 0.000 0.000 0.000

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

13 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.08

time (sec)

N/A 0.012 5.033 0.649 0.000 0.000 0.000 0.000 0.000

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 91 200 130 216 0 0 -1

N.S.

1 1.00 1.05 2.30 1.49 2.48 0.00 0.00 -0.01

time (sec)

N/A 0.127 0.009 1.460 0.307 0.370 0.000 0.000 0.000

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 66 166 96 168 0 0 -1

N.S.

1 1.00 1.05 2.63 1.52 2.67 0.00 0.00 -0.02

time (sec)

N/A 0.099 0.008 1.336 0.305 0.373 0.000 0.000 0.000

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 47 122 58 112 0 0 -1

N.S.

1 1.00 1.04 2.71 1.29 2.49 0.00 0.00 -0.02

time (sec)

N/A 0.063 0.006 1.380 0.303 0.404 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]