[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 Mupad

grade

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

verified

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

size

48 48 48 0 0 46 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.96 0.00 0.00 0.00

time (sec)

N/A 0.028 0.005 0.000 0.000 0.267 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

20 20 22 18 20 20 20 20 20

N.S.

1 1.00 1.10 0.90 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.038 0.026 0.139 0.276 0.254 1.191 0.269 4.787

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

20 20 22 18 20 20 20 20 20

N.S.

1 1.00 1.10 0.90 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.063 0.026 0.145 0.271 0.263 1.680 0.280 4.748

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

20 20 22 18 20 20 20 20 20

N.S.

1 1.00 1.10 0.90 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.094 0.026 0.137 0.267 0.273 3.082 0.289 4.977

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

163 163 163 0 0 141 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.87 0.00 0.00 0.00

time (sec)

N/A 0.151 0.008 0.000 0.000 0.265 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

20 20 22 18 20 20 20 20 20

N.S.

1 1.00 1.10 0.90 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.136 0.025 0.138 0.268 0.258 11.227 0.283 4.717

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

20 20 22 18 20 20 20 20 20

N.S.

1 1.00 1.10 0.90 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.221 0.026 0.155 0.283 0.265 21.230 0.271 4.763

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

20 20 22 18 20 20 20 20 20

N.S.

1 1.00 1.10 0.90 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.217 0.027 0.135 0.289 0.247 38.007 0.282 4.701

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

278 278 278 0 0 203 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.73 0.00 0.00 0.00

time (sec)

N/A 0.340 0.009 0.000 0.000 0.267 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 89 26 126 85 184 0 0

N.S.

1 1.00 0.72 0.21 1.02 0.69 1.48 0.00 0.00

time (sec)

N/A 0.056 0.053 0.598 0.299 0.258 1.080 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 83 26 74 79 153 0 0

N.S.

1 1.00 0.76 0.24 0.68 0.72 1.40 0.00 0.00

time (sec)

N/A 0.072 0.041 0.579 0.202 0.256 1.165 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 80 26 110 86 49 0 0

N.S.

1 1.00 0.81 0.26 1.11 0.87 0.49 0.00 0.00

time (sec)

N/A 0.040 0.048 0.394 0.288 0.248 0.485 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 71 26 61 66 116 0 0

N.S.

1 1.00 0.85 0.31 0.73 0.79 1.38 0.00 0.00

time (sec)

N/A 0.054 0.031 0.401 0.200 0.266 0.628 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 74 62 94 59 112 0 0

N.S.

1 1.00 1.00 0.84 1.27 0.80 1.51 0.00 0.00

time (sec)

N/A 0.030 0.013 0.382 0.300 0.251 0.555 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 59 26 49 54 80 0 0

N.S.

1 1.00 1.00 0.44 0.83 0.92 1.36 0.00 0.00

time (sec)

N/A 0.035 0.011 0.380 0.207 0.268 0.576 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 49 26 70 51 49 0 0

N.S.

1 1.00 1.00 0.53 1.43 1.04 1.00 0.00 0.00

time (sec)

N/A 0.017 0.010 0.389 0.292 0.261 0.319 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 26 27 28 44 0 0

N.S.

1 1.00 1.00 0.96 1.00 1.04 1.63 0.00 0.00

time (sec)

N/A 0.004 0.004 0.476 0.183 0.245 0.405 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

69 69 0 23 0 0 41 0 0

N.S.

1 1.00 0.00 0.33 0.00 0.00 0.59 0.00 0.00

time (sec)

N/A 0.033 0.000 0.457 0.000 0.000 0.336 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 24 34 25 53 0 0

N.S.

1 1.00 1.00 0.89 1.26 0.93 1.96 0.00 0.00

time (sec)

N/A 0.016 0.010 0.438 0.284 0.262 0.551 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 44 26 61 42 51 0 0

N.S.

1 1.00 1.00 0.59 1.39 0.95 1.16 0.00 0.00

time (sec)

N/A 0.019 0.010 0.443 0.339 0.256 0.358 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 52 26 44 44 42 0 0

N.S.

1 1.00 1.00 0.50 0.85 0.85 0.81 0.00 0.00

time (sec)

N/A 0.041 0.014 0.428 0.268 0.272 0.403 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 69 64 61 56 110 0 0

N.S.

1 1.00 1.00 0.93 0.88 0.81 1.59 0.00 0.00

time (sec)

N/A 0.028 0.012 0.410 0.342 0.260 0.663 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 77 68 46 65 65 0 0

N.S.

1 1.00 1.00 0.88 0.60 0.84 0.84 0.00 0.00

time (sec)

N/A 0.066 0.014 0.469 0.265 0.260 1.346 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 74 26 61 79 56 0 0

N.S.

1 1.00 0.79 0.28 0.65 0.84 0.60 0.00 0.00

time (sec)

N/A 0.038 0.079 0.394 0.342 0.262 0.688 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 84 26 48 78 44 0 0

N.S.

1 1.00 0.82 0.25 0.47 0.76 0.43 0.00 0.00

time (sec)

N/A 0.089 0.100 0.424 0.293 0.265 0.889 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 85 26 61 81 185 0 0

N.S.

1 1.00 0.71 0.22 0.51 0.68 1.55 0.00 0.00

time (sec)

N/A 0.052 0.045 0.428 0.348 0.258 1.453 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 127 96 90 46 91 76 0 0

N.S.

1 1.00 0.76 0.71 0.36 0.72 0.60 0.00 0.00

time (sec)

N/A 0.100 0.062 0.521 0.283 0.277 6.963 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

298 298 424 275 0 375 0 0 0

N.S.

1 1.00 1.42 0.92 0.00 1.26 0.00 0.00 0.00

time (sec)

N/A 0.281 0.571 0.868 0.000 0.273 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 194 237 190 0 249 0 0 0

N.S.

1 1.00 1.22 0.98 0.00 1.28 0.00 0.00 0.00

time (sec)

N/A 0.164 0.327 0.718 0.000 0.273 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 122 74 108 0 132 0 0 0

N.S.

1 1.00 0.61 0.89 0.00 1.08 0.00 0.00 0.00

time (sec)

N/A 0.083 0.185 0.512 0.000 0.266 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 90 34 44 47 0 0 0

N.S.

1 1.00 2.43 0.92 1.19 1.27 0.00 0.00 0.00

time (sec)

N/A 0.005 0.023 0.544 0.199 0.258 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

14 14 16 14 16 16 12 16 16

N.S.

1 1.00 1.14 1.00 1.14 1.14 0.86 1.14 1.14

time (sec)

N/A 0.012 0.020 0.314 0.748 0.261 0.381 0.270 4.652

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

14 14 16 14 16 27 14 16 16

N.S.

1 1.00 1.14 1.00 1.14 1.93 1.00 1.14 1.14

time (sec)

N/A 0.011 1.500 0.283 0.456 0.250 0.577 0.264 4.665

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

227 227 166 187 502 176 0 0 0

N.S.

1 1.00 0.73 0.82 2.21 0.78 0.00 0.00 0.00

time (sec)

N/A 0.129 0.215 0.571 1.096 0.263 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 148 116 122 423 148 0 0 0

N.S.

1 1.00 0.78 0.82 2.86 1.00 0.00 0.00 0.00

time (sec)

N/A 0.094 0.214 0.527 0.812 0.271 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 59 79 311 104 0 0 0

N.S.

1 1.00 0.62 0.83 3.27 1.09 0.00 0.00 0.00

time (sec)

N/A 0.054 0.109 0.542 0.725 0.252 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 90 34 44 47 0 0 0

N.S.

1 1.00 2.43 0.92 1.19 1.27 0.00 0.00 0.00

time (sec)

N/A 0.005 0.020 0.434 0.186 0.252 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 8 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 0.80 1.20 1.20

time (sec)

N/A 0.009 0.017 0.175 0.767 0.262 0.314 0.263 4.587

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.009 0.941 0.128 0.438 0.247 0.260 0.258 4.637

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

253 253 181 0 0 183 0 0 0

N.S.

1 1.00 0.72 0.00 0.00 0.72 0.00 0.00 0.00

time (sec)

N/A 0.290 0.098 0.000 0.000 0.265 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

239 239 170 324 0 184 0 0 0

N.S.

1 1.00 0.71 1.36 0.00 0.77 0.00 0.00 0.00

time (sec)

N/A 0.205 0.177 0.589 0.000 0.259 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

265 265 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.210 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 177 137 209 0 149 0 0 0

N.S.

1 1.00 0.77 1.18 0.00 0.84 0.00 0.00 0.00

time (sec)

N/A 0.134 0.093 0.524 0.000 0.268 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

140 140 114 0 0 118 0 0 0

N.S.

1 1.00 0.81 0.00 0.00 0.84 0.00 0.00 0.00

time (sec)

N/A 0.108 0.039 0.000 0.000 0.250 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 100 122 0 111 0 0 0

N.S.

1 1.00 0.81 0.98 0.00 0.90 0.00 0.00 0.00

time (sec)

N/A 0.082 0.068 0.495 0.000 0.264 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

144 144 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.062 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 54 49 0 59 0 0 0

N.S.

1 1.00 1.00 0.91 0.00 1.09 0.00 0.00 0.00

time (sec)

N/A 0.026 0.011 0.493 0.000 0.259 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 8 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 0.80 1.20 1.20

time (sec)

N/A 0.012 0.016 0.022 0.219 0.262 1.110 0.261 4.788

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.045 0.020 0.069 0.218 0.262 1.039 0.267 4.907

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.043 0.015 0.063 0.215 0.249 1.085 0.274 4.918

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.067 0.023 0.063 0.217 0.257 1.110 0.256 4.959

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

127 127 127 0 0 102 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.80 0.00 0.00 0.00

time (sec)

N/A 0.099 0.006 0.000 0.000 0.265 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.096 0.022 0.073 0.214 0.251 1.197 0.268 4.902

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.147 0.018 0.069 0.222 0.260 1.294 0.260 4.952

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.158 0.022 0.063 0.225 0.256 1.494 0.250 5.111

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

242 242 242 0 0 178 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.74 0.00 0.00 0.00

time (sec)

N/A 0.257 0.009 0.000 0.000 0.263 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.229 0.021 0.062 0.256 0.257 2.175 0.263 4.719

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

495 495 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.303 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

279 279 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.148 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 66 60 0 88 0 0 0

N.S.

1 1.00 0.96 0.87 0.00 1.28 0.00 0.00 0.00

time (sec)

N/A 0.166 0.010 0.543 0.000 0.287 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

16 16 18 16 18 18 14 18 18

N.S.

1 1.00 1.12 1.00 1.12 1.12 0.88 1.12 1.12

time (sec)

N/A 0.018 0.032 0.171 0.224 0.278 0.436 0.250 4.751

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

16 16 18 16 18 29 15 18 18

N.S.

1 1.00 1.12 1.00 1.12 1.81 0.94 1.12 1.12

time (sec)

N/A 0.019 0.057 0.239 0.230 0.263 0.571 0.273 4.641

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

231 231 318 0 0 448 0 0 0

N.S.

1 1.00 1.38 0.00 0.00 1.94 0.00 0.00 0.00

time (sec)

N/A 0.304 4.612 0.000 0.000 0.293 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

227 227 318 0 0 448 0 0 0

N.S.

1 1.00 1.40 0.00 0.00 1.97 0.00 0.00 0.00

time (sec)

N/A 0.239 4.324 0.000 0.000 0.278 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

214 214 315 0 0 445 0 0 0

N.S.

1 1.00 1.47 0.00 0.00 2.08 0.00 0.00 0.00

time (sec)

N/A 0.213 4.677 0.000 0.000 0.282 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 165 64 82 121 0 0 0

N.S.

1 1.00 2.50 0.97 1.24 1.83 0.00 0.00 0.00

time (sec)

N/A 0.032 0.081 1.638 0.203 0.267 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

217 217 194 0 0 444 0 0 0

N.S.

1 1.00 0.89 0.00 0.00 2.05 0.00 0.00 0.00

time (sec)

N/A 0.252 2.661 0.000 0.000 0.287 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

228 228 199 0 0 460 0 0 0

N.S.

1 1.00 0.87 0.00 0.00 2.02 0.00 0.00 0.00

time (sec)

N/A 0.256 2.615 0.000 0.000 0.280 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

280 280 244 0 0 689 0 0 0

N.S.

1 1.00 0.87 0.00 0.00 2.46 0.00 0.00 0.00

time (sec)

N/A 0.330 3.661 0.000 0.000 0.309 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

64 64 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.057 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

64 64 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.055 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

101 101 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.039 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

101 101 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.036 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 11 11 10 0 0

N.S.

1 1.00 1.00 0.92 0.85 0.85 0.77 0.00 0.00

time (sec)

N/A 0.010 0.009 0.522 0.188 0.277 0.181 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 11 11 10 0 0

N.S.

1 1.00 1.00 0.92 0.85 0.85 0.77 0.00 0.00

time (sec)

N/A 0.008 0.006 0.451 0.187 0.271 0.110 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

9 9 9 10 9 9 10 0 0

N.S.

1 1.00 1.00 1.11 1.00 1.00 1.11 0.00 0.00

time (sec)

N/A 0.010 0.010 0.551 0.190 0.246 0.113 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 11 12 11 11 12 0 0

N.S.

1 1.00 1.00 1.09 1.00 1.00 1.09 0.00 0.00

time (sec)

N/A 0.010 0.006 0.564 0.183 0.248 0.272 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 11 11 15 0 0

N.S.

1 1.00 1.00 0.92 0.85 0.85 1.15 0.00 0.00

time (sec)

N/A 0.013 0.006 0.700 0.195 0.246 0.527 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 18 17 18 34 0 0

N.S.

1 1.00 1.00 1.06 1.00 1.06 2.00 0.00 0.00

time (sec)

N/A 0.014 0.010 0.806 0.218 0.258 0.615 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

231 231 231 0 0 169 301 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.73 1.30 0.00 0.00

time (sec)

N/A 0.343 0.008 0.000 0.000 0.275 14.179 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

215 215 154 317 0 167 0 0 0

N.S.

1 1.00 0.72 1.47 0.00 0.78 0.00 0.00 0.00

time (sec)

N/A 0.191 0.164 7.284 0.000 0.272 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

247 247 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.187 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 157 120 202 0 132 0 0 0

N.S.

1 1.00 0.76 1.29 0.00 0.84 0.00 0.00 0.00

time (sec)

N/A 0.127 0.100 2.396 0.000 0.262 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

120 120 120 0 0 105 151 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.88 1.26 0.00 0.00

time (sec)

N/A 0.086 0.008 0.000 0.000 0.261 1.294 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 83 114 0 94 0 0 0

N.S.

1 1.00 0.80 1.10 0.00 0.90 0.00 0.00 0.00

time (sec)

N/A 0.056 0.066 1.020 0.000 0.257 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

136 136 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.043 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 44 45 0 47 0 0 0

N.S.

1 1.00 0.92 0.94 0.00 0.98 0.00 0.00 0.00

time (sec)

N/A 0.017 0.023 0.702 0.000 0.262 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 11 11 10 0 0

N.S.

1 1.00 1.00 0.92 0.85 0.85 0.77 0.00 0.00

time (sec)

N/A 0.008 0.000 0.324 0.191 0.254 0.113 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

20 20 22 18 20 20 19 20 20

N.S.

1 1.00 1.10 0.90 1.00 1.00 0.95 1.00 1.00

time (sec)

N/A 0.011 0.023 0.134 0.278 0.261 0.963 0.279 4.781

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

20 20 22 18 20 20 20 20 20

N.S.

1 1.00 1.10 0.90 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.012 0.023 0.126 0.283 0.253 0.931 0.277 4.667

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

20 20 22 18 20 20 20 20 20

N.S.

1 1.00 1.10 0.90 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.040 0.023 0.129 0.290 0.258 1.169 0.289 4.649

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

109 109 109 0 0 93 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.85 0.00 0.00 0.00

time (sec)

N/A 0.077 0.008 0.000 0.000 0.268 0.000 0.000 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

20 20 22 18 20 20 20 20 20

N.S.

1 1.00 1.10 0.90 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.085 0.024 0.132 0.292 0.253 2.956 0.280 4.641

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

20 20 22 18 20 20 20 20 20

N.S.

1 1.00 1.10 0.90 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.138 0.024 0.131 0.289 0.260 5.583 0.286 4.703

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

20 20 22 18 20 20 20 20 20

N.S.

1 1.00 1.10 0.90 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.149 0.025 0.126 0.282 0.267 11.051 0.277 4.610

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

224 224 224 0 0 168 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.75 0.00 0.00 0.00

time (sec)

N/A 0.272 0.008 0.000 0.000 0.270 0.000 0.000 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

20 20 22 18 20 20 20 20 20

N.S.

1 1.00 1.10 0.90 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.228 0.028 0.126 0.294 0.257 36.966 0.281 4.620

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

20 20 22 18 20 20 20 20 20

N.S.

1 1.00 1.10 0.90 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.334 0.023 0.125 0.296 0.257 65.464 0.281 4.715

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

19 19 21 17 19 19 19 19 19

N.S.

1 1.00 1.11 0.89 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.009 0.052 0.129 0.284 0.257 1.129 0.306 4.700

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

308 308 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.295 0.000 0.000 0.000 0.000 0.000 0.000 0.000

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