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

verified

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

size

151 163 91 94 184 113 0 0 121 0

N.S.

1 1.08 0.60 0.62 1.22 0.75 0.00 0.00 0.80 0.00

time (sec)

N/A 0.356 0.111 0.199 0.034 0.110 0.000 0.000 0.195 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

135 147 166 151 202 108 0 0 122 0

N.S.

1 1.09 1.23 1.12 1.50 0.80 0.00 0.00 0.90 0.00

time (sec)

N/A 0.355 0.069 0.181 0.033 0.112 0.000 0.000 0.192 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

121 127 89 86 145 103 0 0 102 0

N.S.

1 1.05 0.74 0.71 1.20 0.85 0.00 0.00 0.84 0.00

time (sec)

N/A 0.350 0.075 0.151 0.032 0.089 0.000 0.000 0.183 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

98 101 100 136 162 98 0 0 103 0

N.S.

1 1.03 1.02 1.39 1.65 1.00 0.00 0.00 1.05 0.00

time (sec)

N/A 0.250 0.106 0.210 0.028 0.089 0.000 0.000 0.183 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

86 89 71 71 97 83 0 0 89 0

N.S.

1 1.03 0.83 0.83 1.13 0.97 0.00 0.00 1.03 0.00

time (sec)

N/A 0.272 0.052 0.000 0.026 0.096 0.000 0.000 0.183 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

117 140 130 131 0 0 0 0 75 0

N.S.

1 1.20 1.11 1.12 0.00 0.00 0.00 0.00 0.64 0.00

time (sec)

N/A 0.672 0.095 0.322 0.000 0.000 0.000 0.000 0.194 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

76 74 110 92 66 127 0 0 74 0

N.S.

1 0.97 1.45 1.21 0.87 1.67 0.00 0.00 0.97 0.00

time (sec)

N/A 0.534 0.117 0.100 0.107 0.108 0.000 0.000 0.199 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

135 141 107 128 0 0 0 0 71 0

N.S.

1 1.04 0.79 0.95 0.00 0.00 0.00 0.00 0.53 0.00

time (sec)

N/A 1.023 0.066 0.230 0.000 0.000 0.000 0.000 0.205 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

90 93 127 117 89 146 0 0 78 0

N.S.

1 1.03 1.41 1.30 0.99 1.62 0.00 0.00 0.87 0.00

time (sec)

N/A 0.337 0.170 0.122 0.109 0.115 0.000 0.000 0.189 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

206 200 124 124 319 165 0 0 164 0

N.S.

1 0.97 0.60 0.60 1.55 0.80 0.00 0.00 0.80 0.00

time (sec)

N/A 0.829 0.128 0.203 0.035 0.111 0.000 0.000 0.197 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

200 231 194 192 346 161 0 0 165 0

N.S.

1 1.16 0.97 0.96 1.73 0.80 0.00 0.00 0.82 0.00

time (sec)

N/A 0.674 0.130 0.187 0.034 0.123 0.000 0.000 0.192 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

177 180 116 116 261 153 0 0 145 0

N.S.

1 1.02 0.66 0.66 1.47 0.86 0.00 0.00 0.82 0.00

time (sec)

N/A 0.809 0.115 0.192 0.037 0.117 0.000 0.000 0.183 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

136 133 126 170 287 149 0 0 146 0

N.S.

1 0.98 0.93 1.25 2.11 1.10 0.00 0.00 1.07 0.00

time (sec)

N/A 0.328 0.137 0.194 0.035 0.105 0.000 0.000 0.192 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

143 155 99 99 194 133 0 0 133 0

N.S.

1 1.08 0.69 0.69 1.36 0.93 0.00 0.00 0.93 0.00

time (sec)

N/A 0.440 0.072 0.145 0.035 0.092 0.000 0.000 0.188 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

184 241 208 192 0 0 0 0 120 0

N.S.

1 1.31 1.13 1.04 0.00 0.00 0.00 0.00 0.65 0.00

time (sec)

N/A 0.988 0.428 0.333 0.000 0.000 0.000 0.000 0.214 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

140 145 131 139 143 201 0 0 134 0

N.S.

1 1.04 0.94 0.99 1.02 1.44 0.00 0.00 0.96 0.00

time (sec)

N/A 0.886 0.123 0.168 0.121 0.118 0.000 0.000 0.197 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

200 249 182 206 0 0 0 0 138 0

N.S.

1 1.24 0.91 1.03 0.00 0.00 0.00 0.00 0.69 0.00

time (sec)

N/A 1.024 0.221 0.333 0.000 0.000 0.000 0.000 0.195 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

142 163 135 150 137 213 0 0 123 0

N.S.

1 1.15 0.95 1.06 0.96 1.50 0.00 0.00 0.87 0.00

time (sec)

N/A 0.512 0.127 0.164 0.107 0.137 0.000 0.000 0.190 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

256 241 147 154 465 201 0 0 205 0

N.S.

1 0.94 0.57 0.60 1.82 0.79 0.00 0.00 0.80 0.00

time (sec)

N/A 0.794 0.166 0.210 0.040 0.108 0.000 0.000 0.202 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

226 219 162 233 501 197 0 0 206 0

N.S.

1 0.97 0.72 1.03 2.22 0.87 0.00 0.00 0.91 0.00

time (sec)

N/A 0.508 0.209 0.197 0.041 0.093 0.000 0.000 0.199 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

227 221 139 146 388 189 0 0 186 0

N.S.

1 0.97 0.61 0.64 1.71 0.83 0.00 0.00 0.82 0.00

time (sec)

N/A 1.194 0.181 0.203 0.037 0.108 0.000 0.000 0.192 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

166 161 150 202 423 185 0 0 187 0

N.S.

1 0.97 0.90 1.22 2.55 1.11 0.00 0.00 1.13 0.00

time (sec)

N/A 0.437 0.235 0.194 0.037 0.088 0.000 0.000 0.197 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

191 194 123 130 302 169 0 0 174 0

N.S.

1 1.02 0.64 0.68 1.58 0.88 0.00 0.00 0.91 0.00

time (sec)

N/A 0.908 0.116 0.141 0.036 0.100 0.000 0.000 0.180 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

239 362 305 245 0 0 0 0 161 0

N.S.

1 1.51 1.28 1.03 0.00 0.00 0.00 0.00 0.67 0.00

time (sec)

N/A 1.399 0.436 0.374 0.000 0.000 0.000 0.000 0.215 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

190 177 136 178 231 249 0 0 174 0

N.S.

1 0.93 0.72 0.94 1.22 1.31 0.00 0.00 0.92 0.00

time (sec)

N/A 0.714 0.244 0.167 0.112 0.137 0.000 0.000 0.196 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

267 370 303 258 0 0 0 0 179 0

N.S.

1 1.39 1.13 0.97 0.00 0.00 0.00 0.00 0.67 0.00

time (sec)

N/A 1.516 0.461 0.352 0.000 0.000 0.000 0.000 0.201 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

198 187 142 195 208 253 0 0 183 0

N.S.

1 0.94 0.72 0.98 1.05 1.28 0.00 0.00 0.92 0.00

time (sec)

N/A 0.815 0.251 0.164 0.119 0.120 0.000 0.000 0.201 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

158 187 227 232 0 0 0 0 74 0

N.S.

1 1.18 1.44 1.47 0.00 0.00 0.00 0.00 0.47 0.00

time (sec)

N/A 1.192 0.370 0.350 0.000 0.000 0.000 0.000 0.222 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

140 146 151 217 0 0 0 0 69 0

N.S.

1 1.04 1.08 1.55 0.00 0.00 0.00 0.00 0.49 0.00

time (sec)

N/A 1.158 0.193 0.294 0.000 0.000 0.000 0.000 0.206 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

102 102 155 181 0 0 0 0 64 0

N.S.

1 1.00 1.52 1.77 0.00 0.00 0.00 0.00 0.63 0.00

time (sec)

N/A 0.821 0.199 0.283 0.000 0.000 0.000 0.000 0.207 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 75 85 137 0 0 0 0 58 0

N.S.

1 1.01 1.15 1.85 0.00 0.00 0.00 0.00 0.78 0.00

time (sec)

N/A 0.475 0.064 0.207 0.000 0.000 0.000 0.000 0.202 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

59 58 64 180 0 0 0 0 54 0

N.S.

1 0.98 1.08 3.05 0.00 0.00 0.00 0.00 0.92 0.00

time (sec)

N/A 0.350 0.013 0.368 0.000 0.000 0.000 0.000 0.196 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

61 65 129 191 0 0 0 0 58 0

N.S.

1 1.07 2.11 3.13 0.00 0.00 0.00 0.00 0.95 0.00

time (sec)

N/A 0.450 0.259 0.269 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 C A A F F F F F F(-1)

verified

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

size

95 99 132 143 0 0 0 0 65 0

N.S.

1 1.04 1.39 1.51 0.00 0.00 0.00 0.00 0.68 0.00

time (sec)

N/A 0.568 0.193 0.351 0.000 0.000 0.000 0.000 0.221 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

118 117 212 243 0 0 0 0 87 0

N.S.

1 0.99 1.80 2.06 0.00 0.00 0.00 0.00 0.74 0.00

time (sec)

N/A 0.664 0.297 0.323 0.000 0.000 0.000 0.000 0.220 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

157 178 223 190 0 0 0 0 85 0

N.S.

1 1.13 1.42 1.21 0.00 0.00 0.00 0.00 0.54 0.00

time (sec)

N/A 0.913 0.224 0.388 0.000 0.000 0.000 0.000 0.221 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

177 198 244 254 0 0 0 0 167 0

N.S.

1 1.12 1.38 1.44 0.00 0.00 0.00 0.00 0.94 0.00

time (sec)

N/A 0.882 0.647 0.365 0.000 0.000 0.000 0.000 0.217 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

151 180 209 202 0 0 0 0 160 0

N.S.

1 1.19 1.38 1.34 0.00 0.00 0.00 0.00 1.06 0.00

time (sec)

N/A 1.003 0.465 0.267 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 C A A F F F F F F(-1)

verified

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

size

124 121 206 192 0 0 0 0 156 0

N.S.

1 0.98 1.66 1.55 0.00 0.00 0.00 0.00 1.26 0.00

time (sec)

N/A 0.961 0.596 0.279 0.000 0.000 0.000 0.000 0.214 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

61 61 53 64 134 65 0 0 89 0

N.S.

1 1.00 0.87 1.05 2.20 1.07 0.00 0.00 1.46 0.00

time (sec)

N/A 0.407 0.152 0.176 0.040 0.094 0.000 0.000 0.232 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

120 118 189 192 0 0 0 0 148 0

N.S.

1 0.98 1.58 1.60 0.00 0.00 0.00 0.00 1.23 0.00

time (sec)

N/A 0.885 0.813 0.217 0.000 0.000 0.000 0.000 0.212 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

116 121 244 254 0 0 0 0 164 0

N.S.

1 1.04 2.10 2.19 0.00 0.00 0.00 0.00 1.41 0.00

time (sec)

N/A 0.717 0.524 0.331 0.000 0.000 0.000 0.000 0.200 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

158 196 283 207 0 0 0 0 165 0

N.S.

1 1.24 1.79 1.31 0.00 0.00 0.00 0.00 1.04 0.00

time (sec)

N/A 0.871 0.499 0.376 0.000 0.000 0.000 0.000 0.207 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

143 207 289 280 0 0 0 0 195 0

N.S.

1 1.45 2.02 1.96 0.00 0.00 0.00 0.00 1.36 0.00

time (sec)

N/A 0.977 1.078 0.373 0.000 0.000 0.000 0.000 0.216 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

222 313 377 251 0 0 0 0 184 0

N.S.

1 1.41 1.70 1.13 0.00 0.00 0.00 0.00 0.83 0.00

time (sec)

N/A 1.289 1.180 0.465 0.000 0.000 0.000 0.000 0.225 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

188 249 287 256 0 0 0 0 273 0

N.S.

1 1.32 1.53 1.36 0.00 0.00 0.00 0.00 1.45 0.00

time (sec)

N/A 0.951 1.083 0.397 0.000 0.000 0.000 0.000 0.224 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

108 133 83 136 0 101 0 0 162 0

N.S.

1 1.23 0.77 1.26 0.00 0.94 0.00 0.00 1.50 0.00

time (sec)

N/A 0.438 0.230 0.193 0.000 0.105 0.000 0.000 0.217 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

186 180 287 256 0 0 0 0 271 0

N.S.

1 0.97 1.54 1.38 0.00 0.00 0.00 0.00 1.46 0.00

time (sec)

N/A 1.141 1.084 0.376 0.000 0.000 0.000 0.000 0.207 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

91 89 64 86 0 98 0 0 158 0

N.S.

1 0.98 0.70 0.95 0.00 1.08 0.00 0.00 1.74 0.00

time (sec)

N/A 0.436 0.210 0.183 0.000 0.113 0.000 0.000 0.204 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

180 174 316 256 0 0 0 0 262 0

N.S.

1 0.97 1.76 1.42 0.00 0.00 0.00 0.00 1.46 0.00

time (sec)

N/A 1.057 0.608 0.000 0.000 0.000 0.000 0.000 0.208 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

171 200 328 324 0 0 0 0 289 0

N.S.

1 1.17 1.92 1.89 0.00 0.00 0.00 0.00 1.69 0.00

time (sec)

N/A 0.976 0.878 0.407 0.000 0.000 0.000 0.000 0.216 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

218 270 362 269 0 0 0 0 285 0

N.S.

1 1.24 1.66 1.23 0.00 0.00 0.00 0.00 1.31 0.00

time (sec)

N/A 1.169 1.110 0.421 0.000 0.000 0.000 0.000 0.223 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

277 312 402 391 0 0 0 0 328 0

N.S.

1 1.13 1.45 1.41 0.00 0.00 0.00 0.00 1.18 0.00

time (sec)

N/A 1.409 1.010 0.499 0.000 0.000 0.000 0.000 0.216 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

284 406 471 314 0 0 0 0 304 0

N.S.

1 1.43 1.66 1.11 0.00 0.00 0.00 0.00 1.07 0.00

time (sec)

N/A 1.700 1.267 0.530 0.000 0.000 0.000 0.000 0.227 0.000

Problem 55

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

size

278 231 198 878 0 0 0 0 98 0

N.S.

1 0.83 0.71 3.16 0.00 0.00 0.00 0.00 0.35 0.00

time (sec)

N/A 1.913 0.886 0.398 0.000 0.000 0.000 0.000 0.233 0.000

Problem 56

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

201 176 151 367 0 0 0 0 77 0

N.S.

1 0.88 0.75 1.83 0.00 0.00 0.00 0.00 0.38 0.00

time (sec)

N/A 1.167 0.795 0.247 0.000 0.000 0.000 0.000 0.223 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

124 124 144 278 0 0 0 0 51 0

N.S.

1 1.00 1.16 2.24 0.00 0.00 0.00 0.00 0.41 0.00

time (sec)

N/A 0.438 0.393 0.000 0.000 0.000 0.000 0.000 0.221 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

118 118 137 286 0 0 0 0 54 0

N.S.

1 1.00 1.16 2.42 0.00 0.00 0.00 0.00 0.46 0.00

time (sec)

N/A 0.494 0.389 0.335 0.000 0.000 0.000 0.000 0.222 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

119 88 88 153 150 463 0 0 68 0

N.S.

1 0.74 0.74 1.29 1.26 3.89 0.00 0.00 0.57 0.00

time (sec)

N/A 0.334 0.089 0.354 0.118 0.141 0.000 0.000 0.215 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

199 134 128 1742 146 550 0 0 88 0

N.S.

1 0.67 0.64 8.75 0.73 2.76 0.00 0.00 0.44 0.00

time (sec)

N/A 0.411 0.148 0.389 0.116 0.161 0.000 0.000 0.229 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

279 178 146 2537 207 616 0 0 109 0

N.S.

1 0.64 0.52 9.09 0.74 2.21 0.00 0.00 0.39 0.00

time (sec)

N/A 0.478 0.166 0.421 0.126 0.134 0.000 0.000 0.236 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

272 175 169 197 205 203 0 0 109 0

N.S.

1 0.64 0.62 0.72 0.75 0.75 0.00 0.00 0.40 0.00

time (sec)

N/A 0.461 0.169 0.502 0.125 0.090 0.000 0.000 0.270 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

195 132 126 181 144 176 0 0 89 0

N.S.

1 0.68 0.65 0.93 0.74 0.90 0.00 0.00 0.46 0.00

time (sec)

N/A 0.402 0.117 0.612 0.124 0.094 0.000 0.000 0.235 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

118 87 98 155 81 142 0 0 66 0

N.S.

1 0.74 0.83 1.31 0.69 1.20 0.00 0.00 0.56 0.00

time (sec)

N/A 0.306 0.119 0.322 0.045 0.098 0.000 0.000 0.229 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 No Yes TBD TBD TBD TBD TBD TBD

size

213 150 233 394 0 0 0 0 53 0

N.S.

1 0.70 1.09 1.85 0.00 0.00 0.00 0.00 0.25 0.00

time (sec)

N/A 0.806 0.626 0.319 0.000 0.000 0.000 0.000 0.210 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 No Yes TBD TBD TBD TBD TBD TBD

size

235 165 307 436 0 0 0 0 66 0

N.S.

1 0.70 1.31 1.86 0.00 0.00 0.00 0.00 0.28 0.00

time (sec)

N/A 0.830 0.833 0.346 0.000 0.000 0.000 0.000 0.214 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 No Yes TBD TBD TBD TBD TBD TBD

size

315 215 290 541 0 0 0 0 85 0

N.S.

1 0.68 0.92 1.72 0.00 0.00 0.00 0.00 0.27 0.00

time (sec)

N/A 1.758 0.804 0.418 0.000 0.000 0.000 0.000 0.219 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

360 325 337 783 0 0 0 0 146 0

N.S.

1 0.90 0.94 2.18 0.00 0.00 0.00 0.00 0.41 0.00

time (sec)

N/A 2.221 3.521 0.352 0.000 0.000 0.000 0.000 0.276 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

281 270 270 883 0 0 0 0 126 0

N.S.

1 0.96 0.96 3.14 0.00 0.00 0.00 0.00 0.45 0.00

time (sec)

N/A 1.180 1.474 0.330 0.000 0.000 0.000 0.000 0.270 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

197 216 235 546 0 0 0 0 101 0

N.S.

1 1.10 1.19 2.77 0.00 0.00 0.00 0.00 0.51 0.00

time (sec)

N/A 0.648 0.831 0.000 0.000 0.000 0.000 0.000 0.236 0.000

Problem 71

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

size

197 209 223 244 0 0 0 0 102 0

N.S.

1 1.06 1.13 1.24 0.00 0.00 0.00 0.00 0.52 0.00

time (sec)

N/A 0.723 0.905 0.388 0.000 0.000 0.000 0.000 0.233 0.000

Problem 72

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

size

203 210 259 270 0 0 0 0 113 0

N.S.

1 1.03 1.28 1.33 0.00 0.00 0.00 0.00 0.56 0.00

time (sec)

N/A 0.818 0.799 0.395 0.000 0.000 0.000 0.000 0.238 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

166 98 94 2171 189 573 0 0 120 0

N.S.

1 0.59 0.57 13.08 1.14 3.45 0.00 0.00 0.72 0.00

time (sec)

N/A 0.354 0.064 0.446 0.129 0.141 0.000 0.000 0.268 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

247 143 136 3145 163 649 0 0 140 0

N.S.

1 0.58 0.55 12.73 0.66 2.63 0.00 0.00 0.57 0.00

time (sec)

N/A 0.421 0.162 0.477 0.129 0.146 0.000 0.000 0.259 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

328 191 154 4262 225 721 0 0 160 0

N.S.

1 0.58 0.47 12.99 0.69 2.20 0.00 0.00 0.49 0.00

time (sec)

N/A 0.796 0.208 0.540 0.131 0.148 0.000 0.000 0.284 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

409 231 170 5523 287 793 0 0 180 0

N.S.

1 0.56 0.42 13.50 0.70 1.94 0.00 0.00 0.44 0.00

time (sec)

N/A 1.194 0.269 0.620 0.149 0.177 0.000 0.000 0.291 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

399 229 209 257 285 275 0 0 177 0

N.S.

1 0.57 0.52 0.64 0.71 0.69 0.00 0.00 0.44 0.00

time (sec)

N/A 0.906 0.173 0.648 0.123 0.125 0.000 0.000 0.311 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

321 186 153 241 223 245 0 0 157 0

N.S.

1 0.58 0.48 0.75 0.69 0.76 0.00 0.00 0.49 0.00

time (sec)

N/A 0.522 0.201 0.502 0.131 0.113 0.000 0.000 0.281 0.000

Problem 79

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

243 143 135 225 161 215 0 0 137 0

N.S.

1 0.59 0.56 0.93 0.66 0.88 0.00 0.00 0.56 0.00

time (sec)

N/A 0.432 0.098 0.441 0.130 0.098 0.000 0.000 0.255 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

165 98 107 200 102 185 0 0 115 0

N.S.

1 0.59 0.65 1.21 0.62 1.12 0.00 0.00 0.70 0.00

time (sec)

N/A 0.323 0.177 0.494 0.048 0.106 0.000 0.000 0.238 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 No Yes TBD TBD TBD TBD TBD TBD

size

292 232 336 499 0 0 0 0 103 0

N.S.

1 0.79 1.15 1.71 0.00 0.00 0.00 0.00 0.35 0.00

time (sec)

N/A 1.157 0.912 0.490 0.000 0.000 0.000 0.000 0.253 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 No Yes TBD TBD TBD TBD TBD TBD

size

311 241 500 538 0 0 0 0 126 0

N.S.

1 0.77 1.61 1.73 0.00 0.00 0.00 0.00 0.41 0.00

time (sec)

N/A 1.202 1.310 0.356 0.000 0.000 0.000 0.000 0.224 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 No Yes TBD TBD TBD TBD TBD TBD

size

321 259 574 570 0 0 0 0 117 0

N.S.

1 0.81 1.79 1.78 0.00 0.00 0.00 0.00 0.36 0.00

time (sec)

N/A 1.224 1.044 0.424 0.000 0.000 0.000 0.000 0.239 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

454 431 500 1743 0 0 0 0 195 0

N.S.

1 0.95 1.10 3.84 0.00 0.00 0.00 0.00 0.43 0.00

time (sec)

N/A 2.306 5.474 0.443 0.000 0.000 0.000 0.000 0.305 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

371 376 415 1289 0 0 0 0 175 0

N.S.

1 1.01 1.12 3.47 0.00 0.00 0.00 0.00 0.47 0.00

time (sec)

N/A 2.090 3.551 0.371 0.000 0.000 0.000 0.000 0.282 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

278 306 347 885 0 0 0 0 150 0

N.S.

1 1.10 1.25 3.18 0.00 0.00 0.00 0.00 0.54 0.00

time (sec)

N/A 0.963 1.692 0.000 0.000 0.000 0.000 0.000 0.275 0.000

Problem 87

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

size

326 316 305 303 0 0 0 0 152 0

N.S.

1 0.97 0.94 0.93 0.00 0.00 0.00 0.00 0.47 0.00

time (sec)

N/A 1.071 1.472 0.428 0.000 0.000 0.000 0.000 0.266 0.000

Problem 88

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

size

293 312 319 340 0 0 0 0 162 0

N.S.

1 1.06 1.09 1.16 0.00 0.00 0.00 0.00 0.55 0.00

time (sec)

N/A 1.087 1.259 0.412 0.000 0.000 0.000 0.000 0.258 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

293 313 400 2429 0 0 0 0 165 0

N.S.

1 1.07 1.37 8.29 0.00 0.00 0.00 0.00 0.56 0.00

time (sec)

N/A 1.218 2.693 0.473 0.000 0.000 0.000 0.000 0.253 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

219 111 105 3775 224 704 0 0 171 0

N.S.

1 0.51 0.48 17.24 1.02 3.21 0.00 0.00 0.78 0.00

time (sec)

N/A 0.375 0.103 0.485 0.140 0.150 0.000 0.000 0.269 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

302 172 147 5007 187 796 0 0 191 0

N.S.

1 0.57 0.49 16.58 0.62 2.64 0.00 0.00 0.63 0.00

time (sec)

N/A 0.438 0.100 0.564 0.135 0.158 0.000 0.000 0.313 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

385 203 165 6382 251 880 0 0 212 0

N.S.

1 0.53 0.43 16.58 0.65 2.29 0.00 0.00 0.55 0.00

time (sec)

N/A 0.533 0.130 0.632 0.132 0.174 0.000 0.000 0.354 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

458 241 179 273 313 353 0 0 226 0

N.S.

1 0.53 0.39 0.60 0.68 0.77 0.00 0.00 0.49 0.00

time (sec)

N/A 0.843 0.161 0.500 0.130 0.096 0.000 0.000 0.373 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

378 198 163 257 249 317 0 0 206 0

N.S.

1 0.52 0.43 0.68 0.66 0.84 0.00 0.00 0.54 0.00

time (sec)

N/A 0.874 0.114 0.543 0.127 0.096 0.000 0.000 0.390 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

298 153 145 241 185 281 0 0 186 0

N.S.

1 0.51 0.49 0.81 0.62 0.94 0.00 0.00 0.62 0.00

time (sec)

N/A 0.708 0.087 0.467 0.117 0.092 0.000 0.000 0.338 0.000

Problem 96

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

218 108 117 216 118 241 0 0 163 0

N.S.

1 0.50 0.54 0.99 0.54 1.11 0.00 0.00 0.75 0.00

time (sec)

N/A 0.542 0.194 0.538 0.040 0.096 0.000 0.000 0.306 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 No Yes TBD TBD TBD TBD TBD TBD

size

379 326 471 620 0 0 0 0 152 0

N.S.

1 0.86 1.24 1.64 0.00 0.00 0.00 0.00 0.40 0.00

time (sec)

N/A 1.624 2.597 0.454 0.000 0.000 0.000 0.000 0.264 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 No Yes TBD TBD TBD TBD TBD TBD

size

404 335 596 390 0 0 0 0 176 0

N.S.

1 0.83 1.48 0.97 0.00 0.00 0.00 0.00 0.44 0.00

time (sec)

N/A 1.629 3.069 0.460 0.000 0.000 0.000 0.000 0.268 0.000

Problem 99

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

size

407 343 660 691 0 0 0 0 178 0

N.S.

1 0.84 1.62 1.70 0.00 0.00 0.00 0.00 0.44 0.00

time (sec)

N/A 1.684 1.277 0.418 0.000 0.000 0.000 0.000 0.257 0.000

Problem 100

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

221 220 171 568 0 0 0 0 82 0

N.S.

1 1.00 0.77 2.57 0.00 0.00 0.00 0.00 0.37 0.00

time (sec)

N/A 0.678 0.861 0.341 0.000 0.000 0.000 0.000 0.218 0.000

[next] [front] [up]