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

verified

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

size

73 79 55 0 0 124 0 0 26 0

N.S.

1 1.08 0.75 0.00 0.00 1.70 0.00 0.00 0.36 0.00

time (sec)

N/A 0.419 0.011 0.000 0.000 0.105 0.000 0.000 200.025 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

110 111 70 0 0 145 0 0 26 0

N.S.

1 1.01 0.64 0.00 0.00 1.32 0.00 0.00 0.24 0.00

time (sec)

N/A 0.431 0.017 0.000 0.000 0.084 0.000 0.000 200.024 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

139 143 78 0 0 153 0 0 26 0

N.S.

1 1.03 0.56 0.00 0.00 1.10 0.00 0.00 0.19 0.00

time (sec)

N/A 0.501 0.017 0.000 0.000 0.086 0.000 0.000 200.027 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

168 173 86 0 0 161 0 0 26 0

N.S.

1 1.03 0.51 0.00 0.00 0.96 0.00 0.00 0.15 0.00

time (sec)

N/A 0.558 0.023 0.000 0.000 0.082 0.000 0.000 200.025 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

278 314 79 0 0 302 0 0 82 0

N.S.

1 1.13 0.28 0.00 0.00 1.09 0.00 0.00 0.29 0.00

time (sec)

N/A 0.903 0.032 0.000 0.000 0.160 0.000 0.000 0.301 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

246 297 70 0 0 294 0 0 82 0

N.S.

1 1.21 0.28 0.00 0.00 1.20 0.00 0.00 0.33 0.00

time (sec)

N/A 0.860 0.031 0.000 0.000 0.089 0.000 0.000 0.291 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

220 266 64 0 0 286 0 0 243 0

N.S.

1 1.21 0.29 0.00 0.00 1.30 0.00 0.00 1.10 0.00

time (sec)

N/A 0.775 0.019 0.000 0.000 0.086 0.000 0.000 0.266 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

186 232 33 0 0 275 0 0 22 0

N.S.

1 1.25 0.18 0.00 0.00 1.48 0.00 0.00 0.12 0.00

time (sec)

N/A 0.687 0.017 0.000 0.000 0.101 0.000 0.000 200.023 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

195 253 90 0 0 364 0 0 26 0

N.S.

1 1.30 0.46 0.00 0.00 1.87 0.00 0.00 0.13 0.00

time (sec)

N/A 0.821 0.060 0.000 0.000 0.090 0.000 0.000 200.031 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

95 105 55 0 0 170 0 0 26 0

N.S.

1 1.11 0.58 0.00 0.00 1.79 0.00 0.00 0.27 0.00

time (sec)

N/A 0.426 0.012 0.000 0.000 0.094 0.000 0.000 200.024 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

136 137 70 0 0 192 0 0 26 0

N.S.

1 1.01 0.51 0.00 0.00 1.41 0.00 0.00 0.19 0.00

time (sec)

N/A 0.439 0.017 0.000 0.000 0.101 0.000 0.000 200.030 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

165 169 78 0 0 200 0 0 26 0

N.S.

1 1.02 0.47 0.00 0.00 1.21 0.00 0.00 0.16 0.00

time (sec)

N/A 0.563 0.015 0.000 0.000 0.090 0.000 0.000 200.023 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

194 201 86 0 0 208 0 0 26 0

N.S.

1 1.04 0.44 0.00 0.00 1.07 0.00 0.00 0.13 0.00

time (sec)

N/A 0.609 0.021 0.000 0.000 0.107 0.000 0.000 200.021 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

245 244 59 0 0 208 0 0 20 0

N.S.

1 1.00 0.24 0.00 0.00 0.85 0.00 0.00 0.08 0.00

time (sec)

N/A 0.745 0.028 0.000 0.000 0.079 0.000 0.000 0.212 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

224 218 49 0 0 203 0 0 18 0

N.S.

1 0.97 0.22 0.00 0.00 0.91 0.00 0.00 0.08 0.00

time (sec)

N/A 0.657 0.013 0.000 0.000 0.084 0.000 0.000 0.197 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

202 193 39 0 0 197 0 0 17 0

N.S.

1 0.96 0.19 0.00 0.00 0.98 0.00 0.00 0.08 0.00

time (sec)

N/A 0.642 0.047 0.000 0.000 0.092 0.000 0.000 0.168 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

346 361 74 0 0 369 0 0 20 0

N.S.

1 1.04 0.21 0.00 0.00 1.07 0.00 0.00 0.06 0.00

time (sec)

N/A 0.869 0.023 0.000 0.000 0.077 0.000 0.000 0.215 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

194 208 50 0 0 234 0 0 20 0

N.S.

1 1.07 0.26 0.00 0.00 1.21 0.00 0.00 0.10 0.00

time (sec)

N/A 0.571 0.008 0.000 0.000 0.096 0.000 0.000 0.322 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

224 236 60 0 0 253 0 0 20 0

N.S.

1 1.05 0.27 0.00 0.00 1.13 0.00 0.00 0.09 0.00

time (sec)

N/A 0.594 0.013 0.000 0.000 0.088 0.000 0.000 0.339 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

133 141 59 0 0 159 0 0 20 0

N.S.

1 1.06 0.44 0.00 0.00 1.20 0.00 0.00 0.15 0.00

time (sec)

N/A 0.465 0.027 0.000 0.000 0.094 0.000 0.000 0.164 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

112 117 46 0 0 154 0 0 18 0

N.S.

1 1.04 0.41 0.00 0.00 1.38 0.00 0.00 0.16 0.00

time (sec)

N/A 0.375 0.012 0.000 0.000 0.091 0.000 0.000 0.149 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

84 92 87 0 0 146 0 0 17 0

N.S.

1 1.10 1.04 0.00 0.00 1.74 0.00 0.00 0.20 0.00

time (sec)

N/A 0.343 0.148 0.000 0.000 0.090 0.000 0.000 0.157 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

135 135 74 0 0 158 0 0 20 0

N.S.

1 1.00 0.55 0.00 0.00 1.17 0.00 0.00 0.15 0.00

time (sec)

N/A 0.401 0.022 0.000 0.000 0.113 0.000 0.000 0.150 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 93 45 0 0 152 0 0 20 0

N.S.

1 1.09 0.53 0.00 0.00 1.79 0.00 0.00 0.24 0.00

time (sec)

N/A 0.365 0.008 0.000 0.000 0.080 0.000 0.000 0.159 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

116 121 57 0 0 166 0 0 20 0

N.S.

1 1.04 0.49 0.00 0.00 1.43 0.00 0.00 0.17 0.00

time (sec)

N/A 0.406 0.010 0.000 0.000 0.100 0.000 0.000 0.160 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

500 655 70 0 0 467 0 0 25 0

N.S.

1 1.31 0.14 0.00 0.00 0.93 0.00 0.00 0.05 0.00

time (sec)

N/A 1.436 0.033 0.000 0.000 0.097 0.000 0.000 0.183 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

473 623 56 0 0 459 0 0 29 0

N.S.

1 1.32 0.12 0.00 0.00 0.97 0.00 0.00 0.06 0.00

time (sec)

N/A 0.825 0.017 0.000 0.000 0.199 0.000 0.000 0.153 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

445 589 48 0 0 419 0 0 22 0

N.S.

1 1.32 0.11 0.00 0.00 0.94 0.00 0.00 0.05 0.00

time (sec)

N/A 0.780 0.059 0.000 0.000 0.096 0.000 0.000 0.171 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

560 820 83 0 0 577 0 0 25 0

N.S.

1 1.46 0.15 0.00 0.00 1.03 0.00 0.00 0.04 0.00

time (sec)

N/A 1.163 0.030 0.000 0.000 0.085 0.000 0.000 0.196 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

214 284 58 0 0 318 0 0 26 0

N.S.

1 1.33 0.27 0.00 0.00 1.49 0.00 0.00 0.12 0.00

time (sec)

N/A 0.446 0.012 0.000 0.000 0.089 0.000 0.000 200.025 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

253 316 73 0 0 355 0 0 26 0

N.S.

1 1.25 0.29 0.00 0.00 1.40 0.00 0.00 0.10 0.00

time (sec)

N/A 0.459 0.015 0.000 0.000 0.143 0.000 0.000 200.026 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 60 50 511 0 0 0 0 494 0

N.S.

1 1.00 0.83 8.52 0.00 0.00 0.00 0.00 8.23 0.00

time (sec)

N/A 0.241 0.019 0.200 0.000 0.000 0.000 0.000 0.154 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

46 46 27 205 0 0 109 0 77 0

N.S.

1 1.00 0.59 4.46 0.00 0.00 2.37 0.00 1.67 0.00

time (sec)

N/A 0.211 0.005 0.178 0.000 0.000 1.462 0.000 0.162 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

47 47 28 146 0 0 129 0 73 0

N.S.

1 1.00 0.60 3.11 0.00 0.00 2.74 0.00 1.55 0.00

time (sec)

N/A 0.219 0.008 0.158 0.000 0.000 1.602 0.000 0.156 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 60 51 403 0 0 0 0 493 0

N.S.

1 1.00 0.85 6.72 0.00 0.00 0.00 0.00 8.22 0.00

time (sec)

N/A 0.256 0.016 0.189 0.000 0.000 0.000 0.000 0.160 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

127 172 93 149 0 0 0 0 127 0

N.S.

1 1.35 0.73 1.17 0.00 0.00 0.00 0.00 1.00 0.00

time (sec)

N/A 0.603 0.059 0.183 0.000 0.000 0.000 0.000 0.172 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

84 84 71 71 0 0 102 0 46 0

N.S.

1 1.00 0.85 0.85 0.00 0.00 1.21 0.00 0.55 0.00

time (sec)

N/A 0.259 0.029 0.159 0.000 0.000 1.404 0.000 0.162 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 85 32 0 0 0 0 0 28 0

N.S.

1 1.00 0.38 0.00 0.00 0.00 0.00 0.00 0.33 0.00

time (sec)

N/A 0.261 0.015 0.000 0.000 0.000 0.000 0.000 0.158 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

127 172 56 0 0 0 0 0 73 0

N.S.

1 1.35 0.44 0.00 0.00 0.00 0.00 0.00 0.57 0.00

time (sec)

N/A 0.610 0.028 0.000 0.000 0.000 0.000 0.000 0.168 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

36 36 0 0 0 0 0 0 361 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 10.03 0.00

time (sec)

N/A 0.220 0.000 0.000 0.000 0.000 0.000 0.000 15.560 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

36 36 0 0 0 0 0 0 279 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 7.75 0.00

time (sec)

N/A 0.224 0.000 0.000 0.000 0.000 0.000 0.000 0.535 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

36 36 0 0 0 0 0 0 40 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 1.11 0.00

time (sec)

N/A 0.217 0.000 0.000 0.000 0.000 0.000 0.000 0.501 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

36 36 0 0 0 0 0 0 777 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 21.58 0.00

time (sec)

N/A 0.213 0.000 0.000 0.000 0.000 0.000 0.000 0.495 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

36 36 0 0 0 0 0 0 358 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 9.94 0.00

time (sec)

N/A 0.216 0.000 0.000 0.000 0.000 0.000 0.000 1.271 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

53 33 0 0 0 0 0 0 24 0

N.S.

1 0.62 0.00 0.00 0.00 0.00 0.00 0.00 0.45 0.00

time (sec)

N/A 0.223 0.000 0.000 0.000 0.000 0.000 0.000 0.167 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

55 33 0 0 0 0 0 0 24 0

N.S.

1 0.60 0.00 0.00 0.00 0.00 0.00 0.00 0.44 0.00

time (sec)

N/A 0.215 0.000 0.000 0.000 0.000 0.000 0.000 0.317 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

63 36 0 0 0 0 0 0 29 0

N.S.

1 0.57 0.00 0.00 0.00 0.00 0.00 0.00 0.46 0.00

time (sec)

N/A 0.219 0.000 0.000 0.000 0.000 0.000 0.000 0.267 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

40 40 0 0 0 0 0 0 18 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.45 0.00

time (sec)

N/A 0.224 0.000 0.000 0.000 0.000 0.000 0.000 0.151 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

187 161 182 0 0 0 0 0 14 0

N.S.

1 0.86 0.97 0.00 0.00 0.00 0.00 0.00 0.07 0.00

time (sec)

N/A 0.327 0.111 0.000 0.000 0.000 0.000 0.000 0.148 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

141 147 96 0 0 0 0 0 14 0

N.S.

1 1.04 0.68 0.00 0.00 0.00 0.00 0.00 0.10 0.00

time (sec)

N/A 0.305 0.037 0.000 0.000 0.000 0.000 0.000 0.140 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

99 99 86 0 0 0 0 0 12 0

N.S.

1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 0.12 0.00

time (sec)

N/A 0.235 0.021 0.000 0.000 0.000 0.000 0.000 0.155 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

65 65 46 0 0 0 0 0 10 0

N.S.

1 1.00 0.71 0.00 0.00 0.00 0.00 0.00 0.15 0.00

time (sec)

N/A 0.199 0.034 0.000 0.000 0.000 0.000 0.000 0.147 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

111 111 95 0 0 0 0 0 14 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 0.264 0.018 0.000 0.000 0.000 0.000 0.000 0.153 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

67 67 65 0 0 0 0 0 44 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 0.66 0.00

time (sec)

N/A 0.231 0.016 0.000 0.000 0.000 0.000 0.000 0.150 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

105 105 91 0 0 0 0 0 49 0

N.S.

1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 0.47 0.00

time (sec)

N/A 0.262 0.028 0.000 0.000 0.000 0.000 0.000 0.154 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

147 150 101 0 0 0 0 0 122 0

N.S.

1 1.02 0.69 0.00 0.00 0.00 0.00 0.00 0.83 0.00

time (sec)

N/A 0.306 0.040 0.000 0.000 0.000 0.000 0.000 0.152 0.000

Problem 157

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

108 122 75 91 118 92 189 78 101 128

N.S.

1 1.13 0.69 0.84 1.09 0.85 1.75 0.72 0.94 1.19

time (sec)

N/A 0.299 0.117 0.257 0.116 0.079 0.842 0.130 0.149 0.023

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

83 88 67 83 95 82 146 66 82 105

N.S.

1 1.06 0.81 1.00 1.14 0.99 1.76 0.80 0.99 1.27

time (sec)

N/A 0.264 0.102 0.213 0.114 0.076 0.789 0.141 0.156 0.020

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

61 56 59 75 72 70 129 54 63 82

N.S.

1 0.92 0.97 1.23 1.18 1.15 2.11 0.89 1.03 1.34

time (sec)

N/A 0.238 0.090 0.206 0.109 0.099 0.749 0.125 0.160 0.022

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 33 30 44 27 47 80 30 25 37

N.S.

1 1.00 0.91 1.33 0.82 1.42 2.42 0.91 0.76 1.12

time (sec)

N/A 0.204 0.010 0.181 0.108 0.089 0.713 0.134 0.145 0.025

Problem 161

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 41 46 74 40 62 0 53 45 71

N.S.

1 0.95 1.07 1.72 0.93 1.44 0.00 1.23 1.05 1.65

time (sec)

N/A 0.241 0.025 0.192 0.113 0.072 0.000 0.130 0.162 0.033

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 32 29 33 73 60 0 66 71 32

N.S.

1 1.00 0.91 1.03 2.28 1.88 0.00 2.06 2.22 1.00

time (sec)

N/A 0.224 0.009 0.207 0.105 0.102 0.000 0.118 0.155 13.842

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

65 63 35 40 126 89 0 145 142 183

N.S.

1 0.97 0.54 0.62 1.94 1.37 0.00 2.23 2.18 2.82

time (sec)

N/A 0.249 0.018 0.228 0.118 0.071 0.000 0.129 0.163 13.997

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

97 97 43 49 189 116 0 199 72 49

N.S.

1 1.00 0.44 0.51 1.95 1.20 0.00 2.05 0.74 0.51

time (sec)

N/A 0.276 0.020 0.260 0.111 0.082 0.000 0.127 0.163 13.997

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

129 131 51 57 264 144 0 321 29 57

N.S.

1 1.02 0.40 0.44 2.05 1.12 0.00 2.49 0.22 0.44

time (sec)

N/A 0.310 0.025 0.289 0.113 0.088 0.000 0.137 200.029 14.054

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 35 23 45 59 59 66 59 44 59

N.S.

1 0.95 0.62 1.22 1.59 1.59 1.78 1.59 1.19 1.59

time (sec)

N/A 0.238 0.007 0.180 0.025 0.070 0.040 0.119 0.167 13.974

Problem 167

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

37 35 32 29 37 37 36 37 28 37

N.S.

1 0.95 0.86 0.78 1.00 1.00 0.97 1.00 0.76 1.00

time (sec)

N/A 0.238 0.008 0.178 0.036 0.062 0.032 0.116 0.156 0.028

Problem 168

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

37 35 30 29 37 37 37 37 28 37

N.S.

1 0.95 0.81 0.78 1.00 1.00 1.00 1.00 0.76 1.00

time (sec)

N/A 0.241 0.006 0.172 0.032 0.072 0.032 0.109 0.159 0.027

Problem 169

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

19 16 16 15 17 17 15 17 16 15

N.S.

1 0.84 0.84 0.79 0.89 0.89 0.79 0.89 0.84 0.79

time (sec)

N/A 0.225 0.006 0.167 0.029 0.068 0.027 0.140 0.162 0.014

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

13 26 26 10 11 11 10 11 9 9

N.S.

1 2.00 2.00 0.77 0.85 0.85 0.77 0.85 0.69 0.69

time (sec)

N/A 0.176 0.009 0.151 0.034 0.058 0.024 0.116 0.161 0.013

Problem 171

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 29 25 28 29 28 20 30 36 28

N.S.

1 0.94 0.81 0.90 0.94 0.90 0.65 0.97 1.16 0.90

time (sec)

N/A 0.229 0.010 0.173 0.026 0.068 0.066 0.114 0.163 0.031

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

13 13 25 13 25 25 22 32 32 12

N.S.

1 1.00 1.92 1.00 1.92 1.92 1.69 2.46 2.46 0.92

time (sec)

N/A 0.197 0.006 0.178 0.033 0.070 0.090 0.120 0.163 0.033

Problem 173

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

37 35 23 21 47 47 48 21 37 21

N.S.

1 0.95 0.62 0.57 1.27 1.27 1.30 0.57 1.00 0.57

time (sec)

N/A 0.231 0.007 0.178 0.026 0.072 0.125 0.117 0.166 0.042

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 35 23 21 57 57 61 21 45 21

N.S.

1 0.95 0.62 0.57 1.54 1.54 1.65 0.57 1.22 0.57

time (sec)

N/A 0.232 0.006 0.180 0.028 0.084 0.154 0.118 0.163 14.040

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

83 80 75 91 164 93 173 78 101 128

N.S.

1 0.96 0.90 1.10 1.98 1.12 2.08 0.94 1.22 1.54

time (sec)

N/A 0.245 0.104 0.310 0.109 0.077 6.765 0.138 0.152 0.019

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

59 59 44 68 77 65 109 48 49 64

N.S.

1 1.00 0.75 1.15 1.31 1.10 1.85 0.81 0.83 1.08

time (sec)

N/A 0.223 0.029 0.236 0.116 0.081 1.782 0.152 0.168 0.028

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

61 56 59 75 118 71 119 54 63 82

N.S.

1 0.92 0.97 1.23 1.93 1.16 1.95 0.89 1.03 1.34

time (sec)

N/A 0.232 0.097 0.243 0.113 0.094 5.021 0.153 0.162 0.021

Problem 178

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

53 64 48 62 85 52 88 38 42 58

N.S.

1 1.21 0.91 1.17 1.60 0.98 1.66 0.72 0.79 1.09

time (sec)

N/A 0.238 0.040 0.208 0.106 0.070 3.412 0.127 0.163 0.021

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 69 45 186 89 94 0 79 101 114

N.S.

1 0.93 0.61 2.51 1.20 1.27 0.00 1.07 1.36 1.54

time (sec)

N/A 0.255 0.010 0.247 0.113 0.073 0.000 0.136 0.159 13.930

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 32 29 35 146 89 0 83 117 34

N.S.

1 1.00 0.91 1.09 4.56 2.78 0.00 2.59 3.66 1.06

time (sec)

N/A 0.223 0.011 0.254 0.038 0.097 0.000 0.144 0.163 13.967

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

65 63 34 40 216 116 0 199 72 299

N.S.

1 0.97 0.52 0.62 3.32 1.78 0.00 3.06 1.11 4.60

time (sec)

N/A 0.246 0.020 0.246 0.039 0.089 0.000 0.128 0.153 13.994

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

97 97 43 49 327 145 0 253 31 492

N.S.

1 1.00 0.44 0.51 3.37 1.49 0.00 2.61 0.32 5.07

time (sec)

N/A 0.277 0.022 0.283 0.042 0.086 0.000 0.140 200.021 0.055

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

129 131 51 57 462 171 0 509 308 604

N.S.

1 1.02 0.40 0.44 3.58 1.33 0.00 3.95 2.39 4.68

time (sec)

N/A 0.332 0.024 0.340 0.041 0.097 0.000 0.490 0.159 14.218

Problem 184

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

53 48 31 45 59 59 63 59 44 59

N.S.

1 0.91 0.58 0.85 1.11 1.11 1.19 1.11 0.83 1.11

time (sec)

N/A 0.269 0.008 0.186 0.027 0.086 0.042 0.114 0.148 0.020

Problem 185

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

32 26 26 23 28 28 29 28 24 24

N.S.

1 0.81 0.81 0.72 0.88 0.88 0.91 0.88 0.75 0.75

time (sec)

N/A 0.231 0.008 0.177 0.030 0.092 0.035 0.127 0.147 0.021

Problem 186

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

35 33 30 29 37 37 37 37 28 37

N.S.

1 0.94 0.86 0.83 1.06 1.06 1.06 1.06 0.80 1.06

time (sec)

N/A 0.233 0.008 0.181 0.027 0.068 0.037 0.116 0.146 0.027

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

17 17 21 16 25 25 24 25 19 19

N.S.

1 1.00 1.24 0.94 1.47 1.47 1.41 1.47 1.12 1.12

time (sec)

N/A 0.205 0.007 0.173 0.034 0.073 0.035 0.116 0.147 0.019

Problem 188

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

27 26 26 24 24 28 26 35 27 26

N.S.

1 0.96 0.96 0.89 0.89 1.04 0.96 1.30 1.00 0.96

time (sec)

N/A 0.222 0.006 0.161 0.031 0.107 0.063 0.112 0.147 0.024

Problem 189

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

48 43 36 36 44 49 37 37 63 42

N.S.

1 0.90 0.75 0.75 0.92 1.02 0.77 0.77 1.31 0.88

time (sec)

N/A 0.249 0.009 0.180 0.033 0.064 0.114 0.118 0.153 14.074

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 25 24 51 51 51 50 39 25

N.S.

1 1.00 1.00 0.96 2.04 2.04 2.04 2.00 1.56 1.00

time (sec)

N/A 0.209 0.007 0.178 0.036 0.083 0.146 0.116 0.149 14.016

Problem 191

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

52 47 31 27 65 65 70 29 53 29

N.S.

1 0.90 0.60 0.52 1.25 1.25 1.35 0.56 1.02 0.56

time (sec)

N/A 0.246 0.007 0.181 0.031 0.077 0.176 0.113 0.148 14.051

Problem 192

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

53 48 31 27 77 77 80 29 61 29

N.S.

1 0.91 0.58 0.51 1.45 1.45 1.51 0.55 1.15 0.55

time (sec)

N/A 0.253 0.008 0.178 0.029 0.076 0.202 0.115 0.147 0.064

Problem 193

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

110 131 80 83 89 81 0 67 82 105

N.S.

1 1.19 0.73 0.75 0.81 0.74 0.00 0.61 0.75 0.95

time (sec)

N/A 0.317 0.080 0.246 0.114 0.112 0.000 0.125 0.152 0.019

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

86 97 72 75 71 71 0 54 63 82

N.S.

1 1.13 0.84 0.87 0.83 0.83 0.00 0.63 0.73 0.95

time (sec)

N/A 0.284 0.082 0.227 0.116 0.101 0.000 0.125 0.147 0.022

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

53 61 61 62 45 52 0 38 42 59

N.S.

1 1.15 1.15 1.17 0.85 0.98 0.00 0.72 0.79 1.11

time (sec)

N/A 0.250 0.050 0.193 0.115 0.100 0.000 0.117 0.153 0.019

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

11 11 11 29 11 30 0 14 11 21

N.S.

1 1.00 1.00 2.64 1.00 2.73 0.00 1.27 1.00 1.91

time (sec)

N/A 0.208 0.004 0.250 0.124 0.073 0.000 0.116 0.147 0.021

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 29 26 28 0 37 0 70 26 47

N.S.

1 1.00 0.90 0.97 0.00 1.28 0.00 2.41 0.90 1.62

time (sec)

N/A 0.228 0.006 0.254 0.000 0.094 0.000 0.124 0.153 13.980

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

65 63 34 33 0 62 0 91 54 32

N.S.

1 0.97 0.52 0.51 0.00 0.95 0.00 1.40 0.83 0.49

time (sec)

N/A 0.253 0.014 0.258 0.000 0.082 0.000 0.120 0.147 14.469

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

97 97 43 42 0 91 0 145 96 127

N.S.

1 1.00 0.44 0.43 0.00 0.94 0.00 1.49 0.99 1.31

time (sec)

N/A 0.281 0.017 0.303 0.000 0.082 0.000 0.121 0.147 0.034

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

129 131 51 50 0 117 0 164 72 167

N.S.

1 1.02 0.40 0.39 0.00 0.91 0.00 1.27 0.56 1.29

time (sec)

N/A 0.301 0.022 0.303 0.000 0.100 0.000 0.129 0.150 0.029

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