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

2.2.2 Integrals 101 to 198

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 F F F F F F B

verified

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

size

9 9 0 0 0 0 0 0 7

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.78

time (sec)

N/A 0.144 0.000 0.000 0.000 0.000 0.000 0.000 4.946

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 85 53 144 0 0 0 0 0

N.S.

1 1.09 0.68 1.85 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.266 0.041 0.664 0.000 0.000 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 114 88 173 0 0 0 0 0

N.S.

1 1.12 0.86 1.70 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.349 0.055 0.337 0.000 0.000 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 143 119 198 0 0 0 0 0

N.S.

1 1.18 0.98 1.64 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.449 0.062 0.626 0.000 0.000 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 101 72 177 0 0 0 0 0

N.S.

1 1.07 0.77 1.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.283 0.042 1.609 0.000 0.000 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 132 126 218 0 0 0 0 0

N.S.

1 1.12 1.07 1.85 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.388 0.067 0.342 0.000 0.000 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 163 166 259 0 0 0 0 0

N.S.

1 1.15 1.17 1.82 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.480 0.083 0.684 0.000 0.000 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 101 72 177 0 0 0 0 0

N.S.

1 1.07 0.77 1.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.295 0.042 3.652 0.000 0.000 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 132 126 218 0 0 0 0 0

N.S.

1 1.12 1.07 1.85 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.394 0.069 0.320 0.000 0.000 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 163 166 259 0 0 0 0 0

N.S.

1 1.15 1.17 1.82 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.506 0.087 0.631 0.000 0.000 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 106 80 148 0 0 0 0 0

N.S.

1 1.05 0.79 1.47 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.303 0.062 2.919 0.000 0.000 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 138 50 180 0 0 0 0 0

N.S.

1 1.06 0.38 1.38 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.406 0.025 0.404 0.000 0.000 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 170 52 217 0 0 0 0 0

N.S.

1 1.10 0.34 1.41 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.513 0.026 1.240 0.000 0.000 0.000 0.000 0.000

Problem 114

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

7 7 9 7 9 9 7 9 9

N.S.

1 1.00 1.29 1.00 1.29 1.29 1.00 1.29 1.29

time (sec)

N/A 0.172 0.020 0.047 0.184 0.233 0.296 0.274 5.176

Problem 115

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

5 5 7 5 7 7 5 7 7

N.S.

1 1.00 1.40 1.00 1.40 1.40 1.00 1.40 1.40

time (sec)

N/A 0.162 0.004 0.046 0.186 0.228 0.234 0.274 5.264

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

7 7 7 8 0 0 5 0 7

N.S.

1 1.00 1.00 1.14 0.00 0.00 0.71 0.00 1.00

time (sec)

N/A 0.184 0.003 0.088 0.000 0.000 0.216 0.000 5.351

Problem 117

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

9 9 11 9 11 11 8 11 11

N.S.

1 1.00 1.22 1.00 1.22 1.22 0.89 1.22 1.22

time (sec)

N/A 0.178 0.023 0.042 0.218 0.224 0.304 0.275 5.180

Problem 118

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

9 9 11 9 11 11 8 11 11

N.S.

1 1.00 1.22 1.00 1.22 1.22 0.89 1.22 1.22

time (sec)

N/A 0.178 0.018 0.045 0.212 0.233 0.347 0.272 5.287

Problem 119

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

9 9 11 9 11 11 8 11 11

N.S.

1 1.00 1.22 1.00 1.22 1.22 0.89 1.22 1.22

time (sec)

N/A 0.176 0.021 0.040 0.184 0.234 0.423 0.282 5.161

Problem 120

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

7 7 9 7 9 9 7 9 9

N.S.

1 1.00 1.29 1.00 1.29 1.29 1.00 1.29 1.29

time (sec)

N/A 0.166 0.005 0.026 0.180 0.234 0.312 0.274 5.312

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 14 0 0 0 0 0

N.S.

1 1.00 1.00 1.08 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.180 0.003 0.229 0.000 0.000 0.000 0.000 0.000

Problem 122

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

11 11 13 11 13 13 10 13 13

N.S.

1 1.00 1.18 1.00 1.18 1.18 0.91 1.18 1.18

time (sec)

N/A 0.185 0.019 0.028 0.202 0.231 0.494 0.281 4.651

Problem 123

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

11 11 13 11 13 13 10 13 13

N.S.

1 1.00 1.18 1.00 1.18 1.18 0.91 1.18 1.18

time (sec)

N/A 0.185 0.019 0.026 0.200 0.234 0.613 0.285 4.761

Problem 124

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

260 265 144 257 200 165 235 0 0

N.S.

1 1.02 0.55 0.99 0.77 0.63 0.90 0.00 0.00

time (sec)

N/A 0.580 0.153 1.056 0.177 0.253 5.440 0.000 0.000

Problem 125

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

152 156 96 164 145 110 153 0 0

N.S.

1 1.03 0.63 1.08 0.95 0.72 1.01 0.00 0.00

time (sec)

N/A 0.416 0.074 0.917 0.189 0.236 1.396 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 67 53 63 90 55 73 0 61

N.S.

1 1.12 0.88 1.05 1.50 0.92 1.22 0.00 1.02

time (sec)

N/A 0.377 0.014 0.675 0.192 0.232 0.733 0.000 5.277

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

401 459 422 0 0 0 0 0 0

N.S.

1 1.14 1.05 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.482 0.087 0.000 0.000 0.000 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 82 73 80 114 0 0 0 0

N.S.

1 0.98 0.87 0.95 1.36 0.00 0.00 0.00 0.00

time (sec)

N/A 0.362 0.042 2.089 0.205 0.000 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 155 131 150 193 0 0 0 0

N.S.

1 0.90 0.76 0.87 1.12 0.00 0.00 0.00 0.00

time (sec)

N/A 0.436 0.125 2.761 0.197 0.000 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

276 260 222 242 302 0 0 0 0

N.S.

1 0.94 0.80 0.88 1.09 0.00 0.00 0.00 0.00

time (sec)

N/A 0.564 0.236 3.181 0.187 0.000 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

347 340 296 0 264 219 0 0 0

N.S.

1 0.98 0.85 0.00 0.76 0.63 0.00 0.00 0.00

time (sec)

N/A 0.843 0.049 0.000 0.207 0.256 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

198 197 198 0 193 149 0 0 0

N.S.

1 0.99 1.00 0.00 0.97 0.75 0.00 0.00 0.00

time (sec)

N/A 0.493 0.039 0.000 0.199 0.246 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F F B

verified

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

size

84 93 66 0 120 73 0 0 77

N.S.

1 1.11 0.79 0.00 1.43 0.87 0.00 0.00 0.92

time (sec)

N/A 0.556 0.020 0.000 0.196 0.248 0.000 0.000 6.691

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

13 13 15 0 0 0 0 0 0

N.S.

1 1.00 1.15 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.243 0.030 0.000 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

486 520 477 0 0 0 0 0 0

N.S.

1 1.07 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.963 0.546 0.000 0.000 0.000 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

629 601 573 0 0 0 0 0 0

N.S.

1 0.96 0.91 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.095 1.331 0.000 0.000 0.000 0.000 0.000 0.000

Problem 137

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

605 580 485 531 681 651 1028 0 0

N.S.

1 0.96 0.80 0.88 1.13 1.08 1.70 0.00 0.00

time (sec)

N/A 0.913 0.403 3.119 0.210 0.250 28.613 0.000 0.000

Problem 138

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

385 374 274 577 406 373 561 0 0

N.S.

1 0.97 0.71 1.50 1.05 0.97 1.46 0.00 0.00

time (sec)

N/A 0.644 0.138 1.826 0.209 0.242 6.999 0.000 0.000

Problem 139

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

210 210 161 227 212 176 252 0 0

N.S.

1 1.00 0.77 1.08 1.01 0.84 1.20 0.00 0.00

time (sec)

N/A 0.465 0.086 1.156 0.207 0.247 1.858 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 67 53 63 90 55 73 0 61

N.S.

1 1.12 0.88 1.05 1.50 0.92 1.22 0.00 1.02

time (sec)

N/A 0.379 0.007 0.709 0.197 0.239 0.765 0.000 0.002

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

591 743 622 0 0 0 0 0 0

N.S.

1 1.26 1.05 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.672 0.189 0.000 0.000 0.000 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 136 108 179 166 0 0 0 0

N.S.

1 0.99 0.78 1.30 1.20 0.00 0.00 0.00 0.00

time (sec)

N/A 0.438 0.111 6.017 0.194 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 A F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

278 244 190 315 379 0 0 0 0

N.S.

1 0.88 0.68 1.13 1.36 0.00 0.00 0.00 0.00

time (sec)

N/A 0.550 0.199 9.742 0.212 0.000 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

448 408 313 528 1428 0 0 0 0

N.S.

1 0.91 0.70 1.18 3.19 0.00 0.00 0.00 0.00

time (sec)

N/A 0.730 0.342 24.588 0.236 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 47 46 65 44 39 0 0 46

N.S.

1 1.02 1.00 1.41 0.96 0.85 0.00 0.00 1.00

time (sec)

N/A 0.370 0.040 1.159 0.195 0.243 0.000 0.000 0.046

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 47 46 65 44 39 0 0 46

N.S.

1 1.02 1.00 1.41 0.96 0.85 0.00 0.00 1.00

time (sec)

N/A 0.374 0.002 0.970 0.189 0.259 0.000 0.000 0.002

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 51 70 49 0 0 0 0

N.S.

1 1.00 1.00 1.37 0.96 0.00 0.00 0.00 0.00

time (sec)

N/A 0.334 0.074 1.260 0.194 0.000 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 51 70 49 0 0 0 0

N.S.

1 1.00 1.00 1.37 0.96 0.00 0.00 0.00 0.00

time (sec)

N/A 0.336 0.002 1.167 0.190 0.000 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 34 37 0 0 0 0 0

N.S.

1 1.00 0.97 1.06 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.267 0.017 1.792 0.000 0.000 0.000 0.000 0.000

Problem 150

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

33 33 32 35 0 33 0 0 0

N.S.

1 1.00 0.97 1.06 0.00 1.00 0.00 0.00 0.00

time (sec)

N/A 0.254 0.007 1.730 0.000 0.304 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 32 35 0 33 0 0 0

N.S.

1 1.00 0.97 1.06 0.00 1.00 0.00 0.00 0.00

time (sec)

N/A 0.249 0.008 28.952 0.000 0.271 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

33 33 0 37 0 32 0 0 0

N.S.

1 1.00 0.00 1.12 0.00 0.97 0.00 0.00 0.00

time (sec)

N/A 0.220 0.000 2.758 0.000 0.255 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 48 35 58 35 56 0 33

N.S.

1 1.00 1.33 0.97 1.61 0.97 1.56 0.00 0.92

time (sec)

N/A 0.553 0.633 1.053 0.206 0.254 102.172 0.000 4.929

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 36 36 52 42 0 0 35

N.S.

1 1.00 1.00 1.00 1.44 1.17 0.00 0.00 0.97

time (sec)

N/A 0.573 0.481 1.396 0.216 0.254 0.000 0.000 4.717

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 51 53 211 87 0 0 81

N.S.

1 1.00 0.98 1.02 4.06 1.67 0.00 0.00 1.56

time (sec)

N/A 2.015 0.723 1.770 0.230 0.253 0.000 0.000 4.782

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

135 165 135 0 0 0 0 0 0

N.S.

1 1.22 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.674 0.012 0.000 0.000 0.000 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

100 115 100 0 0 0 0 0 0

N.S.

1 1.15 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.490 0.007 0.000 0.000 0.000 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

65 65 65 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.329 0.006 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 A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 32 0 0 0 0 0

N.S.

1 1.00 1.00 1.03 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.223 0.006 0.570 0.000 0.000 0.000 0.000 0.000

Problem 160

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 19 20 22 17 21 21

N.S.

1 1.00 1.11 1.00 1.05 1.16 0.89 1.11 1.11

time (sec)

N/A 0.283 0.032 0.042 0.209 0.249 2.654 0.284 4.762

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

300 433 223 0 376 0 0 0 0

N.S.

1 1.44 0.74 0.00 1.25 0.00 0.00 0.00 0.00

time (sec)

N/A 1.003 0.446 0.000 0.219 0.000 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

258 364 192 0 296 0 0 0 0

N.S.

1 1.41 0.74 0.00 1.15 0.00 0.00 0.00 0.00

time (sec)

N/A 0.891 0.272 0.000 0.213 0.000 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

262 296 160 0 222 0 0 0 0

N.S.

1 1.13 0.61 0.00 0.85 0.00 0.00 0.00 0.00

time (sec)

N/A 0.674 0.226 0.000 0.210 0.000 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

132 162 119 0 141 0 0 0 0

N.S.

1 1.23 0.90 0.00 1.07 0.00 0.00 0.00 0.00

time (sec)

N/A 0.695 0.027 0.000 0.210 0.000 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 11 10 8 8 0 0 9

N.S.

1 1.00 1.00 0.91 0.73 0.73 0.00 0.00 0.82

time (sec)

N/A 0.195 0.021 0.159 0.175 0.268 0.000 0.000 4.899

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

111 110 115 0 113 0 0 0 0

N.S.

1 0.99 1.04 0.00 1.02 0.00 0.00 0.00 0.00

time (sec)

N/A 0.473 0.101 0.000 0.229 0.000 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

191 200 185 0 162 0 0 0 0

N.S.

1 1.05 0.97 0.00 0.85 0.00 0.00 0.00 0.00

time (sec)

N/A 0.652 0.208 0.000 0.321 0.000 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

245 294 246 0 188 0 0 0 0

N.S.

1 1.20 1.00 0.00 0.77 0.00 0.00 0.00 0.00

time (sec)

N/A 0.794 0.178 0.000 0.324 0.000 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

287 363 277 0 214 0 0 0 0

N.S.

1 1.26 0.97 0.00 0.75 0.00 0.00 0.00 0.00

time (sec)

N/A 0.933 0.190 0.000 0.329 0.000 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

423 408 252 0 0 0 0 0 0

N.S.

1 0.96 0.60 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.977 0.367 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 A F F F F F F(-1)

verified

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

size

330 330 211 0 0 0 0 0 0

N.S.

1 1.00 0.64 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.831 0.274 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 A F F F F F F(-1)

verified

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

size

167 196 149 0 0 0 0 0 0

N.S.

1 1.17 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.693 0.067 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 A A F F F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 19 0 0 0 0 18

N.S.

1 1.00 1.00 0.95 0.00 0.00 0.00 0.00 0.90

time (sec)

N/A 0.350 0.038 0.236 0.000 0.000 0.000 0.000 4.936

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

156 154 150 0 0 0 0 0 0

N.S.

1 0.99 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.671 0.153 0.000 0.000 0.000 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

266 243 238 0 0 0 0 0 0

N.S.

1 0.91 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.952 0.267 0.000 0.000 0.000 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

340 344 301 0 0 0 0 0 0

N.S.

1 1.01 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.450 0.235 0.000 0.000 0.000 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

2995 3373 2610 0 0 0 0 0 0

N.S.

1 1.13 0.87 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 5.422 9.503 0.000 0.000 0.000 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

2252 2358 1996 0 0 0 0 0 0

N.S.

1 1.05 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.770 5.250 0.000 0.000 0.000 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

1653 1697 1546 0 0 0 0 0 0

N.S.

1 1.03 0.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.011 3.336 0.000 0.000 0.000 0.000 0.000 0.000

Problem 180

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

27 27 29 27 28 39 26 28 29

N.S.

1 1.00 1.07 1.00 1.04 1.44 0.96 1.04 1.07

time (sec)

N/A 0.209 0.377 0.108 0.296 0.276 126.623 0.306 8.408

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

2498 2413 2247 0 0 0 0 0 0

N.S.

1 0.97 0.90 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.472 7.149 0.000 0.000 0.000 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

3119 2903 2700 0 0 0 0 0 0

N.S.

1 0.93 0.87 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.489 13.023 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 F F F F(-1) F F(-1)

verified

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

size

3733 3741 3341 0 0 0 0 0 0

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 5.343 16.088 0.000 0.000 0.000 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

661 742 425 0 415 0 0 0 0

N.S.

1 1.12 0.64 0.00 0.63 0.00 0.00 0.00 0.00

time (sec)

N/A 1.256 0.570 0.000 0.199 0.000 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

546 616 362 0 345 0 0 0 0

N.S.

1 1.13 0.66 0.00 0.63 0.00 0.00 0.00 0.00

time (sec)

N/A 0.979 0.470 0.000 0.210 0.000 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

390 485 285 0 258 0 0 0 0

N.S.

1 1.24 0.73 0.00 0.66 0.00 0.00 0.00 0.00

time (sec)

N/A 0.816 0.379 0.000 0.200 0.000 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

153 177 137 0 0 0 0 0 0

N.S.

1 1.16 0.90 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.017 0.168 0.000 0.000 0.000 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

131 125 135 0 0 0 0 0 0

N.S.

1 0.95 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.739 0.567 0.000 0.000 0.000 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

331 387 285 0 213 0 0 0 0

N.S.

1 1.17 0.86 0.00 0.64 0.00 0.00 0.00 0.00

time (sec)

N/A 0.817 0.952 0.000 0.236 0.000 0.000 0.000 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

460 495 389 0 287 0 0 0 0

N.S.

1 1.08 0.85 0.00 0.62 0.00 0.00 0.00 0.00

time (sec)

N/A 0.948 1.128 0.000 0.250 0.000 0.000 0.000 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

584 638 505 0 341 0 0 0 0

N.S.

1 1.09 0.86 0.00 0.58 0.00 0.00 0.00 0.00

time (sec)

N/A 1.134 1.247 0.000 0.250 0.000 0.000 0.000 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

900 981 583 0 518 0 0 0 0

N.S.

1 1.09 0.65 0.00 0.58 0.00 0.00 0.00 0.00

time (sec)

N/A 1.455 0.983 0.000 0.220 0.000 0.000 0.000 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

645 715 472 0 412 0 0 0 0

N.S.

1 1.11 0.73 0.00 0.64 0.00 0.00 0.00 0.00

time (sec)

N/A 1.075 0.802 0.000 0.206 0.000 0.000 0.000 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

402 497 298 0 0 0 0 0 0

N.S.

1 1.24 0.74 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.149 0.256 0.000 0.000 0.000 0.000 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

218 257 280 0 0 0 0 0 0

N.S.

1 1.18 1.28 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.973 0.649 0.000 0.000 0.000 0.000 0.000 0.000

Problem 196

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

343 399 0 0 0 0 0 0 0

N.S.

1 1.16 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.192 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

515 555 488 0 319 0 0 0 0

N.S.

1 1.08 0.95 0.00 0.62 0.00 0.00 0.00 0.00

time (sec)

N/A 1.107 1.193 0.000 0.254 0.000 0.000 0.000 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

767 809 621 0 403 0 0 0 0

N.S.

1 1.05 0.81 0.00 0.53 0.00 0.00 0.00 0.00

time (sec)

N/A 1.404 1.501 0.000 0.255 0.000 0.000 0.000 0.000

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