[next] [tail] [up]

Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

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

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

128 126 87 126 189 101 151 195 125 0

N.S.

1 0.98 0.68 0.98 1.48 0.79 1.18 1.52 0.98 0.00

time (sec)

N/A 0.306 0.087 0.186 0.114 0.100 0.684 0.129 0.199 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

123 135 89 114 169 96 138 144 114 0

N.S.

1 1.10 0.72 0.93 1.37 0.78 1.12 1.17 0.93 0.00

time (sec)

N/A 0.300 0.058 0.137 0.110 0.110 0.513 0.125 0.204 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

105 105 85 106 148 91 126 142 105 0

N.S.

1 1.00 0.81 1.01 1.41 0.87 1.20 1.35 1.00 0.00

time (sec)

N/A 0.316 0.062 0.153 0.113 0.105 0.372 0.124 0.200 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

90 93 77 92 128 86 117 100 94 0

N.S.

1 1.03 0.86 1.02 1.42 0.96 1.30 1.11 1.04 0.00

time (sec)

N/A 0.247 0.056 0.242 0.109 0.124 0.310 0.123 0.220 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 79 88 80 97 71 90 80 77 0

N.S.

1 1.03 1.14 1.04 1.26 0.92 1.17 1.04 1.00 0.00

time (sec)

N/A 0.265 0.036 0.059 0.113 0.109 0.150 0.123 0.205 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

121 135 115 157 0 0 0 0 66 0

N.S.

1 1.12 0.95 1.30 0.00 0.00 0.00 0.00 0.55 0.00

time (sec)

N/A 0.562 0.090 0.375 0.000 0.000 0.000 0.000 0.188 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

69 71 78 64 82 98 82 856 66 71

N.S.

1 1.03 1.13 0.93 1.19 1.42 1.19 12.41 0.96 1.03

time (sec)

N/A 0.286 0.022 0.078 0.111 0.116 1.760 0.938 0.194 0.319

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

139 138 112 172 0 0 0 0 63 0

N.S.

1 0.99 0.81 1.24 0.00 0.00 0.00 0.00 0.45 0.00

time (sec)

N/A 0.590 0.075 0.264 0.000 0.000 0.000 0.000 0.203 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

81 80 93 87 123 109 177 296 72 0

N.S.

1 0.99 1.15 1.07 1.52 1.35 2.19 3.65 0.89 0.00

time (sec)

N/A 0.285 0.028 0.098 0.113 0.130 2.702 4.372 0.196 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

186 174 119 168 328 153 230 284 169 0

N.S.

1 0.94 0.64 0.90 1.76 0.82 1.24 1.53 0.91 0.00

time (sec)

N/A 0.450 0.071 0.174 0.119 0.108 1.185 0.133 0.218 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

184 191 115 156 298 149 218 205 158 0

N.S.

1 1.04 0.62 0.85 1.62 0.81 1.18 1.11 0.86 0.00

time (sec)

N/A 0.472 0.063 0.152 0.118 0.123 0.909 0.136 0.203 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

161 153 111 148 267 141 202 227 149 0

N.S.

1 0.95 0.69 0.92 1.66 0.88 1.25 1.41 0.93 0.00

time (sec)

N/A 0.474 0.060 0.159 0.122 0.108 0.639 0.140 0.202 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

124 121 94 127 237 137 190 157 138 0

N.S.

1 0.98 0.76 1.02 1.91 1.10 1.53 1.27 1.11 0.00

time (sec)

N/A 0.325 0.042 0.146 0.116 0.130 0.518 0.135 0.223 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

131 127 95 119 196 121 165 158 121 0

N.S.

1 0.97 0.73 0.91 1.50 0.92 1.26 1.21 0.92 0.00

time (sec)

N/A 0.390 0.030 0.096 0.117 0.101 0.302 0.129 0.219 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

184 226 166 185 0 0 0 0 111 0

N.S.

1 1.23 0.90 1.01 0.00 0.00 0.00 0.00 0.60 0.00

time (sec)

N/A 0.980 0.305 0.344 0.000 0.000 0.000 0.000 0.219 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

123 116 126 115 160 152 184 2717 111 0

N.S.

1 0.94 1.02 0.93 1.30 1.24 1.50 22.09 0.90 0.00

time (sec)

N/A 0.422 0.058 0.115 0.116 0.118 2.335 6.086 0.216 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

201 234 185 258 0 0 0 0 119 0

N.S.

1 1.16 0.92 1.28 0.00 0.00 0.00 0.00 0.59 0.00

time (sec)

N/A 0.950 0.096 0.424 0.000 0.000 0.000 0.000 0.211 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

128 137 136 113 170 162 233 1409 116 0

N.S.

1 1.07 1.06 0.88 1.33 1.27 1.82 11.01 0.91 0.00

time (sec)

N/A 0.441 0.059 0.118 0.114 0.136 3.303 57.637 0.206 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

232 216 143 210 479 189 289 353 211 0

N.S.

1 0.93 0.62 0.91 2.06 0.81 1.25 1.52 0.91 0.00

time (sec)

N/A 0.643 0.116 0.187 0.119 0.114 2.226 0.145 0.203 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

206 199 139 198 439 185 280 250 200 0

N.S.

1 0.97 0.67 0.96 2.13 0.90 1.36 1.21 0.97 0.00

time (sec)

N/A 0.433 0.117 0.164 0.123 0.110 1.620 0.137 0.232 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

207 195 135 190 398 177 265 296 191 0

N.S.

1 0.94 0.65 0.92 1.92 0.86 1.28 1.43 0.92 0.00

time (sec)

N/A 0.679 0.104 0.168 0.115 0.106 1.176 0.141 0.248 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

150 145 110 160 358 173 253 202 180 0

N.S.

1 0.97 0.73 1.07 2.39 1.15 1.69 1.35 1.20 0.00

time (sec)

N/A 0.327 0.049 0.147 0.120 0.107 1.122 0.138 0.203 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

175 167 119 162 307 157 221 224 163 0

N.S.

1 0.95 0.68 0.93 1.75 0.90 1.26 1.28 0.93 0.00

time (sec)

N/A 0.549 0.061 0.091 0.120 0.109 0.572 0.135 0.197 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

235 335 207 221 0 0 0 0 153 0

N.S.

1 1.43 0.88 0.94 0.00 0.00 0.00 0.00 0.65 0.00

time (sec)

N/A 1.393 0.454 0.375 0.000 0.000 0.000 0.000 0.197 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

164 150 123 152 250 188 291 5513 154 0

N.S.

1 0.91 0.75 0.93 1.52 1.15 1.77 33.62 0.94 0.00

time (sec)

N/A 0.640 0.141 0.111 0.114 0.153 3.099 28.835 0.201 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

263 343 226 293 0 0 0 0 162 0

N.S.

1 1.30 0.86 1.11 0.00 0.00 0.00 0.00 0.62 0.00

time (sec)

N/A 1.276 0.297 0.492 0.000 0.000 0.000 0.000 0.197 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

178 160 162 159 242 196 326 0 158 0

N.S.

1 0.90 0.91 0.89 1.36 1.10 1.83 0.00 0.89 0.00

time (sec)

N/A 0.608 0.121 0.115 0.110 0.156 3.970 0.000 0.195 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

172 186 286 229 0 0 0 0 74 0

N.S.

1 1.08 1.66 1.33 0.00 0.00 0.00 0.00 0.43 0.00

time (sec)

N/A 0.853 0.587 0.465 0.000 0.000 0.000 0.000 0.192 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

144 145 312 160 0 0 0 0 102 0

N.S.

1 1.01 2.17 1.11 0.00 0.00 0.00 0.00 0.71 0.00

time (sec)

N/A 0.647 0.337 0.378 0.000 0.000 0.000 0.000 0.190 0.000

Problem 30

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

124 114 238 191 0 0 0 0 82 0

N.S.

1 0.92 1.92 1.54 0.00 0.00 0.00 0.00 0.66 0.00

time (sec)

N/A 0.538 0.374 0.345 0.000 0.000 0.000 0.000 0.219 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

82 78 244 95 0 0 0 0 58 0

N.S.

1 0.95 2.98 1.16 0.00 0.00 0.00 0.00 0.71 0.00

time (sec)

N/A 0.415 0.272 0.208 0.000 0.000 0.000 0.000 0.204 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

84 73 207 140 0 0 0 0 54 0

N.S.

1 0.87 2.46 1.67 0.00 0.00 0.00 0.00 0.64 0.00

time (sec)

N/A 0.404 0.027 0.000 0.000 0.000 0.000 0.000 0.203 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

71 67 274 193 0 0 0 0 58 0

N.S.

1 0.94 3.86 2.72 0.00 0.00 0.00 0.00 0.82 0.00

time (sec)

N/A 0.467 0.152 0.320 0.000 0.000 0.000 0.000 0.202 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

116 110 259 204 0 0 0 0 65 0

N.S.

1 0.95 2.23 1.76 0.00 0.00 0.00 0.00 0.56 0.00

time (sec)

N/A 0.685 0.334 0.423 0.000 0.000 0.000 0.000 0.200 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

124 115 392 244 0 0 0 0 87 0

N.S.

1 0.93 3.16 1.97 0.00 0.00 0.00 0.00 0.70 0.00

time (sec)

N/A 0.717 0.198 0.408 0.000 0.000 0.000 0.000 0.226 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

173 176 350 250 0 0 0 0 85 0

N.S.

1 1.02 2.02 1.45 0.00 0.00 0.00 0.00 0.49 0.00

time (sec)

N/A 0.959 0.395 0.497 0.000 0.000 0.000 0.000 0.233 0.000

Problem 37

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

187 199 332 259 0 0 0 0 167 0

N.S.

1 1.06 1.78 1.39 0.00 0.00 0.00 0.00 0.89 0.00

time (sec)

N/A 0.938 0.453 0.469 0.000 0.000 0.000 0.000 0.207 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

155 153 334 161 0 0 0 0 160 0

N.S.

1 0.99 2.15 1.04 0.00 0.00 0.00 0.00 1.03 0.00

time (sec)

N/A 0.692 0.501 0.288 0.000 0.000 0.000 0.000 0.201 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

144 133 463 201 0 0 0 0 156 0

N.S.

1 0.92 3.22 1.40 0.00 0.00 0.00 0.00 1.08 0.00

time (sec)

N/A 0.567 0.347 0.350 0.000 0.000 0.000 0.000 0.213 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

57 57 50 98 136 55 0 89 89 0

N.S.

1 1.00 0.88 1.72 2.39 0.96 0.00 1.56 1.56 0.00

time (sec)

N/A 0.242 0.029 0.162 0.120 0.112 0.000 0.137 0.199 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

141 130 334 201 0 0 0 0 148 0

N.S.

1 0.92 2.37 1.43 0.00 0.00 0.00 0.00 1.05 0.00

time (sec)

N/A 0.523 0.364 0.000 0.000 0.000 0.000 0.000 0.191 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

122 119 364 251 0 0 0 0 164 0

N.S.

1 0.98 2.98 2.06 0.00 0.00 0.00 0.00 1.34 0.00

time (sec)

N/A 0.615 0.467 0.405 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(-2) F F(-1)

verified

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

size

174 201 348 268 0 0 0 0 165 0

N.S.

1 1.16 2.00 1.54 0.00 0.00 0.00 0.00 0.95 0.00

time (sec)

N/A 0.841 0.936 0.521 0.000 0.000 0.000 0.000 0.223 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

150 198 461 278 0 0 0 0 195 0

N.S.

1 1.32 3.07 1.85 0.00 0.00 0.00 0.00 1.30 0.00

time (sec)

N/A 0.965 0.688 0.483 0.000 0.000 0.000 0.000 0.217 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

233 303 426 312 0 0 0 0 184 0

N.S.

1 1.30 1.83 1.34 0.00 0.00 0.00 0.00 0.79 0.00

time (sec)

N/A 1.279 0.973 0.601 0.000 0.000 0.000 0.000 0.245 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

204 220 445 262 0 0 0 0 273 0

N.S.

1 1.08 2.18 1.28 0.00 0.00 0.00 0.00 1.34 0.00

time (sec)

N/A 1.034 0.619 0.443 0.000 0.000 0.000 0.000 0.213 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

100 99 79 176 0 91 0 124 162 0

N.S.

1 0.99 0.79 1.76 0.00 0.91 0.00 1.24 1.62 0.00

time (sec)

N/A 0.321 0.134 0.143 0.000 0.112 0.000 0.143 0.236 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

202 188 445 260 0 0 0 0 271 0

N.S.

1 0.93 2.20 1.29 0.00 0.00 0.00 0.00 1.34 0.00

time (sec)

N/A 0.845 0.771 0.435 0.000 0.000 0.000 0.000 0.211 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

83 81 62 151 0 88 0 172 158 0

N.S.

1 0.98 0.75 1.82 0.00 1.06 0.00 2.07 1.90 0.00

time (sec)

N/A 0.285 0.062 0.133 0.000 0.111 0.000 0.137 0.200 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

196 182 501 262 0 0 0 0 262 0

N.S.

1 0.93 2.56 1.34 0.00 0.00 0.00 0.00 1.34 0.00

time (sec)

N/A 0.786 0.882 0.239 0.000 0.000 0.000 0.000 0.192 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

173 190 524 325 0 0 0 0 289 0

N.S.

1 1.10 3.03 1.88 0.00 0.00 0.00 0.00 1.67 0.00

time (sec)

N/A 0.906 0.759 0.492 0.000 0.000 0.000 0.000 0.209 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

230 271 512 327 0 0 0 0 285 0

N.S.

1 1.18 2.23 1.42 0.00 0.00 0.00 0.00 1.24 0.00

time (sec)

N/A 1.080 1.445 0.562 0.000 0.000 0.000 0.000 0.204 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

231 291 568 385 0 0 0 0 328 0

N.S.

1 1.26 2.46 1.67 0.00 0.00 0.00 0.00 1.42 0.00

time (sec)

N/A 1.331 1.215 0.588 0.000 0.000 0.000 0.000 0.204 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

291 391 587 372 0 0 0 0 304 0

N.S.

1 1.34 2.02 1.28 0.00 0.00 0.00 0.00 1.04 0.00

time (sec)

N/A 1.540 1.523 0.681 0.000 0.000 0.000 0.000 0.230 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

262 215 169 673 0 0 0 243 98 0

N.S.

1 0.82 0.65 2.57 0.00 0.00 0.00 0.93 0.37 0.00

time (sec)

N/A 0.847 0.076 0.413 0.000 0.000 0.000 0.348 0.217 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

189 164 140 367 0 0 0 173 77 0

N.S.

1 0.87 0.74 1.94 0.00 0.00 0.00 0.92 0.41 0.00

time (sec)

N/A 0.645 0.058 0.260 0.000 0.000 0.000 0.340 0.222 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

116 116 111 280 0 0 0 0 51 0

N.S.

1 1.00 0.96 2.41 0.00 0.00 0.00 0.00 0.44 0.00

time (sec)

N/A 0.397 0.027 0.240 0.000 0.000 0.000 0.000 0.206 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

110 110 142 298 0 0 0 0 69 0

N.S.

1 1.00 1.29 2.71 0.00 0.00 0.00 0.00 0.63 0.00

time (sec)

N/A 0.438 0.265 0.426 0.000 0.000 0.000 0.000 0.216 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

111 84 122 158 137 415 0 0 68 0

N.S.

1 0.76 1.10 1.42 1.23 3.74 0.00 0.00 0.61 0.00

time (sec)

N/A 0.358 0.237 0.490 0.122 0.142 0.000 0.000 0.233 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

187 130 172 1903 140 502 0 0 88 0

N.S.

1 0.70 0.92 10.18 0.75 2.68 0.00 0.00 0.47 0.00

time (sec)

N/A 0.451 0.190 0.530 0.130 0.195 0.000 0.000 0.217 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

263 174 213 2751 199 568 0 0 109 0

N.S.

1 0.66 0.81 10.46 0.76 2.16 0.00 0.00 0.41 0.00

time (sec)

N/A 0.516 0.220 0.575 0.129 0.155 0.000 0.000 0.214 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

256 171 157 195 197 177 0 0 109 0

N.S.

1 0.67 0.61 0.76 0.77 0.69 0.00 0.00 0.43 0.00

time (sec)

N/A 0.498 0.100 1.235 0.131 0.116 0.000 0.000 0.212 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

183 128 134 179 138 150 0 0 89 0

N.S.

1 0.70 0.73 0.98 0.75 0.82 0.00 0.00 0.49 0.00

time (sec)

N/A 0.413 0.058 0.674 0.126 0.111 0.000 0.000 0.206 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

110 83 70 153 75 116 0 0 66 0

N.S.

1 0.75 0.64 1.39 0.68 1.05 0.00 0.00 0.60 0.00

time (sec)

N/A 0.303 0.054 0.398 0.120 0.113 0.000 0.000 0.218 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

203 147 187 314 0 0 0 0 53 0

N.S.

1 0.72 0.92 1.55 0.00 0.00 0.00 0.00 0.26 0.00

time (sec)

N/A 0.661 0.374 0.431 0.000 0.000 0.000 0.000 0.228 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

225 163 239 289 0 0 0 0 66 0

N.S.

1 0.72 1.06 1.28 0.00 0.00 0.00 0.00 0.29 0.00

time (sec)

N/A 0.692 1.502 0.496 0.000 0.000 0.000 0.000 0.209 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

301 209 321 349 0 0 0 0 85 0

N.S.

1 0.69 1.07 1.16 0.00 0.00 0.00 0.00 0.28 0.00

time (sec)

N/A 0.930 2.880 0.549 0.000 0.000 0.000 0.000 0.215 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

340 305 193 770 0 0 0 353 146 0

N.S.

1 0.90 0.57 2.26 0.00 0.00 0.00 1.04 0.43 0.00

time (sec)

N/A 1.162 0.115 0.339 0.000 0.000 0.000 0.647 0.205 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

265 254 170 682 0 0 0 276 126 0

N.S.

1 0.96 0.64 2.57 0.00 0.00 0.00 1.04 0.48 0.00

time (sec)

N/A 0.922 0.098 0.363 0.000 0.000 0.000 0.575 0.207 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

185 204 210 480 0 0 0 0 101 0

N.S.

1 1.10 1.14 2.59 0.00 0.00 0.00 0.00 0.55 0.00

time (sec)

N/A 0.552 0.366 0.302 0.000 0.000 0.000 0.000 0.216 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

185 197 222 248 0 0 0 0 115 0

N.S.

1 1.06 1.20 1.34 0.00 0.00 0.00 0.00 0.62 0.00

time (sec)

N/A 0.705 0.430 0.474 0.000 0.000 0.000 0.000 0.210 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

191 198 211 276 0 0 0 0 130 0

N.S.

1 1.04 1.10 1.45 0.00 0.00 0.00 0.00 0.68 0.00

time (sec)

N/A 0.791 0.560 0.534 0.000 0.000 0.000 0.000 0.218 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

154 94 156 2350 172 526 0 0 120 0

N.S.

1 0.61 1.01 15.26 1.12 3.42 0.00 0.00 0.78 0.00

time (sec)

N/A 0.396 0.208 0.579 0.137 0.155 0.000 0.000 0.227 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

231 139 198 3384 151 600 0 0 140 0

N.S.

1 0.60 0.86 14.65 0.65 2.60 0.00 0.00 0.61 0.00

time (sec)

N/A 0.463 0.244 0.631 0.144 0.175 0.000 0.000 0.276 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

308 187 238 4563 210 672 0 0 160 0

N.S.

1 0.61 0.77 14.81 0.68 2.18 0.00 0.00 0.52 0.00

time (sec)

N/A 0.612 0.273 0.711 0.146 0.177 0.000 0.000 0.222 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

385 227 278 5886 269 744 0 0 180 0

N.S.

1 0.59 0.72 15.29 0.70 1.93 0.00 0.00 0.47 0.00

time (sec)

N/A 0.790 0.309 0.807 0.133 0.246 0.000 0.000 0.219 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

375 225 174 255 267 249 0 0 177 0

N.S.

1 0.60 0.46 0.68 0.71 0.66 0.00 0.00 0.47 0.00

time (sec)

N/A 0.661 0.117 1.133 0.138 0.123 0.000 0.000 0.237 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

301 182 150 239 208 219 0 0 157 0

N.S.

1 0.60 0.50 0.79 0.69 0.73 0.00 0.00 0.52 0.00

time (sec)

N/A 0.504 0.101 0.625 0.131 0.126 0.000 0.000 0.228 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

227 139 126 223 149 189 0 0 137 0

N.S.

1 0.61 0.56 0.98 0.66 0.83 0.00 0.00 0.60 0.00

time (sec)

N/A 0.421 0.084 0.493 0.140 0.116 0.000 0.000 0.232 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

153 94 84 198 87 159 0 0 115 0

N.S.

1 0.61 0.55 1.29 0.57 1.04 0.00 0.00 0.75 0.00

time (sec)

N/A 0.305 0.039 0.259 0.156 0.127 0.000 0.000 0.217 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

280 225 278 525 0 0 0 0 103 0

N.S.

1 0.80 0.99 1.88 0.00 0.00 0.00 0.00 0.37 0.00

time (sec)

N/A 0.947 0.747 0.487 0.000 0.000 0.000 0.000 0.226 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

297 234 389 437 0 0 0 0 126 0

N.S.

1 0.79 1.31 1.47 0.00 0.00 0.00 0.00 0.42 0.00

time (sec)

N/A 1.023 1.436 0.494 0.000 0.000 0.000 0.000 0.240 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

307 253 494 371 0 0 0 0 117 0

N.S.

1 0.82 1.61 1.21 0.00 0.00 0.00 0.00 0.38 0.00

time (sec)

N/A 1.068 4.196 0.562 0.000 0.000 0.000 0.000 0.216 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

430 407 220 1106 0 0 0 440 195 0

N.S.

1 0.95 0.51 2.57 0.00 0.00 0.00 1.02 0.45 0.00

time (sec)

N/A 1.674 0.147 0.518 0.000 0.000 0.000 0.946 0.233 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

351 356 196 907 0 0 0 361 175 0

N.S.

1 1.01 0.56 2.58 0.00 0.00 0.00 1.03 0.50 0.00

time (sec)

N/A 1.540 0.131 0.422 0.000 0.000 0.000 0.835 0.232 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

262 278 266 691 0 0 0 0 150 0

N.S.

1 1.06 1.02 2.64 0.00 0.00 0.00 0.00 0.57 0.00

time (sec)

N/A 0.936 0.343 0.367 0.000 0.000 0.000 0.000 0.219 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

306 300 257 306 0 0 0 0 165 0

N.S.

1 0.98 0.84 1.00 0.00 0.00 0.00 0.00 0.54 0.00

time (sec)

N/A 0.948 0.672 0.596 0.000 0.000 0.000 0.000 0.226 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

277 296 243 343 0 0 0 0 179 0

N.S.

1 1.07 0.88 1.24 0.00 0.00 0.00 0.00 0.65 0.00

time (sec)

N/A 0.982 0.966 0.572 0.000 0.000 0.000 0.000 0.241 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

277 297 234 2615 0 0 0 0 182 0

N.S.

1 1.07 0.84 9.44 0.00 0.00 0.00 0.00 0.66 0.00

time (sec)

N/A 1.089 0.997 0.605 0.000 0.000 0.000 0.000 0.216 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

203 107 190 4031 205 656 0 0 171 0

N.S.

1 0.53 0.94 19.86 1.01 3.23 0.00 0.00 0.84 0.00

time (sec)

N/A 0.378 0.277 0.674 0.177 0.185 0.000 0.000 0.234 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

282 168 232 5324 162 748 0 0 191 0

N.S.

1 0.60 0.82 18.88 0.57 2.65 0.00 0.00 0.68 0.00

time (sec)

N/A 0.446 0.283 0.737 0.170 0.234 0.000 0.000 0.217 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

361 199 272 6761 221 832 0 0 212 0

N.S.

1 0.55 0.75 18.73 0.61 2.30 0.00 0.00 0.59 0.00

time (sec)

N/A 0.546 0.311 0.863 0.149 0.219 0.000 0.000 0.217 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

354 194 160 255 219 291 0 0 206 0

N.S.

1 0.55 0.45 0.72 0.62 0.82 0.00 0.00 0.58 0.00

time (sec)

N/A 0.560 0.125 0.745 0.143 0.117 0.000 0.000 0.248 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

278 149 137 239 160 255 0 0 186 0

N.S.

1 0.54 0.49 0.86 0.58 0.92 0.00 0.00 0.67 0.00

time (sec)

N/A 0.469 0.108 0.354 0.133 0.114 0.000 0.000 0.245 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

202 104 93 214 98 215 0 0 163 0

N.S.

1 0.51 0.46 1.06 0.49 1.06 0.00 0.00 0.81 0.00

time (sec)

N/A 0.329 0.048 0.483 0.125 0.128 0.000 0.000 0.246 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

365 315 394 652 0 0 0 0 152 0

N.S.

1 0.86 1.08 1.79 0.00 0.00 0.00 0.00 0.42 0.00

time (sec)

N/A 1.501 1.248 0.547 0.000 0.000 0.000 0.000 0.212 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

386 324 484 659 0 0 0 0 176 0

N.S.

1 0.84 1.25 1.71 0.00 0.00 0.00 0.00 0.46 0.00

time (sec)

N/A 1.751 3.020 0.533 0.000 0.000 0.000 0.000 0.229 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

389 332 640 529 0 0 0 0 178 0

N.S.

1 0.85 1.65 1.36 0.00 0.00 0.00 0.00 0.46 0.00

time (sec)

N/A 1.819 4.430 0.561 0.000 0.000 0.000 0.000 0.225 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

88 96 64 76 85 60 82 91 23 0

N.S.

1 1.09 0.73 0.86 0.97 0.68 0.93 1.03 0.26 0.00

time (sec)

N/A 0.481 0.021 0.385 0.111 0.105 0.440 0.130 0.206 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

72 75 49 95 61 44 65 0 23 0

N.S.

1 1.04 0.68 1.32 0.85 0.61 0.90 0.00 0.32 0.00

time (sec)

N/A 0.362 0.017 0.224 0.122 0.141 0.344 0.000 0.194 0.000

[next] [front] [up]