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

2.2.71 Integrals 7001 to 7100

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 7001

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 57 55 52 46 46 46 46 40

N.S.

1 1.90 1.83 1.73 1.53 1.53 1.53 1.53 1.33

time (sec)

N/A 0.016 0.023 0.316 0.295 0.402 0.016 0.401 0.065

Problem 7002

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

34 0 29 199 37 32 0 0 52

N.S.

1 0.00 0.85 5.85 1.09 0.94 0.00 0.00 1.53

time (sec)

N/A 6.097 0.308 0.665 0.644 0.389 0.000 0.000 5.732

Problem 7003

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 15 15 24 14 20 12 33 14

N.S.

1 0.94 0.94 1.50 0.88 1.25 0.75 2.06 0.88

time (sec)

N/A 0.027 0.004 0.385 0.267 0.366 0.008 0.405 0.057

Problem 7004

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 30 34 33 0 33 37 35 23

N.S.

1 1.11 1.26 1.22 0.00 1.22 1.37 1.30 0.85

time (sec)

N/A 0.138 0.390 0.134 0.000 0.394 0.066 0.412 4.086

Problem 7005

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

15 15 15 15 14 17 12 14 17

N.S.

1 1.00 1.00 1.00 0.93 1.13 0.80 0.93 1.13

time (sec)

N/A 0.005 0.002 0.342 0.285 0.380 0.028 0.417 4.046

Problem 7006

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B C A A A A B

verified

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

size

23 0 63 368 22 24 22 27 23

N.S.

1 0.00 2.74 16.00 0.96 1.04 0.96 1.17 1.00

time (sec)

N/A 0.238 0.137 12.139 0.541 0.369 0.198 0.429 4.179

Problem 7007

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A A B A B

verified

N/A NO Yes TBD TBD TBD TBD TBD TBD

size

24 95 23 42 22 41 36 41 89

N.S.

1 3.96 0.96 1.75 0.92 1.71 1.50 1.71 3.71

time (sec)

N/A 4.320 0.201 8.656 0.598 0.390 0.194 0.681 4.350

Problem 7008

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 41 453 51 50 0 0 -1

N.S.

1 0.00 1.28 14.16 1.59 1.56 0.00 0.00 -0.03

time (sec)

N/A 35.848 0.333 0.658 26.335 0.400 0.000 0.000 0.000

Problem 7009

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 21 19 27 25 21 42 23 21

N.S.

1 0.78 0.70 1.00 0.93 0.78 1.56 0.85 0.78

time (sec)

N/A 0.850 0.123 0.493 0.312 0.395 0.300 0.422 4.479

Problem 7010

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

22 22 22 20 20 19 17 19 22

N.S.

1 1.00 1.00 0.91 0.91 0.86 0.77 0.86 1.00

time (sec)

N/A 0.172 0.039 0.138 0.366 0.406 0.086 0.408 4.150

Problem 7011

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 37 27 75 42 45 56 53 26

N.S.

1 1.37 1.00 2.78 1.56 1.67 2.07 1.96 0.96

time (sec)

N/A 0.348 0.074 0.656 0.662 0.374 0.202 0.397 4.496

Problem 7012

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 36 22 23 20 21 17 0 20

N.S.

1 1.64 1.00 1.05 0.91 0.95 0.77 0.00 0.91

time (sec)

N/A 0.019 0.046 0.143 0.325 0.426 0.502 0.000 4.125

Problem 7013

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

29 51 38 38 37 35 32 38 36

N.S.

1 1.76 1.31 1.31 1.28 1.21 1.10 1.31 1.24

time (sec)

N/A 0.037 0.008 0.365 0.279 0.360 0.144 0.405 4.117

Problem 7014

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

36 48 49 53 46 68 53 50 50

N.S.

1 1.33 1.36 1.47 1.28 1.89 1.47 1.39 1.39

time (sec)

N/A 3.847 0.109 1.837 0.530 0.396 0.412 0.439 4.837

Problem 7015

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

23 9 9 10 9 14 7 9 9

N.S.

1 0.39 0.39 0.43 0.39 0.61 0.30 0.39 0.39

time (sec)

N/A 0.009 0.006 0.011 0.276 0.393 0.020 0.400 0.029

Problem 7016

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 40 40 42 87 40 36 40 38

N.S.

1 1.43 1.43 1.50 3.11 1.43 1.29 1.43 1.36

time (sec)

N/A 18.713 0.058 0.441 0.572 0.385 0.397 0.627 5.155

Problem 7017

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A F B

verified

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

size

25 0 23 22 31 21 24 0 21

N.S.

1 0.00 0.92 0.88 1.24 0.84 0.96 0.00 0.84

time (sec)

N/A 2.160 0.127 0.274 0.542 0.364 0.223 0.000 4.418

Problem 7018

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 77 11 18 15 15 7 15 10

N.S.

1 5.50 0.79 1.29 1.07 1.07 0.50 1.07 0.71

time (sec)

N/A 0.204 0.158 0.200 0.291 0.382 0.031 0.417 0.069

Problem 7019

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 106 33 37 30 36 36 0 32

N.S.

1 3.79 1.18 1.32 1.07 1.29 1.29 0.00 1.14

time (sec)

N/A 0.609 0.406 0.595 0.605 0.370 0.134 0.000 4.217

Problem 7020

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B F C C A B

verified

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

size

21 0 16 50 0 20 22 33 18

N.S.

1 0.00 0.76 2.38 0.00 0.95 1.05 1.57 0.86

time (sec)

N/A 0.056 0.052 0.854 0.000 0.478 0.176 0.411 4.347

Problem 7021

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B B B A B B

verified

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

size

27 0 21 138 106 66 15 219 25

N.S.

1 0.00 0.78 5.11 3.93 2.44 0.56 8.11 0.93

time (sec)

N/A 0.427 0.247 1.442 0.530 0.388 0.116 0.460 4.309

Problem 7022

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 0 31 22 210 21 22 0 217

N.S.

1 0.00 1.24 0.88 8.40 0.84 0.88 0.00 8.68

time (sec)

N/A 180.003 5.152 1.891 0.597 0.382 0.360 0.000 5.059

Problem 7023

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

20 16 16 16 17 17 17 17 17

N.S.

1 0.80 0.80 0.80 0.85 0.85 0.85 0.85 0.85

time (sec)

N/A 0.066 0.163 1.910 0.553 0.367 0.081 0.423 4.180

Problem 7024

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 23 0 22 25 22 0 21

N.S.

1 1.00 1.00 0.00 0.96 1.09 0.96 0.00 0.91

time (sec)

N/A 0.597 0.115 0.210 0.539 0.405 0.218 0.000 4.797

Problem 7025

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 57 72 51 31 37 34 55

N.S.

1 1.00 2.85 3.60 2.55 1.55 1.85 1.70 2.75

time (sec)

N/A 0.032 0.020 0.861 0.306 0.395 0.070 0.407 4.169

Problem 7026

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B B B B B B F

verified

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

size

37 0 107 276 652 246 264 282 -1

N.S.

1 0.00 2.89 7.46 17.62 6.65 7.14 7.62 -0.03

time (sec)

N/A 79.377 1.403 3.482 0.922 0.415 1.220 4.704 0.000

Problem 7027

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B B B B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 80 80 117 51 33 44 43 25

N.S.

1 2.96 2.96 4.33 1.89 1.22 1.63 1.59 0.93

time (sec)

N/A 0.042 0.022 0.344 0.300 0.373 0.128 0.410 4.150

Problem 7028

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 181 13 12 9 11 10 11 11

N.S.

1 13.92 1.00 0.92 0.69 0.85 0.77 0.85 0.85

time (sec)

N/A 0.210 0.063 3.239 0.291 0.400 0.034 0.432 4.206

Problem 7029

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 35 17 42 27 21 19 21 15

N.S.

1 2.33 1.13 2.80 1.80 1.40 1.27 1.40 1.00

time (sec)

N/A 0.013 0.037 0.831 0.276 0.374 0.040 0.414 0.063

Problem 7030

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C B B B F B

verified

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

size

21 0 38 544 48 49 49 0 72

N.S.

1 0.00 1.81 25.90 2.29 2.33 2.33 0.00 3.43

time (sec)

N/A 6.688 0.179 34.089 0.332 0.444 0.485 0.000 4.704

Problem 7031

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B A B A F B

verified

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

size

35 0 36 86 30 206 36 0 83

N.S.

1 0.00 1.03 2.46 0.86 5.89 1.03 0.00 2.37

time (sec)

N/A 171.359 0.305 0.314 1.184 0.369 3.592 0.000 4.471

Problem 7032

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

9 9 7 9 8 8 7 8 6

N.S.

1 1.00 0.78 1.00 0.89 0.89 0.78 0.89 0.67

time (sec)

N/A 0.008 0.014 0.130 0.285 0.377 0.028 0.399 4.130

Problem 7033

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

33 0 44 38 50 50 32 41 40

N.S.

1 0.00 1.33 1.15 1.52 1.52 0.97 1.24 1.21

time (sec)

N/A 1.862 9.999 0.167 0.339 0.445 0.220 0.420 4.178

Problem 7034

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

22 0 22 22 36 42 20 42 75

N.S.

1 0.00 1.00 1.00 1.64 1.91 0.91 1.91 3.41

time (sec)

N/A 0.482 0.219 3.861 0.314 0.368 0.056 0.425 4.600

Problem 7035

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B B A B B B F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 58 118 35 58 101 63 0 95

N.S.

1 2.07 4.21 1.25 2.07 3.61 2.25 0.00 3.39

time (sec)

N/A 0.068 0.069 2.027 0.274 0.401 0.289 0.000 4.385

Problem 7036

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

20 24 20 27 23 21 14 21 18

N.S.

1 1.20 1.00 1.35 1.15 1.05 0.70 1.05 0.90

time (sec)

N/A 0.111 0.029 0.932 0.534 0.360 0.053 0.430 4.449

Problem 7037

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 35 35 36 54 35 31 48 33

N.S.

1 1.21 1.21 1.24 1.86 1.21 1.07 1.66 1.14

time (sec)

N/A 0.066 0.043 3.310 0.319 0.372 0.066 0.406 4.154

Problem 7038

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 72 24 88 83 24 19 25 25

N.S.

1 3.00 1.00 3.67 3.46 1.00 0.79 1.04 1.04

time (sec)

N/A 0.242 0.109 1.735 0.523 0.412 0.077 0.412 4.239

Problem 7039

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

20 15 15 18 15 17 12 15 14

N.S.

1 0.75 0.75 0.90 0.75 0.85 0.60 0.75 0.70

time (sec)

N/A 0.183 0.040 1.783 0.318 0.365 0.057 0.405 4.231

Problem 7040

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A A A B

verified

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

size

34 0 42 1272 42 42 39 42 50

N.S.

1 0.00 1.24 37.41 1.24 1.24 1.15 1.24 1.47

time (sec)

N/A 6.377 0.053 0.883 0.301 0.366 0.139 0.409 4.418

Problem 7041

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

15 18 18 13 11 13 10 13 13

N.S.

1 1.20 1.20 0.87 0.73 0.87 0.67 0.87 0.87

time (sec)

N/A 0.161 0.051 3.168 0.327 0.371 0.032 0.424 4.135

Problem 7042

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 62 57 20 44 44 49 44 40

N.S.

1 2.07 1.90 0.67 1.47 1.47 1.63 1.47 1.33

time (sec)

N/A 0.014 0.007 0.610 0.294 0.387 0.021 0.412 4.089

Problem 7043

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B A A F B

verified

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

size

30 0 50 45 155 40 36 0 23

N.S.

1 0.00 1.67 1.50 5.17 1.33 1.20 0.00 0.77

time (sec)

N/A 1.129 0.275 1.320 0.560 0.401 23.340 0.000 0.511

Problem 7044

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B A A A B

verified

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

size

25 0 21 25 86 44 19 44 23

N.S.

1 0.00 0.84 1.00 3.44 1.76 0.76 1.76 0.92

time (sec)

N/A 0.348 5.025 1.897 0.342 0.367 0.047 0.394 4.291

Problem 7045

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B B B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 418 72 603 1507 88 92 88 -1

N.S.

1 14.93 2.57 21.54 53.82 3.14 3.29 3.14 -0.04

time (sec)

N/A 0.584 0.087 1.037 0.516 0.383 0.128 0.529 0.000

Problem 7046

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

19 28 26 64 20 20 31 23 27

N.S.

1 1.47 1.37 3.37 1.05 1.05 1.63 1.21 1.42

time (sec)

N/A 0.057 0.062 0.277 0.279 0.360 0.056 0.434 4.254

Problem 7047

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

29 33 27 25 33 30 34 35 38

N.S.

1 1.14 0.93 0.86 1.14 1.03 1.17 1.21 1.31

time (sec)

N/A 0.481 0.097 0.519 0.604 0.429 0.104 0.432 4.307

Problem 7048

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

28 0 25 25 24 24 24 24 24

N.S.

1 0.00 0.89 0.89 0.86 0.86 0.86 0.86 0.86

time (sec)

N/A 1.211 1.551 0.180 0.317 0.412 0.081 0.419 4.214

Problem 7049

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

16 15 15 16 15 15 14 15 15

N.S.

1 0.94 0.94 1.00 0.94 0.94 0.88 0.94 0.94

time (sec)

N/A 0.012 0.005 0.347 0.278 0.353 0.041 0.415 4.150

Problem 7050

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 32 28 45 35 21 27 24 14

N.S.

1 2.46 2.15 3.46 2.69 1.62 2.08 1.85 1.08

time (sec)

N/A 0.024 0.009 0.516 0.280 0.463 0.038 0.423 4.138

Problem 7051

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

24 0 28 28 30 30 31 39 27

N.S.

1 0.00 1.17 1.17 1.25 1.25 1.29 1.62 1.12

time (sec)

N/A 0.462 0.064 1.497 0.557 0.368 0.061 0.417 4.349

Problem 7052

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 262 26 187 106 89 95 192 186

N.S.

1 9.36 0.93 6.68 3.79 3.18 3.39 6.86 6.64

time (sec)

N/A 3.174 13.259 28.037 0.397 0.375 0.220 0.743 4.587

Problem 7053

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B A A F B

verified

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

size

25 0 25 27 130 24 26 0 82

N.S.

1 0.00 1.00 1.08 5.20 0.96 1.04 0.00 3.28

time (sec)

N/A 5.902 0.763 0.740 0.673 0.389 0.494 0.000 4.463

Problem 7054

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B A A A B

verified

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

size

27 0 27 30 201 26 19 26 25

N.S.

1 0.00 1.00 1.11 7.44 0.96 0.70 0.96 0.93

time (sec)

N/A 3.380 0.075 0.241 0.573 0.388 0.095 0.401 4.449

Problem 7055

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 87 19 70 90 50 66 50 17

N.S.

1 4.58 1.00 3.68 4.74 2.63 3.47 2.63 0.89

time (sec)

N/A 0.083 0.064 0.393 0.273 0.411 0.087 0.418 4.229

Problem 7056

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C B A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 25 24 59 57 22 0 24

N.S.

1 1.00 1.00 0.96 2.36 2.28 0.88 0.00 0.96

time (sec)

N/A 0.204 0.159 0.071 0.313 0.348 0.225 0.000 4.266

Problem 7057

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

8 6 6 7 6 6 5 7 6

N.S.

1 0.75 0.75 0.88 0.75 0.75 0.62 0.88 0.75

time (sec)

N/A 0.002 0.002 0.211 0.272 0.345 0.023 0.399 0.014

Problem 7058

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

32 38 41 30 28 39 31 27 40

N.S.

1 1.19 1.28 0.94 0.88 1.22 0.97 0.84 1.25

time (sec)

N/A 0.031 0.020 1.819 0.279 0.341 0.089 0.404 4.146

Problem 7059

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

21 14 14 15 14 14 14 14 14

N.S.

1 0.67 0.67 0.71 0.67 0.67 0.67 0.67 0.67

time (sec)

N/A 0.052 0.010 0.118 0.277 0.403 0.033 0.425 4.165

Problem 7060

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C A B B A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 1106 28 819 692 36 54 41 -1

N.S.

1 48.09 1.22 35.61 30.09 1.57 2.35 1.78 -0.04

time (sec)

N/A 2.357 0.066 0.481 0.550 0.367 0.345 0.430 0.000

Problem 7061

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 22 36 17 23 32 22 23 24

N.S.

1 1.22 2.00 0.94 1.28 1.78 1.22 1.28 1.33

time (sec)

N/A 0.036 0.015 1.592 0.282 0.366 0.113 0.414 4.178

Problem 7062

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 24 72 25 24 24 22 26 2500

N.S.

1 0.89 2.67 0.93 0.89 0.89 0.81 0.96 92.59

time (sec)

N/A 0.059 0.127 0.376 0.270 0.420 0.780 0.420 6.597

Problem 7063

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

28 31 30 29 23 28 31 28 27

N.S.

1 1.11 1.07 1.04 0.82 1.00 1.11 1.00 0.96

time (sec)

N/A 0.251 0.108 1.003 0.391 0.348 0.073 0.424 4.203

Problem 7064

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 29 21 17 0 17 17 17 17

N.S.

1 1.07 0.78 0.63 0.00 0.63 0.63 0.63 0.63

time (sec)

N/A 0.062 0.590 0.174 0.000 0.367 0.044 0.399 0.085

Problem 7065

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

30 0 29 30 29 29 27 29 29

N.S.

1 0.00 0.97 1.00 0.97 0.97 0.90 0.97 0.97

time (sec)

N/A 2.932 0.369 0.157 0.640 0.384 0.169 0.531 5.167

Problem 7066

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A B B A B

verified

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

size

19 0 28 36 30 42 31 32 31

N.S.

1 0.00 1.47 1.89 1.58 2.21 1.63 1.68 1.63

time (sec)

N/A 1.230 0.132 0.022 0.298 0.414 0.126 0.476 4.198

Problem 7067

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

20 30 29 37 36 38 39 36 27

N.S.

1 1.50 1.45 1.85 1.80 1.90 1.95 1.80 1.35

time (sec)

N/A 0.014 0.010 0.439 0.258 0.387 0.034 0.395 0.068

Problem 7068

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 31 21 30 20 0 30 31

N.S.

1 0.00 1.03 0.70 1.00 0.67 0.00 1.00 1.03

time (sec)

N/A 3.417 0.386 3.668 0.561 0.501 0.000 0.463 4.694

Problem 7069

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 124 30 99 142 52 70 66 -1

N.S.

1 3.88 0.94 3.09 4.44 1.62 2.19 2.06 -0.03

time (sec)

N/A 2.313 0.107 0.368 0.301 0.378 0.373 0.421 0.000

Problem 7070

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

24 0 24 26 30 24 17 24 24

N.S.

1 0.00 1.00 1.08 1.25 1.00 0.71 1.00 1.00

time (sec)

N/A 0.639 0.185 0.520 0.308 0.403 0.107 0.414 4.389

Problem 7071

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 56 37 45 294 34 32 46 34

N.S.

1 1.75 1.16 1.41 9.19 1.06 1.00 1.44 1.06

time (sec)

N/A 0.958 1.182 0.081 0.315 0.345 0.113 0.404 4.224

Problem 7072

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 102 57 56 55 55 105 55 90

N.S.

1 5.37 3.00 2.95 2.89 2.89 5.53 2.89 4.74

time (sec)

N/A 0.030 0.006 0.450 0.262 0.387 0.010 0.417 0.069

Problem 7073

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

25 20 19 18 17 17 15 17 19

N.S.

1 0.80 0.76 0.72 0.68 0.68 0.60 0.68 0.76

time (sec)

N/A 0.058 0.008 0.120 0.259 0.426 0.033 0.397 4.100

Problem 7074

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 356 42 695 247 248 252 247 239

N.S.

1 12.71 1.50 24.82 8.82 8.86 9.00 8.82 8.54

time (sec)

N/A 0.184 0.059 1.219 0.293 0.373 0.046 0.398 4.248

Problem 7075

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 27 18 29 0 20 24 20 15

N.S.

1 1.35 0.90 1.45 0.00 1.00 1.20 1.00 0.75

time (sec)

N/A 0.214 0.089 0.146 0.000 0.370 0.076 0.407 4.190

Problem 7076

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F(-1) F C F(-2) B B F B

verified

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

size

32 0 0 1224 0 115 119 0 143

N.S.

1 0.00 0.00 38.25 0.00 3.59 3.72 0.00 4.47

time (sec)

N/A 180.001 26.366 1.724 0.000 0.365 75.707 0.000 6.685

Problem 7077

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

26 30 19 30 39 29 37 32 30

N.S.

1 1.15 0.73 1.15 1.50 1.12 1.42 1.23 1.15

time (sec)

N/A 0.044 0.044 0.471 0.296 0.366 0.196 0.406 4.268

Problem 7078

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

33 0 56 27 58 41 36 46 163

N.S.

1 0.00 1.70 0.82 1.76 1.24 1.09 1.39 4.94

time (sec)

N/A 180.001 0.390 0.178 0.461 0.358 0.241 0.740 4.310

Problem 7079

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 23 23 17 16 22 19 42 27

N.S.

1 1.44 1.44 1.06 1.00 1.38 1.19 2.62 1.69

time (sec)

N/A 0.073 0.031 2.772 0.497 0.403 0.085 0.403 4.745

Problem 7080

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 20 17 145 24 26 0 0 -1

N.S.

1 1.05 0.89 7.63 1.26 1.37 0.00 0.00 -0.05

time (sec)

N/A 0.250 0.048 0.424 0.306 0.360 0.000 0.000 0.000

Problem 7081

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A B A A B

verified

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

size

25 0 26 30 36 47 29 23 31

N.S.

1 0.00 1.04 1.20 1.44 1.88 1.16 0.92 1.24

time (sec)

N/A 45.765 0.185 0.241 0.339 0.378 0.341 0.421 4.322

Problem 7082

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B B B A B B

verified

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

size

21 0 16 68 68 68 34 59 68

N.S.

1 0.00 0.76 3.24 3.24 3.24 1.62 2.81 3.24

time (sec)

N/A 0.283 0.113 1.372 0.312 0.351 0.056 0.418 4.403

Problem 7083

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

21 0 19 15 18 16 19 18 17

N.S.

1 0.00 0.90 0.71 0.86 0.76 0.90 0.86 0.81

time (sec)

N/A 0.827 0.216 0.386 0.560 0.348 0.154 0.403 4.296

Problem 7084

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

23 30 26 35 29 26 29 30 27

N.S.

1 1.30 1.13 1.52 1.26 1.13 1.26 1.30 1.17

time (sec)

N/A 0.013 0.014 0.345 0.276 0.378 0.121 0.417 4.154

Problem 7085

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

29 38 33 41 37 38 27 37 31

N.S.

1 1.31 1.14 1.41 1.28 1.31 0.93 1.28 1.07

time (sec)

N/A 0.054 0.020 0.343 0.358 0.374 0.105 0.398 0.097

Problem 7086

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C C A A C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 25 191 223 21 19 120 24

N.S.

1 1.00 0.96 7.35 8.58 0.81 0.73 4.62 0.92

time (sec)

N/A 0.054 0.056 0.134 0.537 0.399 0.058 0.415 4.297

Problem 7087

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

24 37 28 28 25 27 26 36 25

N.S.

1 1.54 1.17 1.17 1.04 1.12 1.08 1.50 1.04

time (sec)

N/A 0.055 0.117 0.630 0.285 0.379 0.057 0.404 0.129

Problem 7088

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

31 0 22 28 28 26 20 26 27

N.S.

1 0.00 0.71 0.90 0.90 0.84 0.65 0.84 0.87

time (sec)

N/A 1.010 0.427 2.630 0.520 0.353 0.046 0.444 4.676

Problem 7089

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

26 23 14 10 15 11 12 9 9

N.S.

1 0.88 0.54 0.38 0.58 0.42 0.46 0.35 0.35

time (sec)

N/A 0.012 0.020 0.123 0.280 0.421 0.032 0.427 4.170

Problem 7090

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

27 25 25 22 19 19 20 19 19

N.S.

1 0.93 0.93 0.81 0.70 0.70 0.74 0.70 0.70

time (sec)

N/A 0.007 0.020 0.646 0.278 0.368 0.034 0.405 0.058

Problem 7091

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

20 23 19 28 24 22 27 26 21

N.S.

1 1.15 0.95 1.40 1.20 1.10 1.35 1.30 1.05

time (sec)

N/A 0.009 0.005 0.321 0.271 0.377 0.037 0.426 4.115

Problem 7092

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 42 42 37 51 34 42 33 20

N.S.

1 2.00 2.00 1.76 2.43 1.62 2.00 1.57 0.95

time (sec)

N/A 0.057 0.020 0.117 0.271 0.366 0.076 0.429 4.231

Problem 7093

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B A A A F B

verified

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

size

25 0 26 53 41 41 39 0 21

N.S.

1 0.00 1.04 2.12 1.64 1.64 1.56 0.00 0.84

time (sec)

N/A 0.814 0.308 0.177 0.276 0.471 0.149 0.000 4.151

Problem 7094

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B A C C B B

verified

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

size

26 0 26 50 24 24 22 81 98

N.S.

1 0.00 1.00 1.92 0.92 0.92 0.85 3.12 3.77

time (sec)

N/A 2.894 0.248 1.326 0.346 0.375 0.178 0.432 4.434

Problem 7095

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 37 26 28 24 24 34 24 26

N.S.

1 1.76 1.24 1.33 1.14 1.14 1.62 1.14 1.24

time (sec)

N/A 0.005 0.006 0.250 0.316 0.372 0.009 0.413 0.056

Problem 7096

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

19 17 19 18 29 27 12 17 17

N.S.

1 0.89 1.00 0.95 1.53 1.42 0.63 0.89 0.89

time (sec)

N/A 0.143 0.066 1.984 0.320 0.376 0.038 0.442 4.325

Problem 7097

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A F

verified

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

size

30 0 34 30 28 29 26 29 -1

N.S.

1 0.00 1.13 1.00 0.93 0.97 0.87 0.97 -0.03

time (sec)

N/A 9.836 0.153 0.369 0.378 0.386 0.172 0.492 0.000

Problem 7098

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 20 24 39 42 42 41 22 20

N.S.

1 0.83 1.00 1.62 1.75 1.75 1.71 0.92 0.83

time (sec)

N/A 0.124 0.162 2.574 0.542 0.361 0.141 0.458 4.360

Problem 7099

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

17 0 25 17 19 17 14 20 17

N.S.

1 0.00 1.47 1.00 1.12 1.00 0.82 1.18 1.00

time (sec)

N/A 1.024 0.754 1.361 0.559 0.378 0.059 0.427 4.164

Problem 7100

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

16 18 17 19 16 16 14 16 16

N.S.

1 1.12 1.06 1.19 1.00 1.00 0.88 1.00 1.00

time (sec)

N/A 0.016 0.010 0.183 0.293 0.390 0.070 0.412 4.149

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