[next] [tail] [up]

Integrals 1 to 100

Detailed conclusion table per each integral is given by the 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 as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

15 19 15 12 15 11 10 16 35 11

N.S.

1 1.27 1.00 0.80 1.00 0.73 0.67 1.07 2.33 0.73

time (sec)

N/A 0.261 0.005 0.107 0.024 0.079 0.080 0.118 0.248 0.093

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

19 25 19 14 17 15 17 17 62 13

N.S.

1 1.32 1.00 0.74 0.89 0.79 0.89 0.89 3.26 0.68

time (sec)

N/A 0.274 0.006 0.072 0.029 0.067 0.063 0.122 0.232 0.104

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

73 73 55 49 81 62 121 77 59 59

N.S.

1 1.00 0.75 0.67 1.11 0.85 1.66 1.05 0.81 0.81

time (sec)

N/A 0.358 0.052 0.547 0.032 0.084 1.015 0.124 0.257 3.798

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

46 46 33 30 47 41 71 38 37 31

N.S.

1 1.00 0.72 0.65 1.02 0.89 1.54 0.83 0.80 0.67

time (sec)

N/A 0.314 0.034 0.128 0.026 0.077 0.596 0.127 0.302 3.861

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

58 58 58 50 70 166 73 53 131 51

N.S.

1 1.00 1.00 0.86 1.21 2.86 1.26 0.91 2.26 0.88

time (sec)

N/A 0.307 0.079 0.158 0.112 0.088 11.292 0.121 0.241 4.371

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A B A B B

verified

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

size

85 83 77 77 144 228 262 99 253 91

N.S.

1 0.98 0.91 0.91 1.69 2.68 3.08 1.16 2.98 1.07

time (sec)

N/A 0.342 0.152 0.276 0.105 0.124 62.679 0.130 0.266 4.971

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

91 86 77 74 172 224 121 0 269 0

N.S.

1 0.95 0.85 0.81 1.89 2.46 1.33 0.00 2.96 0.00

time (sec)

N/A 0.365 0.598 5.276 0.106 0.101 43.382 0.000 0.288 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B F(-1)

verified

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

size

64 64 65 55 84 176 70 55 151 0

N.S.

1 1.00 1.02 0.86 1.31 2.75 1.09 0.86 2.36 0.00

time (sec)

N/A 0.322 0.539 2.230 0.107 0.094 10.494 0.141 0.260 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A B B B

verified

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

size

53 53 39 36 56 46 75 72 43 37

N.S.

1 1.00 0.74 0.68 1.06 0.87 1.42 1.36 0.81 0.70

time (sec)

N/A 0.299 0.704 1.665 0.032 0.086 24.095 0.166 0.251 3.499

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B B B B

verified

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

size

83 83 62 55 96 69 287 112 66 96

N.S.

1 1.00 0.75 0.66 1.16 0.83 3.46 1.35 0.80 1.16

time (sec)

N/A 0.341 0.934 3.118 0.027 0.082 92.751 0.181 0.315 3.793

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F A A F F F(-1)

verified

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

size

284 284 80 0 0 99 80 0 220 0

N.S.

1 1.00 0.28 0.00 0.00 0.35 0.28 0.00 0.77 0.00

time (sec)

N/A 0.547 10.091 0.000 0.000 0.080 13.111 0.000 0.622 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F A A F F F(-1)

verified

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

size

267 267 75 0 0 86 80 0 182 0

N.S.

1 1.00 0.28 0.00 0.00 0.32 0.30 0.00 0.68 0.00

time (sec)

N/A 0.536 10.057 0.000 0.000 0.079 7.897 0.000 0.583 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F A A F F F(-1)

verified

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

size

288 287 86 0 0 104 83 0 203 0

N.S.

1 1.00 0.30 0.00 0.00 0.36 0.29 0.00 0.70 0.00

time (sec)

N/A 0.505 10.036 0.000 0.000 0.077 28.375 0.000 0.677 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F A A F F F(-1)

verified

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

size

318 316 72 0 0 121 90 0 203 0

N.S.

1 0.99 0.23 0.00 0.00 0.38 0.28 0.00 0.64 0.00

time (sec)

N/A 0.573 10.032 0.000 0.000 0.096 128.870 0.000 0.896 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F F C F F F(-1)

verified

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

size

274 276 78 0 0 0 80 0 213 0

N.S.

1 1.01 0.28 0.00 0.00 0.00 0.29 0.00 0.78 0.00

time (sec)

N/A 0.531 10.072 0.000 0.000 0.000 23.857 0.000 0.648 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F F C F F F(-1)

verified

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

size

256 256 72 0 0 0 78 0 177 0

N.S.

1 1.00 0.28 0.00 0.00 0.00 0.30 0.00 0.69 0.00

time (sec)

N/A 0.457 10.029 0.000 0.000 0.000 7.284 0.000 0.562 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F F C F F F(-1)

verified

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

size

274 273 87 0 0 0 82 0 203 0

N.S.

1 1.00 0.32 0.00 0.00 0.00 0.30 0.00 0.74 0.00

time (sec)

N/A 0.494 10.028 0.000 0.000 0.000 34.739 0.000 0.740 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F F C F F F(-1)

verified

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

size

307 305 72 0 0 0 90 0 203 0

N.S.

1 0.99 0.23 0.00 0.00 0.00 0.29 0.00 0.66 0.00

time (sec)

N/A 0.552 10.029 0.000 0.000 0.000 143.669 0.000 1.061 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F F C F F F(-1)

verified

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

size

578 563 80 0 0 0 80 0 229 0

N.S.

1 0.97 0.14 0.00 0.00 0.00 0.14 0.00 0.40 0.00

time (sec)

N/A 1.008 10.076 0.000 0.000 0.000 79.363 0.000 0.717 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F F C F F F(-1)

verified

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

size

562 563 72 0 0 0 80 0 192 0

N.S.

1 1.00 0.13 0.00 0.00 0.00 0.14 0.00 0.34 0.00

time (sec)

N/A 0.952 10.065 0.000 0.000 0.000 14.996 0.000 0.619 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F F C F F F(-1)

verified

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

size

578 559 71 0 0 0 82 0 199 0

N.S.

1 0.97 0.12 0.00 0.00 0.00 0.14 0.00 0.34 0.00

time (sec)

N/A 0.938 10.025 0.000 0.000 0.000 15.524 0.000 0.623 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F F C F F F(-1)

verified

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

size

612 589 72 0 0 0 88 0 203 0

N.S.

1 0.96 0.12 0.00 0.00 0.00 0.14 0.00 0.33 0.00

time (sec)

N/A 0.999 10.034 0.000 0.000 0.000 67.797 0.000 0.803 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F A A F F F(-1)

verified

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

size

576 582 79 0 0 108 80 0 228 0

N.S.

1 1.01 0.14 0.00 0.00 0.19 0.14 0.00 0.40 0.00

time (sec)

N/A 0.977 10.084 0.000 0.000 0.081 17.233 0.000 0.706 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F A A F F F(-1)

verified

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

size

557 565 71 0 0 94 80 0 189 0

N.S.

1 1.01 0.13 0.00 0.00 0.17 0.14 0.00 0.34 0.00

time (sec)

N/A 0.922 10.049 0.000 0.000 0.086 8.605 0.000 0.564 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F A A F F F(-1)

verified

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

size

580 582 72 0 0 112 83 0 203 0

N.S.

1 1.00 0.12 0.00 0.00 0.19 0.14 0.00 0.35 0.00

time (sec)

N/A 0.967 10.030 0.000 0.000 0.093 21.056 0.000 0.632 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F A A F F F(-1)

verified

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

size

610 610 72 0 0 129 90 0 203 0

N.S.

1 1.00 0.12 0.00 0.00 0.21 0.15 0.00 0.33 0.00

time (sec)

N/A 1.011 10.032 0.000 0.000 0.081 76.733 0.000 0.854 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

103 103 73 69 116 96 337 104 94 89

N.S.

1 1.00 0.71 0.67 1.13 0.93 3.27 1.01 0.91 0.86

time (sec)

N/A 0.403 0.065 0.187 0.029 0.077 2.273 0.126 0.340 3.712

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

73 73 56 50 84 74 240 63 71 59

N.S.

1 1.00 0.77 0.68 1.15 1.01 3.29 0.86 0.97 0.81

time (sec)

N/A 0.368 0.044 0.155 0.027 0.090 1.222 0.125 0.300 3.511

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

46 48 34 30 49 52 143 32 49 32

N.S.

1 1.04 0.74 0.65 1.07 1.13 3.11 0.70 1.07 0.70

time (sec)

N/A 0.330 0.036 0.122 0.027 0.087 0.778 0.118 0.307 3.343

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

77 81 71 73 81 240 94 67 218 66

N.S.

1 1.05 0.92 0.95 1.05 3.12 1.22 0.87 2.83 0.86

time (sec)

N/A 0.349 0.101 0.241 0.103 0.091 26.021 0.125 0.317 4.104

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F(-1) A B B

verified

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

size

112 106 99 97 170 348 0 101 410 127

N.S.

1 0.95 0.88 0.87 1.52 3.11 0.00 0.90 3.66 1.13

time (sec)

N/A 0.374 0.138 0.483 0.111 0.094 0.000 0.121 0.319 4.954

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

122 112 100 101 205 342 0 0 440 0

N.S.

1 0.92 0.82 0.83 1.68 2.80 0.00 0.00 3.61 0.00

time (sec)

N/A 0.413 0.808 9.240 0.109 0.100 0.000 0.000 0.405 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

93 88 80 82 99 252 0 0 245 0

N.S.

1 0.95 0.86 0.88 1.06 2.71 0.00 0.00 2.63 0.00

time (sec)

N/A 0.366 0.700 4.754 0.111 0.095 0.000 0.000 0.308 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

65 65 39 36 51 56 146 42 54 35

N.S.

1 1.00 0.60 0.55 0.78 0.86 2.25 0.65 0.83 0.54

time (sec)

N/A 0.327 0.645 2.178 0.033 0.083 164.672 0.139 0.297 3.921

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

83 81 62 57 87 81 0 0 77 68

N.S.

1 0.98 0.75 0.69 1.05 0.98 0.00 0.00 0.93 0.82

time (sec)

N/A 0.351 0.498 1.764 0.032 0.095 0.000 0.000 0.334 3.768

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

113 109 79 74 129 105 0 0 101 151

N.S.

1 0.96 0.70 0.65 1.14 0.93 0.00 0.00 0.89 1.34

time (sec)

N/A 0.405 1.109 3.177 0.034 0.093 0.000 0.000 0.352 4.757

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F A F(-1) F F F(-1)

verified

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

size

315 313 109 0 0 156 0 0 426 0

N.S.

1 0.99 0.35 0.00 0.00 0.50 0.00 0.00 1.35 0.00

time (sec)

N/A 0.579 10.096 0.000 0.000 0.090 0.000 0.000 1.105 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F A F(-1) F F F(-1)

verified

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

size

297 296 101 0 0 145 0 0 386 0

N.S.

1 1.00 0.34 0.00 0.00 0.49 0.00 0.00 1.30 0.00

time (sec)

N/A 0.563 10.111 0.000 0.000 0.086 0.000 0.000 1.025 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F A A F F F(-1)

verified

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

size

301 300 103 0 0 149 80 0 350 0

N.S.

1 1.00 0.34 0.00 0.00 0.50 0.27 0.00 1.16 0.00

time (sec)

N/A 0.538 10.110 0.000 0.000 0.092 101.899 0.000 0.998 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F A F(-1) F F F(-1)

verified

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

size

318 316 116 0 0 165 0 0 374 0

N.S.

1 0.99 0.36 0.00 0.00 0.52 0.00 0.00 1.18 0.00

time (sec)

N/A 0.556 10.064 0.000 0.000 0.090 0.000 0.000 1.118 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F A F(-1) F F F(-1)

verified

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

size

348 345 81 0 0 180 0 0 374 0

N.S.

1 0.99 0.23 0.00 0.00 0.52 0.00 0.00 1.07 0.00

time (sec)

N/A 0.600 10.048 0.000 0.000 0.085 0.000 0.000 1.606 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F F F(-1) F F F(-1)

verified

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

size

303 305 107 0 0 0 0 0 416 0

N.S.

1 1.01 0.35 0.00 0.00 0.00 0.00 0.00 1.37 0.00

time (sec)

N/A 0.573 10.086 0.000 0.000 0.000 0.000 0.000 1.093 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F F F(-1) F F F(-1)

verified

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

size

284 289 101 0 0 0 0 0 376 0

N.S.

1 1.02 0.36 0.00 0.00 0.00 0.00 0.00 1.32 0.00

time (sec)

N/A 0.529 10.069 0.000 0.000 0.000 0.000 0.000 1.082 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F F C F F F(-1)

verified

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

size

286 283 102 0 0 0 78 0 340 0

N.S.

1 0.99 0.36 0.00 0.00 0.00 0.27 0.00 1.19 0.00

time (sec)

N/A 0.525 10.059 0.000 0.000 0.000 119.487 0.000 0.910 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F F F(-1) F F F(-1)

verified

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

size

302 300 116 0 0 0 0 0 374 0

N.S.

1 0.99 0.38 0.00 0.00 0.00 0.00 0.00 1.24 0.00

time (sec)

N/A 0.538 10.068 0.000 0.000 0.000 0.000 0.000 1.217 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F F F(-1) F F F(-1)

verified

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

size

337 334 81 0 0 0 0 0 374 0

N.S.

1 0.99 0.24 0.00 0.00 0.00 0.00 0.00 1.11 0.00

time (sec)

N/A 0.600 10.037 0.000 0.000 0.000 0.000 0.000 1.776 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F F F(-1) F F F(-1)

verified

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

size

608 592 109 0 0 0 0 0 438 0

N.S.

1 0.97 0.18 0.00 0.00 0.00 0.00 0.00 0.72 0.00

time (sec)

N/A 1.050 10.096 0.000 0.000 0.000 0.000 0.000 1.101 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F F F(-1) F F F(-1)

verified

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

size

592 592 93 0 0 0 0 0 398 0

N.S.

1 1.00 0.16 0.00 0.00 0.00 0.00 0.00 0.67 0.00

time (sec)

N/A 0.998 10.085 0.000 0.000 0.000 0.000 0.000 1.050 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F F C F F F(-1)

verified

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

size

595 576 81 0 0 0 80 0 362 0

N.S.

1 0.97 0.14 0.00 0.00 0.00 0.13 0.00 0.61 0.00

time (sec)

N/A 0.945 10.089 0.000 0.000 0.000 137.270 0.000 0.934 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F F F(-1) F F F(-1)

verified

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

size

610 588 80 0 0 0 0 0 370 0

N.S.

1 0.96 0.13 0.00 0.00 0.00 0.00 0.00 0.61 0.00

time (sec)

N/A 0.979 10.043 0.000 0.000 0.000 0.000 0.000 0.944 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F F F(-1) F F F(-1)

verified

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

size

642 618 81 0 0 0 0 0 374 0

N.S.

1 0.96 0.13 0.00 0.00 0.00 0.00 0.00 0.58 0.00

time (sec)

N/A 1.034 10.036 0.000 0.000 0.000 0.000 0.000 1.372 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F A F(-1) F F F(-1)

verified

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

size

606 611 109 0 0 165 0 0 437 0

N.S.

1 1.01 0.18 0.00 0.00 0.27 0.00 0.00 0.72 0.00

time (sec)

N/A 0.991 10.093 0.000 0.000 0.091 0.000 0.000 1.231 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F A F(-1) F F F(-1)

verified

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

size

587 594 92 0 0 152 0 0 398 0

N.S.

1 1.01 0.16 0.00 0.00 0.26 0.00 0.00 0.68 0.00

time (sec)

N/A 0.968 10.079 0.000 0.000 0.091 0.000 0.000 1.048 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F A A F F F(-1)

verified

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

size

593 595 81 0 0 156 80 0 362 0

N.S.

1 1.00 0.14 0.00 0.00 0.26 0.13 0.00 0.61 0.00

time (sec)

N/A 0.973 10.061 0.000 0.000 0.086 100.834 0.000 0.925 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F A F(-1) F F F(-1)

verified

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

size

610 611 81 0 0 173 0 0 374 0

N.S.

1 1.00 0.13 0.00 0.00 0.28 0.00 0.00 0.61 0.00

time (sec)

N/A 0.997 10.046 0.000 0.000 0.096 0.000 0.000 1.016 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C F F A F(-1) F F F(-1)

verified

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

size

640 639 81 0 0 188 0 0 374 0

N.S.

1 1.00 0.13 0.00 0.00 0.29 0.00 0.00 0.58 0.00

time (sec)

N/A 1.060 10.062 0.000 0.000 0.083 0.000 0.000 1.445 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

104 104 91 93 0 288 0 102 77 103

N.S.

1 1.00 0.88 0.89 0.00 2.77 0.00 0.98 0.74 0.99

time (sec)

N/A 0.462 0.187 0.945 0.000 0.085 0.000 0.121 1.445 3.938

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 74 73 59 0 205 0 64 38 58

N.S.

1 1.00 0.99 0.80 0.00 2.77 0.00 0.86 0.51 0.78

time (sec)

N/A 0.327 0.101 0.231 0.000 0.085 0.000 0.121 1.015 3.906

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

51 51 51 39 0 130 87 40 38 40

N.S.

1 1.00 1.00 0.76 0.00 2.55 1.71 0.78 0.75 0.78

time (sec)

N/A 0.296 0.049 0.128 0.000 0.083 12.344 0.125 1.012 4.201

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A A A F B

verified

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

size

85 85 80 65 0 385 114 71 84 652

N.S.

1 1.00 0.94 0.76 0.00 4.53 1.34 0.84 0.99 7.67

time (sec)

N/A 0.356 0.119 0.180 0.000 0.100 10.398 0.123 1.983 3.882

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F A F B

verified

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

size

117 127 109 92 0 518 0 104 198 396

N.S.

1 1.09 0.93 0.79 0.00 4.43 0.00 0.89 1.69 3.38

time (sec)

N/A 0.429 0.277 0.299 0.000 0.108 0.000 0.120 8.779 4.280

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F B F F(-1)

verified

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

size

123 134 136 98 0 739 0 237 159 0

N.S.

1 1.09 1.11 0.80 0.00 6.01 0.00 1.93 1.29 0.00

time (sec)

N/A 0.479 0.950 4.839 0.000 0.159 0.000 0.239 3.218 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F B F F(-1)

verified

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

size

91 90 108 70 0 632 0 156 91 0

N.S.

1 0.99 1.19 0.77 0.00 6.95 0.00 1.71 1.00 0.00

time (sec)

N/A 0.381 0.483 2.204 0.000 0.139 0.000 0.133 1.135 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F B F A F F(-1)

verified

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

size

54 54 74 42 0 245 0 72 38 0

N.S.

1 1.00 1.37 0.78 0.00 4.54 0.00 1.33 0.70 0.00

time (sec)

N/A 0.311 0.602 1.843 0.000 0.113 0.000 0.131 0.394 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F B F F(-1) F F(-1)

verified

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

size

80 80 100 67 0 332 0 0 38 0

N.S.

1 1.00 1.25 0.84 0.00 4.15 0.00 0.00 0.48 0.00

time (sec)

N/A 0.380 0.522 3.096 0.000 0.127 0.000 0.000 0.425 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F F(-1) F F(-1)

verified

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

size

115 127 121 88 0 416 0 0 84 0

N.S.

1 1.10 1.05 0.77 0.00 3.62 0.00 0.00 0.73 0.00

time (sec)

N/A 0.495 1.028 6.496 0.000 0.140 0.000 0.000 1.422 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

64 64 65 0 0 0 0 0 38 0

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 0.59 0.00

time (sec)

N/A 0.346 10.036 0.000 0.000 0.000 0.000 0.000 0.387 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F F F(-1) F F F F(-1)

verified

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

size

64 64 65 0 0 0 0 0 38 0

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 0.59 0.00

time (sec)

N/A 0.369 10.029 0.000 0.000 0.000 0.000 0.000 0.404 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F F F(-1) F F F F(-1)

verified

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

size

64 64 65 0 0 0 0 0 36 0

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 0.56 0.00

time (sec)

N/A 0.340 10.030 0.000 0.000 0.000 0.000 0.000 0.372 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

59 59 161 0 0 0 0 0 35 0

N.S.

1 1.00 2.73 0.00 0.00 0.00 0.00 0.00 0.59 0.00

time (sec)

N/A 0.306 10.136 0.000 0.000 0.000 0.000 0.000 0.400 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B F F F F F F F(-1)

verified

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

size

62 62 141 0 0 0 0 0 38 0

N.S.

1 1.00 2.27 0.00 0.00 0.00 0.00 0.00 0.61 0.00

time (sec)

N/A 0.344 10.079 0.000 0.000 0.000 0.000 0.000 0.458 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B F F F(-1) F F F F(-1)

verified

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

size

64 64 141 0 0 0 0 0 38 0

N.S.

1 1.00 2.20 0.00 0.00 0.00 0.00 0.00 0.59 0.00

time (sec)

N/A 0.391 10.090 0.000 0.000 0.000 0.000 0.000 0.415 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B F F F(-1) F F F F(-1)

verified

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

size

64 64 141 0 0 0 0 0 38 0

N.S.

1 1.00 2.20 0.00 0.00 0.00 0.00 0.00 0.59 0.00

time (sec)

N/A 0.395 10.093 0.000 0.000 0.000 0.000 0.000 0.452 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

123 144 130 133 0 475 0 142 803 144

N.S.

1 1.17 1.06 1.08 0.00 3.86 0.00 1.15 6.53 1.17

time (sec)

N/A 0.475 0.359 0.324 0.000 0.121 0.000 0.124 7.867 4.330

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

99 98 100 83 0 348 0 116 62 95

N.S.

1 0.99 1.01 0.84 0.00 3.52 0.00 1.17 0.63 0.96

time (sec)

N/A 0.387 0.194 0.220 0.000 0.121 0.000 0.121 4.133 4.016

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

87 86 86 71 0 302 0 93 62 84

N.S.

1 0.99 0.99 0.82 0.00 3.47 0.00 1.07 0.71 0.97

time (sec)

N/A 0.361 0.166 0.181 0.000 0.096 0.000 0.119 2.962 3.867

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F A F B

verified

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

size

132 155 124 146 0 816 0 139 951 3025

N.S.

1 1.17 0.94 1.11 0.00 6.18 0.00 1.05 7.20 22.92

time (sec)

N/A 0.496 0.364 0.365 0.000 0.151 0.000 0.130 11.403 5.259

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F A F B

verified

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

size

185 213 163 191 0 1189 0 257 1165 3860

N.S.

1 1.15 0.88 1.03 0.00 6.43 0.00 1.39 6.30 20.86

time (sec)

N/A 0.646 0.881 0.539 0.000 0.211 0.000 0.120 36.298 6.833

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F(-1) B F F(-1)

verified

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

size

141 166 153 117 0 1077 0 343 1002 0

N.S.

1 1.18 1.09 0.83 0.00 7.64 0.00 2.43 7.11 0.00

time (sec)

N/A 0.550 2.196 5.783 0.000 0.418 0.000 0.141 7.668 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F B F F(-1) F F(-1)

verified

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

size

93 97 112 81 0 426 0 0 532 0

N.S.

1 1.04 1.20 0.87 0.00 4.58 0.00 0.00 5.72 0.00

time (sec)

N/A 0.389 1.002 4.545 0.000 0.162 0.000 0.000 3.048 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F B F B F F(-1)

verified

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

size

104 108 124 90 0 467 0 237 62 0

N.S.

1 1.04 1.19 0.87 0.00 4.49 0.00 2.28 0.60 0.00

time (sec)

N/A 0.401 1.188 4.687 0.000 0.172 0.000 0.136 0.527 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F B F F(-1) F F(-1)

verified

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

size

149 157 157 112 0 612 0 0 832 0

N.S.

1 1.05 1.05 0.75 0.00 4.11 0.00 0.00 5.58 0.00

time (sec)

N/A 0.552 1.277 7.796 0.000 0.203 0.000 0.000 5.439 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F F(-1) F F(-1)

verified

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

size

208 212 201 134 0 760 0 0 920 0

N.S.

1 1.02 0.97 0.64 0.00 3.65 0.00 0.00 4.42 0.00

time (sec)

N/A 0.707 2.173 13.877 0.000 0.289 0.000 0.000 8.658 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B F F F F F F F(-1)

verified

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

size

64 64 169 0 0 0 0 0 62 0

N.S.

1 1.00 2.64 0.00 0.00 0.00 0.00 0.00 0.97 0.00

time (sec)

N/A 0.349 10.129 0.000 0.000 0.000 0.000 0.000 0.597 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B F F F(-1) F F F F(-1)

verified

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

size

64 64 168 0 0 0 0 0 62 0

N.S.

1 1.00 2.62 0.00 0.00 0.00 0.00 0.00 0.97 0.00

time (sec)

N/A 0.372 10.136 0.000 0.000 0.000 0.000 0.000 0.541 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B F F F(-1) F F F F(-1)

verified

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

size

64 64 172 0 0 0 0 0 60 0

N.S.

1 1.00 2.69 0.00 0.00 0.00 0.00 0.00 0.94 0.00

time (sec)

N/A 0.339 10.119 0.000 0.000 0.000 0.000 0.000 0.590 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B F F F(-1) F F F F(-1)

verified

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

size

59 59 329 0 0 0 0 0 59 0

N.S.

1 1.00 5.58 0.00 0.00 0.00 0.00 0.00 1.00 0.00

time (sec)

N/A 0.308 10.216 0.000 0.000 0.000 0.000 0.000 0.568 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B F F F F F F F(-1)

verified

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

size

62 62 226 0 0 0 0 0 447 0

N.S.

1 1.00 3.65 0.00 0.00 0.00 0.00 0.00 7.21 0.00

time (sec)

N/A 0.346 10.207 0.000 0.000 0.000 0.000 0.000 9.072 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B F F F(-1) F F F F(-1)

verified

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

size

64 64 226 0 0 0 0 0 452 0

N.S.

1 1.00 3.53 0.00 0.00 0.00 0.00 0.00 7.06 0.00

time (sec)

N/A 0.390 10.197 0.000 0.000 0.000 0.000 0.000 9.958 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B F F F(-1) F F F F(-1)

verified

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

size

64 64 225 0 0 0 0 0 446 0

N.S.

1 1.00 3.52 0.00 0.00 0.00 0.00 0.00 6.97 0.00

time (sec)

N/A 0.391 10.191 0.000 0.000 0.000 0.000 0.000 10.637 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

104 104 91 93 0 288 0 102 77 103

N.S.

1 1.00 0.88 0.89 0.00 2.77 0.00 0.98 0.74 0.99

time (sec)

N/A 0.444 0.194 0.665 0.000 0.109 0.000 0.120 20.529 4.165

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 74 73 59 0 205 0 64 38 58

N.S.

1 1.00 0.99 0.80 0.00 2.77 0.00 0.86 0.51 0.78

time (sec)

N/A 0.346 0.103 0.141 0.000 0.123 0.000 0.123 13.111 3.794

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

51 51 51 39 0 130 87 40 38 40

N.S.

1 1.00 1.00 0.76 0.00 2.55 1.71 0.78 0.75 0.78

time (sec)

N/A 0.299 0.046 0.078 0.000 0.120 17.997 0.119 13.426 3.531

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A A A F B

verified

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

size

85 85 80 65 0 385 114 71 84 652

N.S.

1 1.00 0.94 0.76 0.00 4.53 1.34 0.84 0.99 7.67

time (sec)

N/A 0.353 0.116 0.114 0.000 0.127 12.950 0.132 32.768 3.787

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F A F B

verified

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

size

117 127 109 92 0 518 0 104 24 396

N.S.

1 1.09 0.93 0.79 0.00 4.43 0.00 0.89 0.21 3.38

time (sec)

N/A 0.420 0.287 0.191 0.000 0.136 0.000 0.138 200.039 4.644

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

123 134 136 98 0 745 0 0 159 0

N.S.

1 1.09 1.11 0.80 0.00 6.06 0.00 0.00 1.29 0.00

time (sec)

N/A 0.460 1.593 10.085 0.000 0.185 0.000 0.000 47.928 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

91 90 108 70 0 638 0 0 91 0

N.S.

1 0.99 1.19 0.77 0.00 7.01 0.00 0.00 1.00 0.00

time (sec)

N/A 0.380 0.759 7.342 0.000 0.145 0.000 0.000 14.689 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F B F A F F(-1)

verified

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

size

54 54 74 42 0 245 0 72 38 0

N.S.

1 1.00 1.37 0.78 0.00 4.54 0.00 1.33 0.70 0.00

time (sec)

N/A 0.295 0.653 5.652 0.000 0.120 0.000 0.144 2.811 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F B F A F F(-1)

verified

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

size

80 80 100 67 0 332 0 116 38 0

N.S.

1 1.00 1.25 0.84 0.00 4.15 0.00 1.45 0.48 0.00

time (sec)

N/A 0.373 0.617 9.749 0.000 0.139 0.000 0.141 6.944 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F B F F(-1)

verified

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

size

115 127 121 88 0 416 0 205 84 0

N.S.

1 1.10 1.05 0.77 0.00 3.62 0.00 1.78 0.73 0.00

time (sec)

N/A 0.492 1.686 20.177 0.000 0.158 0.000 0.279 168.089 0.000

[next] [front] [up]