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

verified

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

size

127 145 99 253 0 86 121 0 21 0

N.S.

1 1.14 0.78 1.99 0.00 0.68 0.95 0.00 0.17 0.00

time (sec)

N/A 0.269 0.055 0.052 0.000 0.095 0.908 0.000 0.164 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

101 115 88 205 0 75 95 0 21 0

N.S.

1 1.14 0.87 2.03 0.00 0.74 0.94 0.00 0.21 0.00

time (sec)

N/A 0.245 0.036 0.034 0.000 0.094 0.430 0.000 0.166 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

75 85 76 157 0 59 66 0 132 0

N.S.

1 1.13 1.01 2.09 0.00 0.79 0.88 0.00 1.76 0.00

time (sec)

N/A 0.224 0.024 0.033 0.000 0.089 0.213 0.000 0.193 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

238 185 167 209 0 0 0 0 21 0

N.S.

1 0.78 0.70 0.88 0.00 0.00 0.00 0.00 0.09 0.00

time (sec)

N/A 0.676 1.537 0.217 0.000 0.000 0.000 0.000 0.171 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

53 53 50 111 51 54 0 0 21 0

N.S.

1 1.00 0.94 2.09 0.96 1.02 0.00 0.00 0.40 0.00

time (sec)

N/A 0.203 0.024 0.036 0.068 0.098 0.000 0.000 0.166 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

79 80 63 62 61 67 0 0 21 0

N.S.

1 1.01 0.80 0.78 0.77 0.85 0.00 0.00 0.27 0.00

time (sec)

N/A 0.254 0.030 0.039 0.036 0.098 0.000 0.000 0.174 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

105 110 74 110 102 78 0 0 21 0

N.S.

1 1.05 0.70 1.05 0.97 0.74 0.00 0.00 0.20 0.00

time (sec)

N/A 0.328 0.034 0.036 0.035 0.120 0.000 0.000 0.161 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

131 140 85 158 125 89 0 0 21 0

N.S.

1 1.07 0.65 1.21 0.95 0.68 0.00 0.00 0.16 0.00

time (sec)

N/A 0.353 0.039 0.036 0.037 0.114 0.000 0.000 0.170 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

114 112 79 224 155 88 116 0 21 0

N.S.

1 0.98 0.69 1.96 1.36 0.77 1.02 0.00 0.18 0.00

time (sec)

N/A 0.388 0.039 0.037 0.034 0.102 1.433 0.000 0.187 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

91 93 68 176 127 77 90 0 21 0

N.S.

1 1.02 0.75 1.93 1.40 0.85 0.99 0.00 0.23 0.00

time (sec)

N/A 0.405 0.040 0.037 0.033 0.111 0.613 0.000 0.173 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

68 72 56 128 99 65 65 0 21 0

N.S.

1 1.06 0.82 1.88 1.46 0.96 0.96 0.00 0.31 0.00

time (sec)

N/A 0.346 0.036 0.036 0.044 0.104 0.301 0.000 0.178 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

40 40 40 76 65 51 36 59 61 32

N.S.

1 1.00 1.00 1.90 1.62 1.28 0.90 1.48 1.52 0.80

time (sec)

N/A 0.320 0.008 0.024 0.032 0.117 0.201 0.148 0.177 2.977

Problem 13

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

55 55 61 84 0 273 0 0 21 0

N.S.

1 1.00 1.11 1.53 0.00 4.96 0.00 0.00 0.38 0.00

time (sec)

N/A 0.339 0.030 0.036 0.000 0.138 0.000 0.000 0.167 0.000

Problem 14

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

85 81 92 123 0 340 0 0 21 0

N.S.

1 0.95 1.08 1.45 0.00 4.00 0.00 0.00 0.25 0.00

time (sec)

N/A 0.262 0.059 0.034 0.000 0.137 0.000 0.000 0.176 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

111 111 107 171 0 383 0 0 21 0

N.S.

1 1.00 0.96 1.54 0.00 3.45 0.00 0.00 0.19 0.00

time (sec)

N/A 0.284 0.070 0.035 0.000 0.141 0.000 0.000 0.171 0.000

Problem 16

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

196 214 161 0 0 94 0 0 23 0

N.S.

1 1.09 0.82 0.00 0.00 0.48 0.00 0.00 0.12 0.00

time (sec)

N/A 0.321 0.354 0.000 0.000 0.118 0.000 0.000 0.331 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

168 182 147 0 0 83 0 0 23 0

N.S.

1 1.08 0.88 0.00 0.00 0.49 0.00 0.00 0.14 0.00

time (sec)

N/A 0.298 0.263 0.000 0.000 0.125 0.000 0.000 0.285 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

142 150 135 0 0 69 0 0 20 0

N.S.

1 1.06 0.95 0.00 0.00 0.49 0.00 0.00 0.14 0.00

time (sec)

N/A 0.269 0.200 0.000 0.000 0.112 0.000 0.000 0.224 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

113 113 111 0 0 50 0 0 23 0

N.S.

1 1.00 0.98 0.00 0.00 0.44 0.00 0.00 0.20 0.00

time (sec)

N/A 0.252 0.093 0.000 0.000 0.127 0.000 0.000 0.197 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

145 150 142 0 0 75 0 0 23 0

N.S.

1 1.03 0.98 0.00 0.00 0.52 0.00 0.00 0.16 0.00

time (sec)

N/A 0.272 0.153 0.000 0.000 0.099 0.000 0.000 0.204 0.000

Problem 21

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

173 182 154 0 0 90 0 0 23 0

N.S.

1 1.05 0.89 0.00 0.00 0.52 0.00 0.00 0.13 0.00

time (sec)

N/A 0.295 0.225 0.000 0.000 0.103 0.000 0.000 0.210 0.000

Problem 22

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

201 214 163 0 0 101 0 0 23 0

N.S.

1 1.06 0.81 0.00 0.00 0.50 0.00 0.00 0.11 0.00

time (sec)

N/A 0.319 0.311 0.000 0.000 0.105 0.000 0.000 0.212 0.000

Problem 23

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 317 124 0 0 92 0 0 23 0

N.S.

1 1.07 0.42 0.00 0.00 0.31 0.00 0.00 0.08 0.00

time (sec)

N/A 0.425 0.077 0.000 0.000 0.132 0.000 0.000 0.311 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

269 285 109 0 0 77 0 0 21 0

N.S.

1 1.06 0.41 0.00 0.00 0.29 0.00 0.00 0.08 0.00

time (sec)

N/A 0.526 0.067 0.000 0.000 0.111 0.000 0.000 0.240 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

232 249 85 0 0 52 0 0 23 0

N.S.

1 1.07 0.37 0.00 0.00 0.22 0.00 0.00 0.10 0.00

time (sec)

N/A 0.555 0.074 0.000 0.000 0.112 0.000 0.000 0.182 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

272 281 118 0 0 82 0 0 23 0

N.S.

1 1.03 0.43 0.00 0.00 0.30 0.00 0.00 0.08 0.00

time (sec)

N/A 0.604 0.074 0.000 0.000 0.103 0.000 0.000 0.216 0.000

Problem 27

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

302 313 131 0 0 98 0 0 23 0

N.S.

1 1.04 0.43 0.00 0.00 0.32 0.00 0.00 0.08 0.00

time (sec)

N/A 0.656 0.069 0.000 0.000 0.108 0.000 0.000 0.222 0.000

Problem 28

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 No Yes Yes TBD TBD TBD TBD TBD TBD

size

44 36 39 39 37 59 60 223 377 90

N.S.

1 0.82 0.89 0.89 0.84 1.34 1.36 5.07 8.57 2.05

time (sec)

N/A 0.316 0.015 0.357 0.027 0.096 0.766 0.124 0.221 3.347

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

47 38 42 121 40 109 0 124 56 56

N.S.

1 0.81 0.89 2.57 0.85 2.32 0.00 2.64 1.19 1.19

time (sec)

N/A 0.299 0.027 4.930 0.027 0.094 0.000 0.139 0.180 3.739

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

40 40 42 36 39 38 34 38 39 39

N.S.

1 1.00 1.05 0.90 0.98 0.95 0.85 0.95 0.98 0.98

time (sec)

N/A 0.252 0.137 0.404 0.550 0.123 9.707 0.526 0.294 3.637

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

409 402 0 1623 0 0 0 0 150 0

N.S.

1 0.98 0.00 3.97 0.00 0.00 0.00 0.00 0.37 0.00

time (sec)

N/A 1.200 0.000 1.837 0.000 0.000 0.000 0.000 0.273 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

268 271 0 893 0 0 0 0 108 0

N.S.

1 1.01 0.00 3.33 0.00 0.00 0.00 0.00 0.40 0.00

time (sec)

N/A 0.838 0.000 0.608 0.000 0.000 0.000 0.000 0.242 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

89 84 43 357 0 0 0 0 64 0

N.S.

1 0.94 0.48 4.01 0.00 0.00 0.00 0.00 0.72 0.00

time (sec)

N/A 0.483 0.266 0.329 0.000 0.000 0.000 0.000 0.189 0.000

Problem 34

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

40 40 42 36 39 48 61 38 63 39

N.S.

1 1.00 1.05 0.90 0.98 1.20 1.52 0.95 1.58 0.98

time (sec)

N/A 0.400 0.220 0.376 0.186 0.078 3.874 0.261 0.270 3.363

Problem 35

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

40 40 42 36 246 91 126 38 123 39

N.S.

1 1.00 1.05 0.90 6.15 2.28 3.15 0.95 3.08 0.98

time (sec)

N/A 0.390 0.830 0.385 0.237 0.089 11.367 0.604 0.370 4.089

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 37 34 41 38 62 0 43 38 96

N.S.

1 1.00 0.92 1.11 1.03 1.68 0.00 1.16 1.03 2.59

time (sec)

N/A 0.301 0.041 0.341 0.035 0.079 0.000 0.117 0.159 3.663

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 23 20 20 19 13 19 13 13 19

N.S.

1 1.00 0.87 0.87 0.83 0.57 0.83 0.57 0.57 0.83

time (sec)

N/A 0.264 0.014 0.168 0.076 0.063 0.112 0.106 0.167 0.137

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 23 20 20 19 13 19 13 11 19

N.S.

1 1.00 0.87 0.87 0.83 0.57 0.83 0.57 0.48 0.83

time (sec)

N/A 0.294 0.013 0.165 0.080 0.066 0.080 0.115 0.158 3.151

Problem 39

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

16 16 18 15 16 10 19 10 14 16

N.S.

1 1.00 1.12 0.94 1.00 0.62 1.19 0.62 0.88 1.00

time (sec)

N/A 0.211 0.007 0.145 0.071 0.071 0.070 0.111 0.161 0.046

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 21 19 23 34 8 0 9 13 58

N.S.

1 1.00 0.90 1.10 1.62 0.38 0.00 0.43 0.62 2.76

time (sec)

N/A 0.218 0.011 0.155 0.033 0.077 0.000 0.111 0.158 3.177

Problem 41

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

17 17 18 18 17 13 14 12 19 17

N.S.

1 1.00 1.06 1.06 1.00 0.76 0.82 0.71 1.12 1.00

time (sec)

N/A 0.161 0.013 0.166 0.079 0.066 0.089 0.118 0.154 0.091

Problem 42

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

23 23 18 17 19 11 19 11 19 16

N.S.

1 1.00 0.78 0.74 0.83 0.48 0.83 0.48 0.83 0.70

time (sec)

N/A 0.164 0.012 0.158 0.079 0.078 0.193 0.116 0.180 3.147

Problem 43

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

23 23 20 19 19 13 20 13 19 19

N.S.

1 1.00 0.87 0.83 0.83 0.57 0.87 0.57 0.83 0.83

time (sec)

N/A 0.156 0.012 0.164 0.079 0.083 0.235 0.118 0.167 0.072

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

71 66 62 98 73 161 0 0 15 203

N.S.

1 0.93 0.87 1.38 1.03 2.27 0.00 0.00 0.21 2.86

time (sec)

N/A 0.225 0.108 0.613 0.089 0.084 0.000 0.000 0.164 3.289

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

42 45 37 37 36 24 78 24 15 36

N.S.

1 1.07 0.88 0.88 0.86 0.57 1.86 0.57 0.36 0.86

time (sec)

N/A 0.205 0.021 30.847 0.128 0.067 0.367 0.117 0.187 3.233

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

42 45 37 37 36 24 60 24 15 36

N.S.

1 1.07 0.88 0.88 0.86 0.57 1.43 0.57 0.36 0.86

time (sec)

N/A 0.197 0.033 27.172 0.122 0.079 0.272 0.118 0.171 3.205

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 34 74 37 36 24 41 24 13 36

N.S.

1 1.00 2.18 1.09 1.06 0.71 1.21 0.71 0.38 1.06

time (sec)

N/A 0.210 0.166 26.163 0.119 0.081 0.207 0.116 0.172 3.130

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 16 15 33 20 20 20 14 33

N.S.

1 1.00 1.00 0.94 2.06 1.25 1.25 1.25 0.88 2.06

time (sec)

N/A 0.155 0.006 0.247 0.120 0.078 0.091 0.107 0.167 3.090

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

49 50 53 67 20 20 0 21 15 183

N.S.

1 1.02 1.08 1.37 0.41 0.41 0.00 0.43 0.31 3.73

time (sec)

N/A 0.207 0.081 0.184 0.324 0.073 0.000 0.112 0.190 3.274

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

39 39 37 41 54 24 0 21 15 198

N.S.

1 1.00 0.95 1.05 1.38 0.62 0.00 0.54 0.38 5.08

time (sec)

N/A 0.200 0.031 0.193 0.085 0.081 0.000 0.116 0.174 0.198

Problem 51

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

36 36 42 35 34 26 32 22 38 34

N.S.

1 1.00 1.17 0.97 0.94 0.72 0.89 0.61 1.06 0.94

time (sec)

N/A 0.197 0.025 0.266 0.131 0.080 0.196 0.112 0.172 3.120

Problem 52

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

31 31 34 33 36 22 37 22 36 32

N.S.

1 1.00 1.10 1.06 1.16 0.71 1.19 0.71 1.16 1.03

time (sec)

N/A 0.164 0.029 0.257 0.131 0.068 0.237 0.118 0.181 3.079

Problem 53

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

42 64 37 36 36 24 39 24 36 36

N.S.

1 1.52 0.88 0.86 0.86 0.57 0.93 0.57 0.86 0.86

time (sec)

N/A 0.228 0.021 0.296 0.124 0.067 0.311 0.111 0.181 3.088

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

110 95 97 177 109 300 0 0 15 332

N.S.

1 0.86 0.88 1.61 0.99 2.73 0.00 0.00 0.14 3.02

time (sec)

N/A 0.278 0.108 4.467 0.138 0.084 0.000 0.000 0.201 3.420

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

61 67 54 56 54 35 80 35 15 53

N.S.

1 1.10 0.89 0.92 0.89 0.57 1.31 0.57 0.25 0.87

time (sec)

N/A 0.245 0.021 0.122 0.178 0.068 0.502 0.106 0.191 3.267

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

53 61 54 56 54 35 60 35 15 53

N.S.

1 1.15 1.02 1.06 1.02 0.66 1.13 0.66 0.28 1.00

time (sec)

N/A 0.251 0.018 0.196 0.181 0.069 0.359 0.114 0.188 3.272

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 34 99 54 54 34 41 34 13 53

N.S.

1 1.00 2.91 1.59 1.59 1.00 1.21 1.00 0.38 1.56

time (sec)

N/A 0.271 0.214 43.933 0.177 0.067 0.270 0.112 0.166 0.132

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 16 15 51 31 20 31 14 47

N.S.

1 1.00 1.00 0.94 3.19 1.94 1.25 1.94 0.88 2.94

time (sec)

N/A 0.233 0.006 44.282 0.165 0.074 0.122 0.110 0.177 3.202

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 79 104 147 31 31 0 32 15 306

N.S.

1 1.03 1.35 1.91 0.40 0.40 0.00 0.42 0.19 3.97

time (sec)

N/A 0.428 0.088 0.408 0.328 0.075 0.000 0.113 0.189 0.155

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

68 68 62 85 65 36 0 33 15 415

N.S.

1 1.00 0.91 1.25 0.96 0.53 0.00 0.49 0.22 6.10

time (sec)

N/A 0.397 0.029 0.411 0.366 0.068 0.000 0.112 0.181 3.396

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 61 66 59 72 37 0 31 15 365

N.S.

1 1.02 1.10 0.98 1.20 0.62 0.00 0.52 0.25 6.08

time (sec)

N/A 0.405 0.031 0.430 0.138 0.073 0.000 0.110 0.179 0.223

Problem 62

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

55 55 60 52 52 37 51 35 55 51

N.S.

1 1.00 1.09 0.95 0.95 0.67 0.93 0.64 1.00 0.93

time (sec)

N/A 0.398 0.017 1.226 0.195 0.070 0.255 0.112 0.167 3.301

Problem 63

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

31 31 50 49 53 33 56 33 53 48

N.S.

1 1.00 1.61 1.58 1.71 1.06 1.81 1.06 1.71 1.55

time (sec)

N/A 0.256 0.019 1.273 0.181 0.077 0.305 0.106 0.167 3.231

Problem 64

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

64 64 54 53 54 35 60 35 53 53

N.S.

1 1.00 0.84 0.83 0.84 0.55 0.94 0.55 0.83 0.83

time (sec)

N/A 0.225 0.025 1.296 0.188 0.066 0.423 0.111 0.169 3.308

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

154 124 137 278 145 483 0 0 15 479

N.S.

1 0.81 0.89 1.81 0.94 3.14 0.00 0.00 0.10 3.11

time (sec)

N/A 0.349 0.122 46.254 0.193 0.087 0.000 0.000 0.175 3.660

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

80 89 71 74 72 46 134 46 15 242

N.S.

1 1.11 0.89 0.92 0.90 0.58 1.68 0.58 0.19 3.02

time (sec)

N/A 0.295 0.042 0.215 0.220 0.069 2.573 0.118 0.167 3.332

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

80 89 71 74 72 46 117 46 15 242

N.S.

1 1.11 0.89 0.92 0.90 0.58 1.46 0.58 0.19 3.02

time (sec)

N/A 0.294 0.023 0.216 0.222 0.068 1.591 0.114 0.167 3.491

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

80 89 71 74 72 46 100 46 15 77

N.S.

1 1.11 0.89 0.92 0.90 0.58 1.25 0.58 0.19 0.96

time (sec)

N/A 0.299 0.026 0.207 0.226 0.066 1.132 0.107 0.167 3.468

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

72 88 71 74 72 45 78 45 15 70

N.S.

1 1.22 0.99 1.03 1.00 0.62 1.08 0.62 0.21 0.97

time (sec)

N/A 0.296 0.018 0.132 0.229 0.074 0.729 0.111 0.164 3.887

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

53 61 71 74 72 45 60 45 15 70

N.S.

1 1.15 1.34 1.40 1.36 0.85 1.13 0.85 0.28 1.32

time (sec)

N/A 0.241 0.036 0.131 0.222 0.067 0.493 0.114 0.170 0.182

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 34 125 71 72 46 41 46 13 70

N.S.

1 1.00 3.68 2.09 2.12 1.35 1.21 1.35 0.38 2.06

time (sec)

N/A 0.187 0.190 27.618 0.212 0.069 0.379 0.117 0.178 3.481

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 16 15 69 42 20 42 14 67

N.S.

1 1.00 1.00 0.94 4.31 2.62 1.25 2.62 0.88 4.19

time (sec)

N/A 0.154 0.006 29.598 0.220 0.069 0.181 0.105 0.177 0.129

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

105 108 175 265 42 42 0 43 15 423

N.S.

1 1.03 1.67 2.52 0.40 0.40 0.00 0.41 0.14 4.03

time (sec)

N/A 0.334 0.111 0.309 0.326 0.070 0.000 0.117 0.177 0.165

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

95 97 85 165 77 47 0 44 15 553

N.S.

1 1.02 0.89 1.74 0.81 0.49 0.00 0.46 0.16 5.82

time (sec)

N/A 0.307 0.052 0.332 0.371 0.076 0.000 0.111 0.175 0.179

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

87 88 81 103 83 47 0 43 15 672

N.S.

1 1.01 0.93 1.18 0.95 0.54 0.00 0.49 0.17 7.72

time (sec)

N/A 0.319 0.027 0.369 0.412 0.085 0.000 0.111 0.184 3.848

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 83 82 77 91 48 0 42 15 571

N.S.

1 1.08 1.06 1.00 1.18 0.62 0.00 0.55 0.19 7.42

time (sec)

N/A 0.502 0.029 0.618 0.183 0.085 0.000 0.111 0.170 4.105

Problem 77

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

74 74 78 69 72 48 70 46 72 68

N.S.

1 1.00 1.05 0.93 0.97 0.65 0.95 0.62 0.97 0.92

time (sec)

N/A 0.493 0.023 2.241 0.228 0.067 0.320 0.114 0.179 3.814

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 31 66 65 70 44 75 44 70 64

N.S.

1 1.00 2.13 2.10 2.26 1.42 2.42 1.42 2.26 2.06

time (sec)

N/A 0.284 0.037 1.991 0.232 0.073 0.442 0.115 0.182 3.529

Problem 79

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

64 64 71 70 72 46 78 46 70 70

N.S.

1 1.00 1.11 1.09 1.12 0.72 1.22 0.72 1.09 1.09

time (sec)

N/A 0.365 0.025 2.075 0.230 0.068 0.612 0.106 0.181 3.790

Problem 80

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

98 116 71 70 72 46 80 46 70 70

N.S.

1 1.18 0.72 0.71 0.73 0.47 0.82 0.47 0.71 0.71

time (sec)

N/A 0.515 0.032 2.178 0.235 0.077 0.891 0.112 0.179 3.317

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

80 168 71 70 72 46 76 46 70 70

N.S.

1 2.10 0.89 0.88 0.90 0.58 0.95 0.58 0.88 0.88

time (sec)

N/A 0.429 0.024 2.442 0.240 0.064 1.208 0.112 0.185 3.496

Problem 82

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

80 89 71 70 72 46 76 46 70 70

N.S.

1 1.11 0.89 0.88 0.90 0.58 0.95 0.58 0.88 0.88

time (sec)

N/A 0.297 0.041 2.663 0.225 0.077 1.882 0.109 0.176 3.529

Problem 83

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

80 89 71 70 72 46 78 46 70 70

N.S.

1 1.11 0.89 0.88 0.90 0.58 0.98 0.58 0.88 0.88

time (sec)

N/A 0.297 0.025 3.049 0.244 0.071 2.885 0.114 0.175 3.247

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 34 177 105 110 68 41 68 13 104

N.S.

1 1.00 5.21 3.09 3.24 2.00 1.21 2.00 0.38 3.06

time (sec)

N/A 0.192 0.231 41.608 0.326 0.072 0.762 0.111 0.179 3.387

Problem 85

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

53 53 51 0 0 0 0 0 15 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.28 0.00

time (sec)

N/A 0.197 0.080 0.000 0.000 0.000 0.000 0.000 0.166 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

81 87 79 163 42 41 0 43 15 354

N.S.

1 1.07 0.98 2.01 0.52 0.51 0.00 0.53 0.19 4.37

time (sec)

N/A 0.312 0.033 1.040 0.183 0.077 0.000 0.122 0.160 3.399

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

56 59 55 86 29 29 0 30 15 234

N.S.

1 1.05 0.98 1.54 0.52 0.52 0.00 0.54 0.27 4.18

time (sec)

N/A 0.246 0.026 0.287 0.184 0.073 0.000 0.112 0.192 0.287

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 31 31 32 18 17 0 19 13 108

N.S.

1 1.00 1.00 1.03 0.58 0.55 0.00 0.61 0.42 3.48

time (sec)

N/A 0.191 0.019 0.174 0.184 0.076 0.000 0.112 0.197 0.160

Problem 89

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

12 12 12 13 13 10 17 11 12 12

N.S.

1 1.00 1.00 1.08 1.08 0.83 1.42 0.92 1.00 1.00

time (sec)

N/A 0.146 0.096 0.129 0.117 0.070 0.258 0.107 0.162 0.165

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

44 44 29 43 18 16 0 20 15 107

N.S.

1 1.00 0.66 0.98 0.41 0.36 0.00 0.45 0.34 2.43

time (sec)

N/A 0.211 0.017 9.249 0.192 0.077 0.000 0.106 0.179 5.906

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

65 81 45 64 28 26 0 30 15 210

N.S.

1 1.25 0.69 0.98 0.43 0.40 0.00 0.46 0.23 3.23

time (sec)

N/A 0.280 0.019 0.089 0.181 0.078 0.000 0.116 0.178 5.934

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

92 121 66 87 40 41 0 45 15 286

N.S.

1 1.32 0.72 0.95 0.43 0.45 0.00 0.49 0.16 3.11

time (sec)

N/A 0.349 0.022 0.095 0.190 0.076 0.000 0.109 0.189 5.661

Problem 93

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

65 65 51 0 0 0 0 0 46 0

N.S.

1 1.00 0.78 0.00 0.00 0.00 0.00 0.00 0.71 0.00

time (sec)

N/A 0.232 0.836 0.000 0.000 0.000 0.000 0.000 0.186 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

98 110 106 262 70 73 0 62 15 669

N.S.

1 1.12 1.08 2.67 0.71 0.74 0.00 0.63 0.15 6.83

time (sec)

N/A 0.611 0.062 1.221 0.352 0.081 0.000 0.113 0.176 3.261

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

75 82 83 169 59 62 0 48 15 490

N.S.

1 1.09 1.11 2.25 0.79 0.83 0.00 0.64 0.20 6.53

time (sec)

N/A 0.490 0.037 0.340 0.338 0.077 0.000 0.114 0.169 3.330

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

50 54 56 86 44 47 0 34 15 302

N.S.

1 1.08 1.12 1.72 0.88 0.94 0.00 0.68 0.30 6.04

time (sec)

N/A 0.398 0.048 0.230 0.342 0.074 0.000 0.113 0.171 3.324

Problem 97

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

28 28 27 35 26 28 94 24 34 28

N.S.

1 1.00 0.96 1.25 0.93 1.00 3.36 0.86 1.21 1.00

time (sec)

N/A 0.319 0.098 0.145 0.332 0.075 13.323 0.108 0.168 0.090

Problem 98

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

14 14 14 15 12 13 71 12 14 14

N.S.

1 1.00 1.00 1.07 0.86 0.93 5.07 0.86 1.00 1.00

time (sec)

N/A 0.251 0.006 0.116 0.112 0.077 13.106 0.111 0.163 0.149

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

70 88 53 67 28 39 0 31 15 359

N.S.

1 1.26 0.76 0.96 0.40 0.56 0.00 0.44 0.21 5.13

time (sec)

N/A 0.350 0.093 0.115 0.358 0.073 0.000 0.119 0.172 5.443

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

102 135 70 91 45 63 0 45 15 432

N.S.

1 1.32 0.69 0.89 0.44 0.62 0.00 0.44 0.15 4.24

time (sec)

N/A 0.410 0.039 0.077 0.356 0.083 0.000 0.109 0.185 5.257

[next] [front] [up]