[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 C A C F F A F F F(-1)

verified

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

size

76 80 56 37 0 0 42 0 10 0

N.S.

1 1.05 0.74 0.49 0.00 0.00 0.55 0.00 0.13 0.00

time (sec)

N/A 0.330 0.088 0.560 0.000 0.000 0.639 0.000 0.228 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

63 83 53 54 0 0 61 0 55 0

N.S.

1 1.32 0.84 0.86 0.00 0.00 0.97 0.00 0.87 0.00

time (sec)

N/A 0.487 0.026 0.387 0.000 0.000 0.794 0.000 0.194 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

49 59 44 42 0 0 46 0 43 0

N.S.

1 1.20 0.90 0.86 0.00 0.00 0.94 0.00 0.88 0.00

time (sec)

N/A 0.382 0.019 0.427 0.000 0.000 0.909 0.000 0.238 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 42 35 30 0 0 29 0 29 0

N.S.

1 1.20 1.00 0.86 0.00 0.00 0.83 0.00 0.83 0.00

time (sec)

N/A 0.293 0.007 0.390 0.000 0.000 0.521 0.000 0.212 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 16 17 0 0 12 0 18 0

N.S.

1 1.00 1.00 1.06 0.00 0.00 0.75 0.00 1.12 0.00

time (sec)

N/A 0.175 0.004 0.294 0.000 0.000 0.514 0.000 0.207 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

38 38 38 20 0 0 20 0 10 0

N.S.

1 1.00 1.00 0.53 0.00 0.00 0.53 0.00 0.26 0.00

time (sec)

N/A 0.200 0.005 0.441 0.000 0.000 0.393 0.000 0.209 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 35 25 30 0 0 34 0 10 0

N.S.

1 1.40 1.00 1.20 0.00 0.00 1.36 0.00 0.40 0.00

time (sec)

N/A 0.318 0.009 0.555 0.000 0.000 0.606 0.000 0.223 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

46 55 46 47 0 0 39 0 37 0

N.S.

1 1.20 1.00 1.02 0.00 0.00 0.85 0.00 0.80 0.00

time (sec)

N/A 0.395 0.010 0.372 0.000 0.000 0.547 0.000 0.211 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 10 12 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20 1.20

time (sec)

N/A 0.196 0.444 0.260 0.062 0.077 1.390 0.103 0.211 4.006

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

149 229 107 120 0 0 0 0 12 0

N.S.

1 1.54 0.72 0.81 0.00 0.00 0.00 0.00 0.08 0.00

time (sec)

N/A 1.436 0.080 0.600 0.000 0.000 0.000 0.000 0.218 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

112 156 78 84 0 0 0 0 12 0

N.S.

1 1.39 0.70 0.75 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 1.046 0.052 0.669 0.000 0.000 0.000 0.000 0.219 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 78 58 62 0 0 0 0 10 0

N.S.

1 1.05 0.78 0.84 0.00 0.00 0.00 0.00 0.14 0.00

time (sec)

N/A 0.562 0.036 0.566 0.000 0.000 0.000 0.000 0.200 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 36 31 30 0 0 0 0 8 0

N.S.

1 1.16 1.00 0.97 0.00 0.00 0.00 0.00 0.26 0.00

time (sec)

N/A 0.377 0.010 0.434 0.000 0.000 0.000 0.000 0.209 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 8 12 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 0.80 1.20 1.20 1.20

time (sec)

N/A 0.188 0.113 0.131 0.064 0.072 1.128 0.103 0.257 4.082

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 10 12 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20 1.20

time (sec)

N/A 0.195 0.123 0.215 0.093 0.066 1.070 0.108 0.220 4.216

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 10 12 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20 1.20

time (sec)

N/A 0.191 0.146 0.191 0.069 0.063 1.074 0.109 0.194 4.168

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 10 12 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20 1.20

time (sec)

N/A 0.480 6.061 0.306 0.056 0.081 0.626 0.107 0.225 4.151

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

184 165 94 155 0 0 0 0 143 0

N.S.

1 0.90 0.51 0.84 0.00 0.00 0.00 0.00 0.78 0.00

time (sec)

N/A 0.668 0.139 0.506 0.000 0.000 0.000 0.000 0.219 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

118 107 64 100 0 0 0 0 91 0

N.S.

1 0.91 0.54 0.85 0.00 0.00 0.00 0.00 0.77 0.00

time (sec)

N/A 0.560 0.124 0.513 0.000 0.000 0.000 0.000 0.208 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

62 67 47 58 0 0 0 0 54 0

N.S.

1 1.08 0.76 0.94 0.00 0.00 0.00 0.00 0.87 0.00

time (sec)

N/A 0.451 0.069 0.543 0.000 0.000 0.000 0.000 0.228 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 27 42 26 0 0 0 0 30 0

N.S.

1 1.00 1.56 0.96 0.00 0.00 0.00 0.00 1.11 0.00

time (sec)

N/A 0.182 0.025 0.464 0.000 0.000 0.000 0.000 0.232 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 8 12 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 0.80 1.20 1.20 1.20

time (sec)

N/A 0.198 0.250 0.369 0.067 0.073 0.376 0.107 0.217 4.151

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

46 46 39 0 0 0 0 0 12 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.26 0.00

time (sec)

N/A 0.465 0.074 0.000 0.000 0.000 0.000 0.000 0.203 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

111 91 86 0 0 0 0 0 12 0

N.S.

1 0.82 0.77 0.00 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 0.595 0.189 0.000 0.000 0.000 0.000 0.000 0.205 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

12 12 14 12 14 14 12 14 14 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 1.00 1.17 1.17 1.17

time (sec)

N/A 0.221 4.502 0.263 0.063 0.072 1.323 0.106 0.221 4.166

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

333 434 158 0 0 0 0 0 14 0

N.S.

1 1.30 0.47 0.00 0.00 0.00 0.00 0.00 0.04 0.00

time (sec)

N/A 4.747 0.982 0.000 0.000 0.000 0.000 0.000 0.198 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

154 187 95 113 0 0 0 0 12 0

N.S.

1 1.21 0.62 0.73 0.00 0.00 0.00 0.00 0.08 0.00

time (sec)

N/A 1.701 0.211 0.940 0.000 0.000 0.000 0.000 0.244 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

48 53 41 43 0 0 0 0 10 0

N.S.

1 1.10 0.85 0.90 0.00 0.00 0.00 0.00 0.21 0.00

time (sec)

N/A 0.434 0.012 0.402 0.000 0.000 0.000 0.000 0.238 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

12 12 14 12 14 14 10 14 14 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 0.83 1.17 1.17 1.17

time (sec)

N/A 0.204 0.449 0.132 0.072 0.067 0.432 0.104 0.211 3.804

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

12 12 14 12 14 14 12 14 14 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 1.00 1.17 1.17 1.17

time (sec)

N/A 0.216 0.921 0.258 0.070 0.066 0.331 0.109 0.199 4.032

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

12 12 14 12 14 14 12 14 14 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 1.00 1.17 1.17 1.17

time (sec)

N/A 0.211 1.006 0.224 0.062 0.067 0.461 0.107 0.197 4.044

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

128 173 98 0 0 0 0 0 20 0

N.S.

1 1.35 0.77 0.00 0.00 0.00 0.00 0.00 0.16 0.00

time (sec)

N/A 0.637 1.111 0.000 0.000 0.000 0.000 0.000 0.241 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

128 173 98 0 0 0 0 0 18 0

N.S.

1 1.35 0.77 0.00 0.00 0.00 0.00 0.00 0.14 0.00

time (sec)

N/A 0.613 1.077 0.000 0.000 0.000 0.000 0.000 0.193 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

119 161 95 0 0 0 0 0 16 0

N.S.

1 1.35 0.80 0.00 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 0.604 1.074 0.000 0.000 0.000 0.000 0.000 0.216 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

55 62 96 56 0 0 0 0 67 0

N.S.

1 1.13 1.75 1.02 0.00 0.00 0.00 0.00 1.22 0.00

time (sec)

N/A 0.286 0.058 1.102 0.000 0.000 0.000 0.000 0.222 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

122 146 146 0 0 0 0 0 20 0

N.S.

1 1.20 1.20 0.00 0.00 0.00 0.00 0.00 0.16 0.00

time (sec)

N/A 0.610 1.229 0.000 0.000 0.000 0.000 0.000 0.213 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

130 157 148 0 0 0 0 0 20 0

N.S.

1 1.21 1.14 0.00 0.00 0.00 0.00 0.00 0.15 0.00

time (sec)

N/A 0.628 1.252 0.000 0.000 0.000 0.000 0.000 0.202 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

167 215 120 0 0 0 0 0 24 0

N.S.

1 1.29 0.72 0.00 0.00 0.00 0.00 0.00 0.14 0.00

time (sec)

N/A 0.676 1.943 0.000 0.000 0.000 0.000 0.000 0.208 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

96 134 96 0 0 0 0 0 14 0

N.S.

1 1.40 1.00 0.00 0.00 0.00 0.00 0.00 0.15 0.00

time (sec)

N/A 1.095 0.014 0.000 0.000 0.000 0.000 0.000 0.216 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

12 12 14 12 14 14 14 14 14 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 1.17 1.17 1.17 1.17

time (sec)

N/A 0.527 0.183 0.250 0.108 0.067 2.463 0.106 0.207 4.154

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

10 10 10 9 0 0 7 0 8 0

N.S.

1 1.00 1.00 0.90 0.00 0.00 0.70 0.00 0.80 0.00

time (sec)

N/A 0.193 0.004 0.348 0.000 0.000 0.229 0.000 0.204 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 25 22 0 0 0 0 11 0

N.S.

1 1.00 1.00 0.88 0.00 0.00 0.00 0.00 0.44 0.00

time (sec)

N/A 0.310 0.013 0.363 0.000 0.000 0.000 0.000 0.197 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

61 65 44 46 0 0 0 0 12 0

N.S.

1 1.07 0.72 0.75 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 0.492 0.061 0.712 0.000 0.000 0.000 0.000 0.216 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

90 138 64 68 0 0 0 0 14 0

N.S.

1 1.53 0.71 0.76 0.00 0.00 0.00 0.00 0.16 0.00

time (sec)

N/A 0.867 0.052 0.840 0.000 0.000 0.000 0.000 0.208 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

125 211 93 104 0 0 0 0 14 0

N.S.

1 1.69 0.74 0.83 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 1.262 0.110 0.924 0.000 0.000 0.000 0.000 0.216 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

12 12 14 12 14 14 14 14 14 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 1.17 1.17 1.17 1.17

time (sec)

N/A 1.026 0.304 0.245 0.108 0.084 3.145 0.107 0.222 4.100

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

44 54 44 0 0 0 0 0 14 0

N.S.

1 1.23 1.00 0.00 0.00 0.00 0.00 0.00 0.32 0.00

time (sec)

N/A 0.526 0.007 0.000 0.000 0.000 0.000 0.000 0.220 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

12 12 14 12 14 14 12 14 14 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 1.00 1.17 1.17 1.17

time (sec)

N/A 0.185 0.187 0.267 0.116 0.069 2.745 0.106 0.231 4.094

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 33 36 28 0 0 0 0 11 0

N.S.

1 0.97 1.06 0.82 0.00 0.00 0.00 0.00 0.32 0.00

time (sec)

N/A 0.285 0.015 0.629 0.000 0.000 0.000 0.000 0.240 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

62 69 46 46 0 0 0 0 12 0

N.S.

1 1.11 0.74 0.74 0.00 0.00 0.00 0.00 0.19 0.00

time (sec)

N/A 0.480 0.036 0.793 0.000 0.000 0.000 0.000 0.231 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

98 127 72 76 0 0 0 0 14 0

N.S.

1 1.30 0.73 0.78 0.00 0.00 0.00 0.00 0.14 0.00

time (sec)

N/A 0.742 0.064 0.986 0.000 0.000 0.000 0.000 0.214 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

128 0 94 104 0 0 0 0 14 0

N.S.

1 0.00 0.73 0.81 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 0.000 0.073 1.316 0.000 0.000 0.000 0.000 0.224 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 34 25 24 0 0 0 0 11 0

N.S.

1 1.17 0.86 0.83 0.00 0.00 0.00 0.00 0.38 0.00

time (sec)

N/A 0.270 0.024 1.266 0.000 0.000 0.000 0.000 0.210 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 34 25 24 0 0 0 0 11 0

N.S.

1 1.17 0.86 0.83 0.00 0.00 0.00 0.00 0.38 0.00

time (sec)

N/A 0.277 0.022 1.334 0.000 0.000 0.000 0.000 0.231 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

174 211 123 174 0 0 0 0 18 0

N.S.

1 1.21 0.71 1.00 0.00 0.00 0.00 0.00 0.10 0.00

time (sec)

N/A 2.021 0.217 1.636 0.000 0.000 0.000 0.000 0.199 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

97 104 73 84 0 0 0 0 16 0

N.S.

1 1.07 0.75 0.87 0.00 0.00 0.00 0.00 0.16 0.00

time (sec)

N/A 0.979 0.119 1.096 0.000 0.000 0.000 0.000 0.219 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 33 32 30 0 0 0 0 15 0

N.S.

1 1.00 0.97 0.91 0.00 0.00 0.00 0.00 0.45 0.00

time (sec)

N/A 0.340 0.013 0.612 0.000 0.000 0.000 0.000 0.232 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

16 16 18 16 18 18 15 18 39 18

N.S.

1 1.00 1.12 1.00 1.12 1.12 0.94 1.12 2.44 1.12

time (sec)

N/A 0.279 0.412 0.316 0.187 0.077 1.223 0.108 0.200 4.075

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

200 238 134 197 0 0 0 0 18 0

N.S.

1 1.19 0.67 0.98 0.00 0.00 0.00 0.00 0.09 0.00

time (sec)

N/A 2.000 0.226 2.454 0.000 0.000 0.000 0.000 0.215 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

109 114 78 97 0 0 0 0 16 0

N.S.

1 1.05 0.72 0.89 0.00 0.00 0.00 0.00 0.15 0.00

time (sec)

N/A 0.895 0.136 1.549 0.000 0.000 0.000 0.000 0.213 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

46 46 45 38 0 0 0 0 15 0

N.S.

1 1.00 0.98 0.83 0.00 0.00 0.00 0.00 0.33 0.00

time (sec)

N/A 0.334 0.019 1.043 0.000 0.000 0.000 0.000 0.201 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

16 16 18 16 18 18 15 18 18 18

N.S.

1 1.00 1.12 1.00 1.12 1.12 0.94 1.12 1.12 1.12

time (sec)

N/A 0.270 0.514 0.329 0.195 0.068 1.495 0.109 0.196 4.103

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

371 378 294 0 0 0 0 0 16 0

N.S.

1 1.02 0.79 0.00 0.00 0.00 0.00 0.00 0.04 0.00

time (sec)

N/A 1.629 2.728 0.000 0.000 0.000 0.000 0.000 0.226 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

153 160 137 0 0 0 0 0 15 0

N.S.

1 1.05 0.90 0.00 0.00 0.00 0.00 0.00 0.10 0.00

time (sec)

N/A 0.527 0.664 0.000 0.000 0.000 0.000 0.000 0.220 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

16 16 18 16 18 18 15 18 18 18

N.S.

1 1.00 1.12 1.00 1.12 1.12 0.94 1.12 1.12 1.12

time (sec)

N/A 0.310 2.027 0.628 0.206 0.065 0.991 0.109 0.198 4.103

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

371 378 268 0 0 0 0 0 16 0

N.S.

1 1.02 0.72 0.00 0.00 0.00 0.00 0.00 0.04 0.00

time (sec)

N/A 1.784 2.911 0.000 0.000 0.000 0.000 0.000 0.210 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

153 160 137 0 0 0 0 0 15 0

N.S.

1 1.05 0.90 0.00 0.00 0.00 0.00 0.00 0.10 0.00

time (sec)

N/A 0.555 0.727 0.000 0.000 0.000 0.000 0.000 0.202 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

16 16 18 16 18 18 15 18 18 18

N.S.

1 1.00 1.12 1.00 1.12 1.12 0.94 1.12 1.12 1.12

time (sec)

N/A 0.266 1.804 0.647 0.199 0.071 1.181 0.106 0.238 4.126

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

76 74 66 0 0 0 695 0 10 0

N.S.

1 0.97 0.87 0.00 0.00 0.00 9.14 0.00 0.13 0.00

time (sec)

N/A 0.336 0.060 0.000 0.000 0.000 1.533 0.000 0.192 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

63 77 53 54 0 0 85 0 55 0

N.S.

1 1.22 0.84 0.86 0.00 0.00 1.35 0.00 0.87 0.00

time (sec)

N/A 0.482 0.026 0.432 0.000 0.000 1.678 0.000 0.207 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

49 60 44 42 0 0 70 0 43 0

N.S.

1 1.22 0.90 0.86 0.00 0.00 1.43 0.00 0.88 0.00

time (sec)

N/A 0.377 0.020 0.428 0.000 0.000 1.449 0.000 0.210 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 35 35 30 0 0 53 0 29 0

N.S.

1 1.00 1.00 0.86 0.00 0.00 1.51 0.00 0.83 0.00

time (sec)

N/A 0.284 0.007 0.408 0.000 0.000 1.020 0.000 0.198 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 16 17 0 0 31 0 18 0

N.S.

1 1.00 1.00 1.06 0.00 0.00 1.94 0.00 1.12 0.00

time (sec)

N/A 0.172 0.005 0.280 0.000 0.000 1.043 0.000 0.218 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

52 52 52 0 0 0 0 0 10 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.19 0.00

time (sec)

N/A 0.206 0.005 0.000 0.000 0.000 0.000 0.000 0.192 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 25 30 0 0 39 0 10 0

N.S.

1 1.00 1.00 1.20 0.00 0.00 1.56 0.00 0.40 0.00

time (sec)

N/A 0.310 0.009 0.452 0.000 0.000 0.661 0.000 0.219 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

46 56 46 47 0 0 87 0 37 0

N.S.

1 1.22 1.00 1.02 0.00 0.00 1.89 0.00 0.80 0.00

time (sec)

N/A 0.387 0.011 0.406 0.000 0.000 2.608 0.000 0.188 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 10 12 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20 1.20

time (sec)

N/A 0.197 0.440 0.237 0.078 0.093 0.792 0.108 0.210 4.327

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

164 231 107 120 0 0 0 0 12 0

N.S.

1 1.41 0.65 0.73 0.00 0.00 0.00 0.00 0.07 0.00

time (sec)

N/A 1.442 0.071 0.530 0.000 0.000 0.000 0.000 0.191 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

112 157 78 84 0 0 0 0 12 0

N.S.

1 1.40 0.70 0.75 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 0.985 0.055 0.559 0.000 0.000 0.000 0.000 0.197 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 79 57 62 0 0 0 0 10 0

N.S.

1 1.07 0.77 0.84 0.00 0.00 0.00 0.00 0.14 0.00

time (sec)

N/A 0.529 0.032 0.506 0.000 0.000 0.000 0.000 0.214 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 36 31 30 0 0 0 0 8 0

N.S.

1 1.16 1.00 0.97 0.00 0.00 0.00 0.00 0.26 0.00

time (sec)

N/A 0.360 0.009 0.172 0.000 0.000 0.000 0.000 0.213 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 8 12 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 0.80 1.20 1.20 1.20

time (sec)

N/A 0.182 0.109 0.128 0.065 0.070 0.562 0.108 0.219 4.380

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 10 12 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20 1.20

time (sec)

N/A 0.190 0.125 0.186 0.082 0.072 0.435 0.106 0.202 4.364

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 10 12 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20 1.20

time (sec)

N/A 0.192 0.139 0.184 0.063 0.068 0.510 0.109 0.215 4.501

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 10 12 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20 1.20

time (sec)

N/A 0.463 6.215 0.278 0.061 0.085 0.656 0.108 0.196 4.548

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

184 165 94 155 0 0 0 0 143 0

N.S.

1 0.90 0.51 0.84 0.00 0.00 0.00 0.00 0.78 0.00

time (sec)

N/A 0.665 0.142 0.438 0.000 0.000 0.000 0.000 0.224 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

118 107 64 100 0 0 0 0 91 0

N.S.

1 0.91 0.54 0.85 0.00 0.00 0.00 0.00 0.77 0.00

time (sec)

N/A 0.521 0.121 0.456 0.000 0.000 0.000 0.000 0.222 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

62 67 47 58 0 0 0 0 54 0

N.S.

1 1.08 0.76 0.94 0.00 0.00 0.00 0.00 0.87 0.00

time (sec)

N/A 0.440 0.069 0.447 0.000 0.000 0.000 0.000 0.212 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 27 42 26 0 0 0 0 30 0

N.S.

1 1.00 1.56 0.96 0.00 0.00 0.00 0.00 1.11 0.00

time (sec)

N/A 0.181 0.025 0.418 0.000 0.000 0.000 0.000 0.210 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 8 12 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 0.80 1.20 1.20 1.20

time (sec)

N/A 0.192 0.193 0.333 0.052 0.078 0.404 0.106 0.185 4.082

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

46 46 39 0 0 0 0 0 12 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.26 0.00

time (sec)

N/A 0.438 0.073 0.000 0.000 0.000 0.000 0.000 0.204 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

111 91 80 0 0 0 0 0 12 0

N.S.

1 0.82 0.72 0.00 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 0.553 0.215 0.000 0.000 0.000 0.000 0.000 0.189 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

12 12 14 12 14 14 12 14 14 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 1.00 1.17 1.17 1.17

time (sec)

N/A 0.218 2.370 0.283 0.074 0.085 1.244 0.111 0.236 3.931

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

332 434 158 0 0 0 0 0 14 0

N.S.

1 1.31 0.48 0.00 0.00 0.00 0.00 0.00 0.04 0.00

time (sec)

N/A 4.576 0.782 0.000 0.000 0.000 0.000 0.000 0.208 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

154 187 95 113 0 0 0 0 12 0

N.S.

1 1.21 0.62 0.73 0.00 0.00 0.00 0.00 0.08 0.00

time (sec)

N/A 1.752 0.178 0.819 0.000 0.000 0.000 0.000 0.194 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

48 53 41 43 0 0 0 0 10 0

N.S.

1 1.10 0.85 0.90 0.00 0.00 0.00 0.00 0.21 0.00

time (sec)

N/A 0.450 0.010 0.198 0.000 0.000 0.000 0.000 0.185 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

12 12 14 12 14 14 10 14 14 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 0.83 1.17 1.17 1.17

time (sec)

N/A 0.202 0.351 0.118 0.067 0.069 0.446 0.111 0.229 4.250

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

12 12 14 12 14 14 12 14 14 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 1.00 1.17 1.17 1.17

time (sec)

N/A 0.210 0.746 0.224 0.064 0.078 0.323 0.110 0.208 4.049

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

12 12 14 12 14 14 12 14 14 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 1.00 1.17 1.17 1.17

time (sec)

N/A 0.208 1.002 0.214 0.068 0.084 0.358 0.101 0.199 3.933

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

128 173 97 0 0 0 0 0 20 0

N.S.

1 1.35 0.76 0.00 0.00 0.00 0.00 0.00 0.16 0.00

time (sec)

N/A 0.629 1.099 0.000 0.000 0.000 0.000 0.000 0.191 0.000

[next] [front] [up]