[next] [tail] [up]

2.2.1 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 Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 80 56 37 0 0 42 0 0

N.S.

1 1.05 0.74 0.49 0.00 0.00 0.55 0.00 0.00

time (sec)

N/A 0.318 0.087 0.595 0.000 0.000 0.566 0.000 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 83 53 54 0 0 61 0 0

N.S.

1 1.32 0.84 0.86 0.00 0.00 0.97 0.00 0.00

time (sec)

N/A 0.483 0.026 0.322 0.000 0.000 0.653 0.000 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 59 44 42 0 0 46 0 0

N.S.

1 1.20 0.90 0.86 0.00 0.00 0.94 0.00 0.00

time (sec)

N/A 0.370 0.020 0.322 0.000 0.000 0.836 0.000 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 42 35 30 0 0 29 0 0

N.S.

1 1.20 1.00 0.86 0.00 0.00 0.83 0.00 0.00

time (sec)

N/A 0.283 0.007 0.304 0.000 0.000 0.495 0.000 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 17 0 0 12 0 0

N.S.

1 1.00 1.00 1.06 0.00 0.00 0.75 0.00 0.00

time (sec)

N/A 0.170 0.004 0.210 0.000 0.000 0.508 0.000 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 38 20 0 0 20 0 0

N.S.

1 1.00 1.00 0.53 0.00 0.00 0.53 0.00 0.00

time (sec)

N/A 0.193 0.005 0.381 0.000 0.000 0.340 0.000 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 35 25 30 0 0 34 0 0

N.S.

1 1.40 1.00 1.20 0.00 0.00 1.36 0.00 0.00

time (sec)

N/A 0.310 0.009 0.492 0.000 0.000 0.549 0.000 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 55 46 47 0 0 39 0 0

N.S.

1 1.20 1.00 1.02 0.00 0.00 0.85 0.00 0.00

time (sec)

N/A 0.389 0.015 0.395 0.000 0.000 0.517 0.000 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

10 10 12 10 12 12 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.194 0.447 0.221 0.211 0.242 1.289 0.270 4.882

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 229 107 120 0 0 0 0 0

N.S.

1 1.54 0.72 0.81 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.458 0.082 0.624 0.000 0.000 0.000 0.000 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 156 78 84 0 0 0 0 0

N.S.

1 1.39 0.70 0.75 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.038 0.052 0.688 0.000 0.000 0.000 0.000 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 78 58 62 0 0 0 0 0

N.S.

1 1.05 0.78 0.84 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.561 0.035 0.573 0.000 0.000 0.000 0.000 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 36 31 30 0 0 0 0 0

N.S.

1 1.16 1.00 0.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.363 0.010 0.477 0.000 0.000 0.000 0.000 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

10 10 12 10 12 12 8 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 0.80 1.20 1.20

time (sec)

N/A 0.190 0.115 0.072 0.214 0.234 1.071 0.271 4.922

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

10 10 12 10 12 12 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.191 0.126 0.155 0.218 0.232 0.983 0.276 4.835

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

10 10 12 10 12 12 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.192 0.154 0.161 0.216 0.235 1.138 0.277 4.882

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

10 10 12 10 12 12 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.473 6.191 0.285 0.210 0.248 0.619 0.266 4.854

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 165 94 155 0 0 0 0 0

N.S.

1 0.90 0.51 0.84 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.640 0.144 0.451 0.000 0.000 0.000 0.000 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 107 64 100 0 0 0 0 0

N.S.

1 0.91 0.54 0.85 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.533 0.122 0.464 0.000 0.000 0.000 0.000 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 67 47 58 0 0 0 0 0

N.S.

1 0.94 0.66 0.82 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.445 0.070 0.506 0.000 0.000 0.000 0.000 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 42 26 0 0 0 0 0

N.S.

1 1.00 1.56 0.96 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.181 0.027 0.421 0.000 0.000 0.000 0.000 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

10 10 12 10 12 12 8 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 0.80 1.20 1.20

time (sec)

N/A 0.194 0.249 0.273 0.215 0.228 0.387 0.274 4.881

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

46 46 39 0 0 0 0 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.464 0.075 0.000 0.000 0.000 0.000 0.000 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

111 91 86 0 0 0 0 0 0

N.S.

1 0.82 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.561 0.192 0.000 0.000 0.000 0.000 0.000 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

12 12 14 12 14 14 12 14 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 1.00 1.17 1.17

time (sec)

N/A 0.209 4.578 0.220 0.228 0.271 1.139 0.276 4.901

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

328 434 158 0 0 0 0 0 0

N.S.

1 1.32 0.48 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.630 1.024 0.000 0.000 0.000 0.000 0.000 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 187 95 113 0 0 0 0 0

N.S.

1 1.21 0.62 0.73 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.664 0.217 0.968 0.000 0.000 0.000 0.000 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 53 41 43 0 0 0 0 0

N.S.

1 1.10 0.85 0.90 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.420 0.012 0.454 0.000 0.000 0.000 0.000 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

12 12 14 12 14 14 10 14 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 0.83 1.17 1.17

time (sec)

N/A 0.195 0.461 0.104 0.204 0.248 0.409 0.280 4.876

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

12 12 14 12 14 14 12 14 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 1.00 1.17 1.17

time (sec)

N/A 0.209 0.931 0.212 0.226 0.254 0.340 0.270 4.928

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

12 12 14 12 14 14 12 14 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 1.00 1.17 1.17

time (sec)

N/A 0.209 1.001 0.205 0.218 0.242 0.407 0.264 4.917

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

128 173 98 0 0 0 0 0 0

N.S.

1 1.35 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.627 1.092 0.000 0.000 0.000 0.000 0.000 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

128 173 98 0 0 0 0 0 0

N.S.

1 1.35 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.591 1.085 0.000 0.000 0.000 0.000 0.000 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

119 161 95 0 0 0 0 0 0

N.S.

1 1.35 0.80 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.558 1.052 0.000 0.000 0.000 0.000 0.000 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

55 62 96 56 0 0 0 0 0

N.S.

1 1.13 1.75 1.02 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.282 0.056 1.457 0.000 0.000 0.000 0.000 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

122 146 146 0 0 0 0 0 0

N.S.

1 1.20 1.20 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.600 1.245 0.000 0.000 0.000 0.000 0.000 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

130 157 148 0 0 0 0 0 0

N.S.

1 1.21 1.14 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.612 1.252 0.000 0.000 0.000 0.000 0.000 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

167 215 120 0 0 0 0 0 0

N.S.

1 1.29 0.72 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.665 1.985 0.000 0.000 0.000 0.000 0.000 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

96 134 96 0 0 0 0 0 0

N.S.

1 1.40 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.066 0.014 0.000 0.000 0.000 0.000 0.000 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

12 12 14 12 14 14 14 14 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 1.17 1.17 1.17

time (sec)

N/A 0.523 0.194 0.201 0.265 0.242 2.377 0.272 4.846

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 10 9 0 0 7 0 0

N.S.

1 1.00 1.00 0.90 0.00 0.00 0.70 0.00 0.00

time (sec)

N/A 0.192 0.004 0.231 0.000 0.000 0.242 0.000 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 22 0 0 0 0 0

N.S.

1 1.00 1.00 0.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.311 0.013 0.370 0.000 0.000 0.000 0.000 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 65 44 46 0 0 0 0 0

N.S.

1 1.07 0.72 0.75 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.474 0.063 0.635 0.000 0.000 0.000 0.000 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 138 64 68 0 0 0 0 0

N.S.

1 1.53 0.71 0.76 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.862 0.051 0.768 0.000 0.000 0.000 0.000 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 211 93 104 0 0 0 0 0

N.S.

1 1.69 0.74 0.83 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.238 0.120 0.956 0.000 0.000 0.000 0.000 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

12 12 14 12 14 14 14 14 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 1.17 1.17 1.17

time (sec)

N/A 1.022 0.309 0.199 0.243 0.261 2.728 0.272 5.158

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

44 54 44 0 0 0 0 0 0

N.S.

1 1.23 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.516 0.007 0.000 0.000 0.000 0.000 0.000 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

12 12 14 12 14 14 12 14 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 1.00 1.17 1.17

time (sec)

N/A 0.190 0.184 0.226 0.246 0.243 2.417 0.279 4.992

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 33 36 28 0 0 0 0 0

N.S.

1 0.97 1.06 0.82 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.278 0.016 0.611 0.000 0.000 0.000 0.000 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 69 46 46 0 0 0 0 0

N.S.

1 1.11 0.74 0.74 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.479 0.036 0.803 0.000 0.000 0.000 0.000 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 127 72 76 0 0 0 0 0

N.S.

1 1.30 0.73 0.78 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.741 0.064 1.032 0.000 0.000 0.000 0.000 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

128 0 94 104 0 0 0 0 0

N.S.

1 0.00 0.73 0.81 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.069 1.340 0.000 0.000 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 34 25 24 0 0 0 0 0

N.S.

1 1.17 0.86 0.83 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.267 0.022 1.259 0.000 0.000 0.000 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 34 25 24 0 0 0 0 0

N.S.

1 1.17 0.86 0.83 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.273 0.022 1.346 0.000 0.000 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

186 211 123 174 0 0 0 0 0

N.S.

1 1.13 0.66 0.94 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.951 0.223 1.618 0.000 0.000 0.000 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 104 73 84 0 0 0 0 0

N.S.

1 1.07 0.75 0.87 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.971 0.127 1.053 0.000 0.000 0.000 0.000 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 32 30 0 0 0 0 0

N.S.

1 1.00 0.97 0.91 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.341 0.014 0.485 0.000 0.000 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

16 16 18 16 18 18 15 18 18

N.S.

1 1.00 1.12 1.00 1.12 1.12 0.94 1.12 1.12

time (sec)

N/A 0.267 0.412 0.269 0.320 0.247 1.107 0.287 5.039

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 238 134 197 0 0 0 0 0

N.S.

1 1.09 0.61 0.90 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.962 0.221 2.450 0.000 0.000 0.000 0.000 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 114 78 97 0 0 0 0 0

N.S.

1 1.05 0.72 0.89 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.843 0.140 1.539 0.000 0.000 0.000 0.000 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 45 38 0 0 0 0 0

N.S.

1 1.00 0.98 0.83 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.321 0.019 0.879 0.000 0.000 0.000 0.000 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

16 16 18 16 18 18 15 18 18

N.S.

1 1.00 1.12 1.00 1.12 1.12 0.94 1.12 1.12

time (sec)

N/A 0.261 0.534 0.274 0.313 0.245 1.062 0.274 4.859

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

371 378 271 0 0 0 0 0 0

N.S.

1 1.02 0.73 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.554 2.609 0.000 0.000 0.000 0.000 0.000 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

153 160 137 0 0 0 0 0 0

N.S.

1 1.05 0.90 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.513 0.684 0.000 0.000 0.000 0.000 0.000 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

16 16 18 16 18 18 15 18 18

N.S.

1 1.00 1.12 1.00 1.12 1.12 0.94 1.12 1.12

time (sec)

N/A 0.285 2.058 0.404 0.320 0.243 0.900 0.290 5.065

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

371 378 313 0 0 0 0 0 0

N.S.

1 1.02 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.781 3.135 0.000 0.000 0.000 0.000 0.000 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

153 160 137 0 0 0 0 0 0

N.S.

1 1.05 0.90 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.521 0.728 0.000 0.000 0.000 0.000 0.000 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

16 16 18 16 18 18 15 18 18

N.S.

1 1.00 1.12 1.00 1.12 1.12 0.94 1.12 1.12

time (sec)

N/A 0.255 1.825 0.426 0.322 0.243 0.884 0.290 4.871

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

76 74 66 0 0 0 695 0 0

N.S.

1 0.97 0.87 0.00 0.00 0.00 9.14 0.00 0.00

time (sec)

N/A 0.331 0.058 0.000 0.000 0.000 1.269 0.000 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 77 53 54 0 0 85 0 0

N.S.

1 1.22 0.84 0.86 0.00 0.00 1.35 0.00 0.00

time (sec)

N/A 0.478 0.026 0.382 0.000 0.000 1.663 0.000 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 60 44 42 0 0 70 0 0

N.S.

1 1.22 0.90 0.86 0.00 0.00 1.43 0.00 0.00

time (sec)

N/A 0.376 0.019 0.415 0.000 0.000 1.499 0.000 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 35 30 0 0 53 0 0

N.S.

1 1.00 1.00 0.86 0.00 0.00 1.51 0.00 0.00

time (sec)

N/A 0.282 0.007 0.335 0.000 0.000 0.996 0.000 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 17 0 0 31 0 0

N.S.

1 1.00 1.00 1.06 0.00 0.00 1.94 0.00 0.00

time (sec)

N/A 0.167 0.004 0.243 0.000 0.000 0.992 0.000 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

52 52 52 0 0 0 42 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.81 0.00 0.00

time (sec)

N/A 0.204 0.005 0.000 0.000 0.000 0.917 0.000 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 30 0 0 39 0 0

N.S.

1 1.00 1.00 1.20 0.00 0.00 1.56 0.00 0.00

time (sec)

N/A 0.307 0.009 0.423 0.000 0.000 0.602 0.000 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 56 46 47 0 0 87 0 0

N.S.

1 1.22 1.00 1.02 0.00 0.00 1.89 0.00 0.00

time (sec)

N/A 0.381 0.010 0.382 0.000 0.000 2.414 0.000 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

10 10 12 10 12 12 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.197 0.441 0.228 0.205 0.268 0.789 0.282 4.838

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 231 107 120 0 0 0 0 0

N.S.

1 1.41 0.65 0.73 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.463 0.071 0.567 0.000 0.000 0.000 0.000 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 157 78 84 0 0 0 0 0

N.S.

1 1.40 0.70 0.75 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.015 0.054 0.615 0.000 0.000 0.000 0.000 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 79 57 62 0 0 0 0 0

N.S.

1 1.07 0.77 0.84 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.534 0.033 0.539 0.000 0.000 0.000 0.000 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 36 31 30 0 0 0 0 0

N.S.

1 1.16 1.00 0.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.351 0.010 0.160 0.000 0.000 0.000 0.000 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

10 10 12 10 12 12 8 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 0.80 1.20 1.20

time (sec)

N/A 0.182 0.109 0.072 0.215 0.255 0.503 0.291 4.874

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

10 10 12 10 12 12 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.189 0.129 0.161 0.218 0.234 0.418 0.292 4.808

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

10 10 12 10 12 12 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.187 0.142 0.194 0.216 0.244 0.456 0.287 4.900

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

10 10 12 10 12 12 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.447 6.300 0.280 0.212 0.243 0.598 0.282 4.746

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 165 94 155 0 0 0 0 0

N.S.

1 0.90 0.51 0.84 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.634 0.134 0.487 0.000 0.000 0.000 0.000 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 107 64 100 0 0 0 0 0

N.S.

1 0.91 0.54 0.85 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.515 0.128 0.477 0.000 0.000 0.000 0.000 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 67 47 58 0 0 0 0 0

N.S.

1 0.94 0.66 0.82 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.442 0.070 0.474 0.000 0.000 0.000 0.000 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 42 26 0 0 0 0 0

N.S.

1 1.00 1.56 0.96 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.177 0.025 0.418 0.000 0.000 0.000 0.000 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

10 10 12 10 12 12 8 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 0.80 1.20 1.20

time (sec)

N/A 0.192 0.196 0.280 0.200 0.225 0.377 0.288 4.738

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

46 46 39 0 0 0 0 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.447 0.073 0.000 0.000 0.000 0.000 0.000 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

111 91 80 0 0 0 0 0 0

N.S.

1 0.82 0.72 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.556 0.216 0.000 0.000 0.000 0.000 0.000 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

12 12 14 12 14 14 12 14 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 1.00 1.17 1.17

time (sec)

N/A 0.210 2.415 0.224 0.213 0.245 1.253 0.296 4.788

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

327 434 158 0 0 0 0 0 0

N.S.

1 1.33 0.48 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.509 0.793 0.000 0.000 0.000 0.000 0.000 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 187 95 113 0 0 0 0 0

N.S.

1 1.21 0.62 0.73 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.674 0.182 0.924 0.000 0.000 0.000 0.000 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 53 41 43 0 0 0 0 0

N.S.

1 1.10 0.85 0.90 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.423 0.008 0.241 0.000 0.000 0.000 0.000 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

12 12 14 12 14 14 10 14 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 0.83 1.17 1.17

time (sec)

N/A 0.204 0.358 0.113 0.208 0.244 0.493 0.280 4.802

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

12 12 14 12 14 14 12 14 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 1.00 1.17 1.17

time (sec)

N/A 0.211 0.770 0.212 0.213 0.230 0.318 0.286 4.898

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

12 12 14 12 14 14 12 14 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 1.00 1.17 1.17

time (sec)

N/A 0.210 0.996 0.236 0.223 0.230 0.351 0.274 4.871

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

128 173 97 0 0 0 0 0 0

N.S.

1 1.35 0.76 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.615 1.125 0.000 0.000 0.000 0.000 0.000 0.000

[next] [front] [up]