[next] [prev] [prev-tail] [tail] [up]

Integrals 101 to 200

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 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 89 125 297 0 497 0 0 38 0

N.S.

1 1.05 1.47 3.49 0.00 5.85 0.00 0.00 0.45 0.00

time (sec)

N/A 0.279 0.123 5.857 0.000 0.228 0.000 0.000 0.173 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

39 39 87 138 992 408 0 0 30 0

N.S.

1 1.00 2.23 3.54 25.44 10.46 0.00 0.00 0.77 0.00

time (sec)

N/A 0.192 0.050 3.317 0.252 0.211 0.000 0.000 0.167 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 33 55 48 33 47 0 0 38 74

N.S.

1 1.00 1.67 1.45 1.00 1.42 0.00 0.00 1.15 2.24

time (sec)

N/A 0.240 0.078 2.289 0.040 0.089 0.000 0.000 0.177 12.811

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

78 76 74 77 96 96 0 0 38 123

N.S.

1 0.97 0.95 0.99 1.23 1.23 0.00 0.00 0.49 1.58

time (sec)

N/A 0.273 0.143 4.346 0.034 0.133 0.000 0.000 0.174 18.136

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

132 137 100 120 191 171 0 0 38 723

N.S.

1 1.04 0.76 0.91 1.45 1.30 0.00 0.00 0.29 5.48

time (sec)

N/A 0.325 0.248 6.227 0.037 0.393 0.000 0.000 0.163 24.053

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

159 160 130 163 250 136 0 0 54 0

N.S.

1 1.01 0.82 1.03 1.57 0.86 0.00 0.00 0.34 0.00

time (sec)

N/A 0.346 6.209 401.533 0.037 0.159 0.000 0.000 0.177 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

108 106 93 113 141 98 0 117 54 0

N.S.

1 0.98 0.86 1.05 1.31 0.91 0.00 1.08 0.50 0.00

time (sec)

N/A 0.293 2.480 1.727 0.038 0.123 0.000 0.469 0.163 0.000

Problem 108

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

62 60 64 59 57 67 0 48 52 155

N.S.

1 0.97 1.03 0.95 0.92 1.08 0.00 0.77 0.84 2.50

time (sec)

N/A 0.241 0.918 0.233 0.035 0.101 0.000 0.249 0.169 18.705

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

80 78 113 907 0 353 0 503 52 0

N.S.

1 0.98 1.41 11.34 0.00 4.41 0.00 6.29 0.65 0.00

time (sec)

N/A 0.277 0.569 1.395 0.000 0.158 0.000 0.644 0.174 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

126 134 97 1190 0 556 0 903 54 0

N.S.

1 1.06 0.77 9.44 0.00 4.41 0.00 7.17 0.43 0.00

time (sec)

N/A 0.333 0.263 1.510 0.000 0.215 0.000 0.882 0.174 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

177 200 100 1986 0 882 0 1612 54 0

N.S.

1 1.13 0.56 11.22 0.00 4.98 0.00 9.11 0.31 0.00

time (sec)

N/A 0.393 0.355 1.499 0.000 0.264 0.000 1.384 0.164 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

242 268 256 0 0 813 0 0 54 0

N.S.

1 1.11 1.06 0.00 0.00 3.36 0.00 0.00 0.22 0.00

time (sec)

N/A 0.500 6.030 180.000 0.000 5.236 0.000 0.000 0.177 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

175 194 229 682 0 703 0 0 54 0

N.S.

1 1.11 1.31 3.90 0.00 4.02 0.00 0.00 0.31 0.00

time (sec)

N/A 0.376 2.488 10.296 0.000 1.568 0.000 0.000 0.170 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

121 125 190 479 0 607 0 0 54 0

N.S.

1 1.03 1.57 3.96 0.00 5.02 0.00 0.00 0.45 0.00

time (sec)

N/A 0.315 0.776 6.737 0.000 0.490 0.000 0.000 0.167 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 75 168 465 2055 601 0 0 46 0

N.S.

1 0.97 2.18 6.04 26.69 7.81 0.00 0.00 0.60 0.00

time (sec)

N/A 0.224 1.001 4.322 0.371 0.262 0.000 0.000 0.158 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

68 66 76 84 64 102 0 0 54 2151

N.S.

1 0.97 1.12 1.24 0.94 1.50 0.00 0.00 0.79 31.63

time (sec)

N/A 0.263 1.203 4.565 0.034 0.166 0.000 0.000 0.166 20.267

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

115 117 102 139 156 189 0 0 54 124682

N.S.

1 1.02 0.89 1.21 1.36 1.64 0.00 0.00 0.47 1084.19

time (sec)

N/A 0.304 0.491 5.017 0.036 0.515 0.000 0.000 0.174 32.873

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

167 176 126 203 282 314 0 0 54 0

N.S.

1 1.05 0.75 1.22 1.69 1.88 0.00 0.00 0.32 0.00

time (sec)

N/A 0.348 0.709 9.132 0.040 2.014 0.000 0.000 0.166 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

204 195 182 203 334 189 0 1638 70 0

N.S.

1 0.96 0.89 1.00 1.64 0.93 0.00 8.03 0.34 0.00

time (sec)

N/A 0.358 3.063 1.578 0.037 0.295 0.000 1.619 0.172 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

150 138 129 143 195 138 0 154 70 0

N.S.

1 0.92 0.86 0.95 1.30 0.92 0.00 1.03 0.47 0.00

time (sec)

N/A 0.310 2.179 105.738 0.035 0.203 0.000 0.718 0.169 0.000

Problem 121

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

97 97 88 90 86 101 0 70 68 26927

N.S.

1 1.00 0.91 0.93 0.89 1.04 0.00 0.72 0.70 277.60

time (sec)

N/A 0.245 0.862 0.227 0.033 0.145 0.000 0.320 0.164 25.015

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

127 134 108 1320 0 601 0 1097 68 0

N.S.

1 1.06 0.85 10.39 0.00 4.73 0.00 8.64 0.54 0.00

time (sec)

N/A 0.319 3.774 222.005 0.000 0.209 0.000 0.977 0.168 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

171 186 151 2074 0 950 0 1980 70 0

N.S.

1 1.09 0.88 12.13 0.00 5.56 0.00 11.58 0.41 0.00

time (sec)

N/A 0.383 1.025 202.141 0.000 0.289 0.000 1.440 0.166 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

234 263 129 3313 0 1316 0 3221 70 0

N.S.

1 1.12 0.55 14.16 0.00 5.62 0.00 13.76 0.30 0.00

time (sec)

N/A 0.477 1.308 193.193 0.000 0.387 0.000 2.069 0.171 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

288 315 1705 1127 0 1003 0 0 70 0

N.S.

1 1.09 5.92 3.91 0.00 3.48 0.00 0.00 0.24 0.00

time (sec)

N/A 0.568 15.663 23.701 0.000 21.843 0.000 0.000 0.175 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

227 246 1315 894 0 873 0 0 70 0

N.S.

1 1.08 5.79 3.94 0.00 3.85 0.00 0.00 0.31 0.00

time (sec)

N/A 0.459 11.395 11.608 0.000 6.752 0.000 0.000 0.165 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

167 177 983 888 0 879 0 0 70 0

N.S.

1 1.06 5.89 5.32 0.00 5.26 0.00 0.00 0.42 0.00

time (sec)

N/A 0.378 8.390 7.733 0.000 1.800 0.000 0.000 0.170 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

125 135 1927 861 0 881 0 0 62 0

N.S.

1 1.08 15.42 6.89 0.00 7.05 0.00 0.00 0.50 0.00

time (sec)

N/A 0.281 14.708 6.835 0.000 0.557 0.000 0.000 0.165 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

106 108 108 131 94 192 0 0 70 336

N.S.

1 1.02 1.02 1.24 0.89 1.81 0.00 0.00 0.66 3.17

time (sec)

N/A 0.273 1.554 8.292 0.035 0.533 0.000 0.000 0.168 23.915

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

160 154 138 207 216 320 0 0 70 0

N.S.

1 0.96 0.86 1.29 1.35 2.00 0.00 0.00 0.44 0.00

time (sec)

N/A 0.325 4.268 11.165 0.037 2.066 0.000 0.000 0.164 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

215 211 173 291 373 460 0 0 70 0

N.S.

1 0.98 0.80 1.35 1.73 2.14 0.00 0.00 0.33 0.00

time (sec)

N/A 0.372 4.783 9.226 0.039 8.382 0.000 0.000 0.164 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

123 0 286 0 0 0 0 0 29 0

N.S.

1 0.00 2.33 0.00 0.00 0.00 0.00 0.00 0.24 0.00

time (sec)

N/A 0.000 3.931 0.000 0.000 0.000 0.000 0.000 0.186 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

178 180 253 0 0 0 0 0 25 0

N.S.

1 1.01 1.42 0.00 0.00 0.00 0.00 0.00 0.14 0.00

time (sec)

N/A 0.353 3.355 0.000 0.000 0.000 0.000 0.000 0.173 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

118 115 178 0 0 0 0 0 25 0

N.S.

1 0.97 1.51 0.00 0.00 0.00 0.00 0.00 0.21 0.00

time (sec)

N/A 0.279 1.839 0.000 0.000 0.000 0.000 0.000 0.168 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

69 68 68 0 0 0 0 0 23 79

N.S.

1 0.99 0.99 0.00 0.00 0.00 0.00 0.00 0.33 1.14

time (sec)

N/A 0.234 0.671 0.000 0.000 0.000 0.000 0.000 0.169 14.836

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

78 77 1532 0 0 0 0 0 23 0

N.S.

1 0.99 19.64 0.00 0.00 0.00 0.00 0.00 0.29 0.00

time (sec)

N/A 0.256 15.450 0.000 0.000 0.000 0.000 0.000 0.169 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

82 81 266 0 0 0 0 0 25 0

N.S.

1 0.99 3.24 0.00 0.00 0.00 0.00 0.00 0.30 0.00

time (sec)

N/A 0.271 3.172 0.000 0.000 0.000 0.000 0.000 0.172 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

90 88 5878 0 0 0 0 0 25 0

N.S.

1 0.98 65.31 0.00 0.00 0.00 0.00 0.00 0.28 0.00

time (sec)

N/A 0.282 25.607 0.000 0.000 0.000 0.000 0.000 0.171 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

90 88 3781 0 0 0 0 0 25 0

N.S.

1 0.98 42.01 0.00 0.00 0.00 0.00 0.00 0.28 0.00

time (sec)

N/A 0.279 19.788 0.000 0.000 0.000 0.000 0.000 0.172 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 83 2137 0 0 0 0 0 16 0

N.S.

1 0.98 25.14 0.00 0.00 0.00 0.00 0.00 0.19 0.00

time (sec)

N/A 0.253 14.229 0.000 0.000 0.000 0.000 0.000 0.180 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

75 73 72 0 0 0 0 0 25 0

N.S.

1 0.97 0.96 0.00 0.00 0.00 0.00 0.00 0.33 0.00

time (sec)

N/A 0.269 0.897 0.000 0.000 0.000 0.000 0.000 0.177 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

130 126 132 0 0 0 0 0 25 0

N.S.

1 0.97 1.02 0.00 0.00 0.00 0.00 0.00 0.19 0.00

time (sec)

N/A 0.301 1.580 0.000 0.000 0.000 0.000 0.000 0.171 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

194 197 149 0 0 0 0 0 25 0

N.S.

1 1.02 0.77 0.00 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 0.366 1.279 0.000 0.000 0.000 0.000 0.000 0.174 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 62 72 97 129 82 0 66 151 61

N.S.

1 0.84 0.97 1.31 1.74 1.11 0.00 0.89 2.04 0.82

time (sec)

N/A 0.440 0.031 2.790 0.032 0.087 0.000 0.137 0.166 14.924

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

56 49 58 75 81 69 0 53 113 49

N.S.

1 0.88 1.04 1.34 1.45 1.23 0.00 0.95 2.02 0.88

time (sec)

N/A 0.362 0.027 2.047 0.033 0.075 0.000 0.125 0.169 15.309

Problem 146

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

38 32 42 47 45 56 0 39 75 33

N.S.

1 0.84 1.11 1.24 1.18 1.47 0.00 1.03 1.97 0.87

time (sec)

N/A 0.291 0.018 1.451 0.033 0.082 0.000 0.123 0.164 14.902

Problem 147

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

16 16 26 17 16 32 0 16 31 16

N.S.

1 1.00 1.62 1.06 1.00 2.00 0.00 1.00 1.94 1.00

time (sec)

N/A 0.152 0.007 0.769 0.037 0.076 0.000 0.106 0.165 15.144

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 20 31 24 26 31 0 45 31 19

N.S.

1 1.05 1.63 1.26 1.37 1.63 0.00 2.37 1.63 1.00

time (sec)

N/A 0.235 0.024 0.337 0.105 0.072 0.000 0.115 0.163 15.384

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 31 36 34 40 75 0 80 53 31

N.S.

1 0.84 0.97 0.92 1.08 2.03 0.00 2.16 1.43 0.84

time (sec)

N/A 0.297 0.023 0.378 0.105 0.078 0.000 0.126 0.169 15.308

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

55 50 36 44 50 109 0 111 69 41

N.S.

1 0.91 0.65 0.80 0.91 1.98 0.00 2.02 1.25 0.75

time (sec)

N/A 0.363 0.040 0.415 0.112 0.078 0.000 0.133 0.173 15.589

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

73 61 36 54 60 147 0 139 85 51

N.S.

1 0.84 0.49 0.74 0.82 2.01 0.00 1.90 1.16 0.70

time (sec)

N/A 0.432 0.016 0.490 0.108 0.083 0.000 0.148 0.165 15.762

Problem 152

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

98 94 137 108 126 114 0 121 436 102

N.S.

1 0.96 1.40 1.10 1.29 1.16 0.00 1.23 4.45 1.04

time (sec)

N/A 0.451 0.024 1.777 0.028 0.085 0.000 0.140 0.171 15.882

Problem 153

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

70 68 93 85 97 95 0 98 312 78

N.S.

1 0.97 1.33 1.21 1.39 1.36 0.00 1.40 4.46 1.11

time (sec)

N/A 0.355 0.017 1.482 0.031 0.081 0.000 0.132 0.166 0.154

Problem 154

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

40 40 48 55 58 72 0 60 177 41

N.S.

1 1.00 1.20 1.38 1.45 1.80 0.00 1.50 4.42 1.02

time (sec)

N/A 0.255 0.014 0.816 0.032 0.079 0.000 0.121 0.167 15.526

Problem 155

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

24 24 35 30 38 40 0 40 42 22

N.S.

1 1.00 1.46 1.25 1.58 1.67 0.00 1.67 1.75 0.92

time (sec)

N/A 0.247 0.032 0.302 0.024 0.083 0.000 0.116 0.159 15.297

Problem 156

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

30 30 50 31 27 28 0 34 29 28

N.S.

1 1.00 1.67 1.03 0.90 0.93 0.00 1.13 0.97 0.93

time (sec)

N/A 0.276 0.036 0.911 0.027 0.073 0.000 0.117 0.166 0.049

Problem 157

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

50 47 71 49 43 45 0 57 51 43

N.S.

1 0.94 1.42 0.98 0.86 0.90 0.00 1.14 1.02 0.86

time (sec)

N/A 0.304 0.019 1.652 0.026 0.081 0.000 0.126 0.166 15.431

Problem 158

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

87 70 81 78 60 74 0 79 124 56

N.S.

1 0.80 0.93 0.90 0.69 0.85 0.00 0.91 1.43 0.64

time (sec)

N/A 0.305 0.230 1.630 0.026 0.073 0.000 0.131 0.166 15.694

Problem 159

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

65 58 61 58 43 56 0 57 92 42

N.S.

1 0.89 0.94 0.89 0.66 0.86 0.00 0.88 1.42 0.65

time (sec)

N/A 0.306 0.158 1.515 0.027 0.070 0.000 0.126 0.170 15.739

Problem 160

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

43 43 36 35 34 37 0 34 60 28

N.S.

1 1.00 0.84 0.81 0.79 0.86 0.00 0.79 1.40 0.65

time (sec)

N/A 0.280 0.070 1.382 0.025 0.068 0.000 0.126 0.164 15.800

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 15 15 16 15 31 0 15 31 17

N.S.

1 1.00 1.00 1.07 1.00 2.07 0.00 1.00 2.07 1.13

time (sec)

N/A 0.153 0.001 0.774 0.030 0.075 0.000 0.112 0.165 15.961

Problem 162

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 33 24 37 28 51 37 29 25

N.S.

1 1.00 1.06 0.77 1.19 0.90 1.65 1.19 0.94 0.81

time (sec)

N/A 0.210 0.057 0.326 0.107 0.074 2.410 0.116 0.165 16.417

Problem 163

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

61 59 45 44 73 49 0 73 63 67

N.S.

1 0.97 0.74 0.72 1.20 0.80 0.00 1.20 1.03 1.10

time (sec)

N/A 0.275 0.118 0.942 0.109 0.081 0.000 0.140 0.162 15.973

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

89 85 68 61 103 68 0 96 97 91

N.S.

1 0.96 0.76 0.69 1.16 0.76 0.00 1.08 1.09 1.02

time (sec)

N/A 0.346 0.132 1.720 0.106 0.078 0.000 0.141 0.161 16.777

Problem 165

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

153 165 258 180 200 168 0 221 886 170

N.S.

1 1.08 1.69 1.18 1.31 1.10 0.00 1.44 5.79 1.11

time (sec)

N/A 0.317 0.043 2.608 0.038 0.092 0.000 0.168 0.166 15.903

Problem 166

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

117 136 187 147 166 143 0 183 690 134

N.S.

1 1.16 1.60 1.26 1.42 1.22 0.00 1.56 5.90 1.15

time (sec)

N/A 0.321 0.028 2.280 0.035 0.087 0.000 0.165 0.161 16.021

Problem 167

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

81 105 109 107 119 116 0 120 470 86

N.S.

1 1.30 1.35 1.32 1.47 1.43 0.00 1.48 5.80 1.06

time (sec)

N/A 0.271 0.025 1.513 0.031 0.093 0.000 0.142 0.163 16.095

Problem 168

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

56 59 80 69 87 94 0 79 215 55

N.S.

1 1.05 1.43 1.23 1.55 1.68 0.00 1.41 3.84 0.98

time (sec)

N/A 0.266 0.045 0.981 0.031 0.087 0.000 0.136 0.152 0.112

Problem 169

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

49 44 72 55 63 66 0 70 74 48

N.S.

1 0.90 1.47 1.12 1.29 1.35 0.00 1.43 1.51 0.98

time (sec)

N/A 0.256 0.043 1.013 0.032 0.087 0.000 0.137 0.153 14.881

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

53 48 106 67 55 59 0 76 64 44

N.S.

1 0.91 2.00 1.26 1.04 1.11 0.00 1.43 1.21 0.83

time (sec)

N/A 0.272 0.040 1.724 0.026 0.084 0.000 0.133 0.154 14.986

Problem 171

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

106 95 96 134 103 120 0 152 228 94

N.S.

1 0.90 0.91 1.26 0.97 1.13 0.00 1.43 2.15 0.89

time (sec)

N/A 0.307 0.337 2.407 0.031 0.077 0.000 0.148 0.157 15.127

Problem 172

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

80 72 75 104 81 94 0 114 180 70

N.S.

1 0.90 0.94 1.30 1.01 1.18 0.00 1.42 2.25 0.88

time (sec)

N/A 0.281 0.306 2.215 0.026 0.082 0.000 0.159 0.154 14.995

Problem 173

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

53 48 48 71 71 69 0 76 132 44

N.S.

1 0.91 0.91 1.34 1.34 1.30 0.00 1.43 2.49 0.83

time (sec)

N/A 0.263 0.221 2.065 0.027 0.074 0.000 0.135 0.159 15.493

Problem 174

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

40 44 41 46 44 58 0 49 106 42

N.S.

1 1.10 1.02 1.15 1.10 1.45 0.00 1.22 2.65 1.05

time (sec)

N/A 0.225 0.084 1.393 0.040 0.079 0.000 0.130 0.154 15.401

Problem 175

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

47 57 52 41 53 56 0 53 94 66

N.S.

1 1.21 1.11 0.87 1.13 1.19 0.00 1.13 2.00 1.40

time (sec)

N/A 0.274 0.163 0.980 0.107 0.079 0.000 0.180 0.151 16.058

Problem 176

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

72 100 58 54 87 62 0 87 78 76

N.S.

1 1.39 0.81 0.75 1.21 0.86 0.00 1.21 1.08 1.06

time (sec)

N/A 0.286 0.208 0.950 0.109 0.076 0.000 0.140 0.154 15.834

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

108 129 99 82 135 89 0 150 132 123

N.S.

1 1.19 0.92 0.76 1.25 0.82 0.00 1.39 1.22 1.14

time (sec)

N/A 0.315 0.265 1.730 0.109 0.080 0.000 0.178 0.158 16.582

Problem 178

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

73 74 70 84 83 90 0 91 208 73

N.S.

1 1.01 0.96 1.15 1.14 1.23 0.00 1.25 2.85 1.00

time (sec)

N/A 0.248 0.947 2.154 0.027 0.079 0.000 0.162 0.159 16.769

Problem 179

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

111 109 106 130 134 130 0 148 342 119

N.S.

1 0.98 0.95 1.17 1.21 1.17 0.00 1.33 3.08 1.07

time (sec)

N/A 0.281 3.636 2.381 0.036 0.088 0.000 0.144 0.157 15.460

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

86 95 1195 106 124 272 0 113 493 591

N.S.

1 1.10 13.90 1.23 1.44 3.16 0.00 1.31 5.73 6.87

time (sec)

N/A 0.300 4.687 0.718 0.104 0.106 0.000 0.137 0.183 0.589

Problem 181

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

55 53 49 63 83 157 0 74 159 456

N.S.

1 0.96 0.89 1.15 1.51 2.85 0.00 1.35 2.89 8.29

time (sec)

N/A 0.252 0.077 0.444 0.104 0.108 0.000 0.142 0.169 15.530

Problem 182

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

36 36 36 28 50 117 0 38 92 28

N.S.

1 1.00 1.00 0.78 1.39 3.25 0.00 1.06 2.56 0.78

time (sec)

N/A 0.220 0.054 0.347 0.109 0.104 0.000 0.123 0.158 0.119

Problem 183

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

52 50 52 45 67 164 0 53 122 44

N.S.

1 0.96 1.00 0.87 1.29 3.15 0.00 1.02 2.35 0.85

time (sec)

N/A 0.242 0.082 0.575 0.108 0.094 0.000 0.143 0.162 16.266

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

76 71 105 70 88 230 0 85 156 72

N.S.

1 0.93 1.38 0.92 1.16 3.03 0.00 1.12 2.05 0.95

time (sec)

N/A 0.280 0.237 0.923 0.112 0.094 0.000 0.129 0.172 16.323

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

108 100 136 110 117 305 0 129 199 111

N.S.

1 0.93 1.26 1.02 1.08 2.82 0.00 1.19 1.84 1.03

time (sec)

N/A 0.307 0.567 1.668 0.106 0.103 0.000 0.150 0.188 0.152

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 72 224 70 65 354 0 96 290 72

N.S.

1 0.94 2.91 0.91 0.84 4.60 0.00 1.25 3.77 0.94

time (sec)

N/A 0.282 2.979 0.810 0.109 0.104 0.000 0.139 0.192 17.174

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

52 50 192 45 45 286 0 66 118 44

N.S.

1 0.96 3.69 0.87 0.87 5.50 0.00 1.27 2.27 0.85

time (sec)

N/A 0.245 1.612 0.544 0.113 0.095 0.000 0.165 0.165 17.477

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

36 36 36 28 27 209 0 48 67 31

N.S.

1 1.00 1.00 0.78 0.75 5.81 0.00 1.33 1.86 0.86

time (sec)

N/A 0.232 0.034 0.339 0.110 0.098 0.000 0.149 0.159 18.215

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

45 45 182 46 44 231 0 65 85 460

N.S.

1 1.00 4.04 1.02 0.98 5.13 0.00 1.44 1.89 10.22

time (sec)

N/A 0.260 0.281 0.310 0.119 0.105 0.000 0.130 0.157 16.505

Problem 190

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

75 91 67 76 72 272 0 94 146 373

N.S.

1 1.21 0.89 1.01 0.96 3.63 0.00 1.25 1.95 4.97

time (sec)

N/A 0.281 0.384 0.703 0.116 0.107 0.000 0.137 0.172 17.429

Problem 191

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

117 141 95 116 126 343 0 141 231 1114

N.S.

1 1.21 0.81 0.99 1.08 2.93 0.00 1.21 1.97 9.52

time (sec)

N/A 0.340 0.465 1.220 0.107 0.120 0.000 0.140 0.185 16.447

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

163 197 133 165 189 424 0 216 332 1979

N.S.

1 1.21 0.82 1.01 1.16 2.60 0.00 1.33 2.04 12.14

time (sec)

N/A 0.409 0.893 2.262 0.113 0.124 0.000 0.163 0.203 17.643

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

102 112 980 110 146 392 0 126 879 2039

N.S.

1 1.10 9.61 1.08 1.43 3.84 0.00 1.24 8.62 19.99

time (sec)

N/A 0.298 3.242 0.883 0.105 0.131 0.000 0.154 0.202 16.888

Problem 194

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

74 72 71 68 98 262 0 76 371 62

N.S.

1 0.97 0.96 0.92 1.32 3.54 0.00 1.03 5.01 0.84

time (sec)

N/A 0.252 0.272 0.548 0.112 0.095 0.000 0.145 0.173 0.144

Problem 195

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

83 81 82 80 111 301 0 91 583 71

N.S.

1 0.98 0.99 0.96 1.34 3.63 0.00 1.10 7.02 0.86

time (sec)

N/A 0.248 0.258 0.552 0.111 0.099 0.000 0.144 0.174 15.674

Problem 196

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

101 96 89 92 133 391 0 113 665 94

N.S.

1 0.95 0.88 0.91 1.32 3.87 0.00 1.12 6.58 0.93

time (sec)

N/A 0.312 0.402 1.081 0.106 0.113 0.000 0.136 0.179 0.192

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

126 118 139 120 154 490 0 146 746 124

N.S.

1 0.94 1.10 0.95 1.22 3.89 0.00 1.16 5.92 0.98

time (sec)

N/A 0.335 0.817 2.259 0.106 0.128 0.000 0.159 0.215 15.789

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

157 146 171 158 183 583 0 188 805 173

N.S.

1 0.93 1.09 1.01 1.17 3.71 0.00 1.20 5.13 1.10

time (sec)

N/A 0.359 1.609 3.438 0.110 0.131 0.000 0.148 0.267 0.193

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

100 95 248 89 110 516 0 120 622 113

N.S.

1 0.95 2.48 0.89 1.10 5.16 0.00 1.20 6.22 1.13

time (sec)

N/A 0.308 3.018 0.964 0.110 0.117 0.000 0.142 0.214 15.687

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

82 80 84 76 88 406 0 89 483 70

N.S.

1 0.98 1.02 0.93 1.07 4.95 0.00 1.09 5.89 0.85

time (sec)

N/A 0.262 0.204 0.593 0.114 0.107 0.000 0.141 0.173 15.614

[next] [prev] [prev-tail] [front] [up]