[next] [tail] [up]

Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

175 167 119 162 307 157 221 224 163 0

N.S.

1 0.95 0.68 0.93 1.75 0.90 1.26 1.28 0.93 0.00

time (sec)

N/A 0.524 0.122 0.134 0.129 0.090 0.723 0.135 0.242 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

131 127 95 119 196 121 165 158 121 0

N.S.

1 0.97 0.73 0.91 1.50 0.92 1.26 1.21 0.92 0.00

time (sec)

N/A 0.371 0.059 0.117 0.126 0.090 0.404 0.134 0.242 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 79 88 80 97 71 90 80 77 0

N.S.

1 1.03 1.14 1.04 1.26 0.92 1.17 1.04 1.00 0.00

time (sec)

N/A 0.285 0.043 0.057 0.126 0.096 0.147 0.121 0.228 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

84 73 207 140 0 0 0 0 54 0

N.S.

1 0.87 2.46 1.67 0.00 0.00 0.00 0.00 0.64 0.00

time (sec)

N/A 0.360 0.479 0.465 0.000 0.000 0.000 0.000 0.206 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

141 130 334 201 0 0 0 0 148 0

N.S.

1 0.92 2.37 1.43 0.00 0.00 0.00 0.00 1.05 0.00

time (sec)

N/A 0.576 0.838 0.326 0.000 0.000 0.000 0.000 0.248 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

196 182 501 262 0 0 0 0 262 0

N.S.

1 0.93 2.56 1.34 0.00 0.00 0.00 0.00 1.34 0.00

time (sec)

N/A 0.784 1.128 0.332 0.000 0.000 0.000 0.000 0.221 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

298 350 241 384 729 323 524 528 279 0

N.S.

1 1.17 0.81 1.29 2.45 1.08 1.76 1.77 0.94 0.00

time (sec)

N/A 1.527 0.255 0.417 0.145 0.119 0.986 0.165 0.248 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

219 244 193 275 465 247 389 374 213 0

N.S.

1 1.11 0.88 1.26 2.12 1.13 1.78 1.71 0.97 0.00

time (sec)

N/A 1.025 0.148 0.184 0.140 0.097 0.494 0.162 0.227 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

128 140 137 173 233 146 224 196 145 0

N.S.

1 1.09 1.07 1.35 1.82 1.14 1.75 1.53 1.13 0.00

time (sec)

N/A 0.564 0.119 0.156 0.133 0.093 0.235 0.146 0.218 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

156 135 302 375 0 0 0 0 85 0

N.S.

1 0.87 1.94 2.40 0.00 0.00 0.00 0.00 0.54 0.00

time (sec)

N/A 0.575 0.894 0.350 0.000 0.000 0.000 0.000 0.219 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

230 213 458 446 0 0 0 0 233 0

N.S.

1 0.93 1.99 1.94 0.00 0.00 0.00 0.00 1.01 0.00

time (sec)

N/A 1.184 1.609 0.303 0.000 0.000 0.000 0.000 0.262 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

446 665 411 715 1386 534 972 982 423 0

N.S.

1 1.49 0.92 1.60 3.11 1.20 2.18 2.20 0.95 0.00

time (sec)

N/A 2.846 0.407 0.297 0.190 0.127 1.507 0.201 0.278 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

330 435 331 508 879 407 717 697 332 0

N.S.

1 1.32 1.00 1.54 2.66 1.23 2.17 2.11 1.01 0.00

time (sec)

N/A 1.676 0.230 0.223 0.160 0.111 0.838 0.189 0.237 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

196 236 239 313 444 247 413 372 239 0

N.S.

1 1.20 1.22 1.60 2.27 1.26 2.11 1.90 1.22 0.00

time (sec)

N/A 0.940 0.223 0.211 0.147 0.102 0.406 0.169 0.237 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

234 205 443 675 0 0 0 0 114 0

N.S.

1 0.88 1.89 2.88 0.00 0.00 0.00 0.00 0.49 0.00

time (sec)

N/A 0.829 0.988 0.387 0.000 0.000 0.000 0.000 0.234 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

393 349 693 851 0 0 0 0 312 0

N.S.

1 0.89 1.76 2.17 0.00 0.00 0.00 0.00 0.79 0.00

time (sec)

N/A 2.153 2.409 0.386 0.000 0.000 0.000 0.000 0.232 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

67 50 43 42 0 0 0 59 64 0

N.S.

1 0.75 0.64 0.63 0.00 0.00 0.00 0.88 0.96 0.00

time (sec)

N/A 0.368 0.230 0.128 0.000 0.000 0.000 0.129 0.222 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

50 39 34 33 0 0 0 44 46 0

N.S.

1 0.78 0.68 0.66 0.00 0.00 0.00 0.88 0.92 0.00

time (sec)

N/A 0.342 0.067 0.080 0.000 0.000 0.000 0.129 0.235 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 26 23 22 0 0 0 25 28 0

N.S.

1 0.90 0.79 0.76 0.00 0.00 0.00 0.86 0.97 0.00

time (sec)

N/A 0.304 0.020 0.046 0.000 0.000 0.000 0.127 0.261 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A 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 TBD

size

20 20 22 20 25 24 22 24 27 22

N.S.

1 1.00 1.10 1.00 1.25 1.20 1.10 1.20 1.35 1.10

time (sec)

N/A 0.213 1.882 0.223 0.224 0.074 0.887 0.406 0.224 0.174

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A 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 TBD

size

20 20 22 20 23 36 36 23 36 22

N.S.

1 1.00 1.10 1.00 1.15 1.80 1.80 1.15 1.80 1.10

time (sec)

N/A 0.203 5.388 0.407 0.218 0.082 1.242 1.504 0.225 0.177

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

95 80 83 105 0 0 0 95 64 0

N.S.

1 0.84 0.87 1.11 0.00 0.00 0.00 1.00 0.67 0.00

time (sec)

N/A 0.481 0.397 0.090 0.000 0.000 0.000 0.145 0.244 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

78 69 70 83 0 0 0 81 46 0

N.S.

1 0.88 0.90 1.06 0.00 0.00 0.00 1.04 0.59 0.00

time (sec)

N/A 0.451 0.256 0.070 0.000 0.000 0.000 0.146 0.228 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

55 54 55 59 0 0 0 49 28 0

N.S.

1 0.98 1.00 1.07 0.00 0.00 0.00 0.89 0.51 0.00

time (sec)

N/A 0.399 0.289 0.046 0.000 0.000 0.000 0.133 0.227 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A 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 TBD

size

20 20 22 20 153 24 26 24 31 22

N.S.

1 1.00 1.10 1.00 7.65 1.20 1.30 1.20 1.55 1.10

time (sec)

N/A 0.353 3.122 0.220 0.432 0.086 1.099 0.484 0.213 0.176

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A 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 TBD

size

20 20 22 20 202 36 41 23 42 22

N.S.

1 1.00 1.10 1.00 10.10 1.80 2.05 1.15 2.10 1.10

time (sec)

N/A 0.334 10.834 0.408 0.506 0.077 1.735 1.970 0.252 0.197

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

269 207 182 187 0 0 0 673 80 0

N.S.

1 0.77 0.68 0.70 0.00 0.00 0.00 2.50 0.30 0.00

time (sec)

N/A 0.626 1.288 0.092 0.000 0.000 0.000 0.156 0.261 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

201 157 138 141 0 0 0 395 58 0

N.S.

1 0.78 0.69 0.70 0.00 0.00 0.00 1.97 0.29 0.00

time (sec)

N/A 0.520 0.479 0.083 0.000 0.000 0.000 0.149 0.224 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

125 105 92 93 0 0 0 177 36 0

N.S.

1 0.84 0.74 0.74 0.00 0.00 0.00 1.42 0.29 0.00

time (sec)

N/A 0.400 0.158 0.050 0.000 0.000 0.000 0.143 0.210 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A 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 TBD

size

24 24 26 24 29 39 36 28 40 26

N.S.

1 1.00 1.08 1.00 1.21 1.62 1.50 1.17 1.67 1.08

time (sec)

N/A 0.206 2.954 0.221 0.226 0.075 2.034 2.847 0.220 0.177

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A 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 TBD

size

24 24 26 24 27 67 61 27 58 26

N.S.

1 1.00 1.08 1.00 1.12 2.79 2.54 1.12 2.42 1.08

time (sec)

N/A 0.209 22.430 0.530 0.241 0.079 3.534 175.921 0.223 0.181

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

304 244 310 467 0 0 0 1995 136 0

N.S.

1 0.80 1.02 1.54 0.00 0.00 0.00 6.56 0.45 0.00

time (sec)

N/A 0.722 1.843 0.084 0.000 0.000 0.000 0.248 0.251 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

236 194 233 353 0 0 0 1200 100 0

N.S.

1 0.82 0.99 1.50 0.00 0.00 0.00 5.08 0.42 0.00

time (sec)

N/A 0.651 0.861 0.089 0.000 0.000 0.000 0.232 0.257 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

158 140 122 237 0 0 0 571 64 0

N.S.

1 0.89 0.77 1.50 0.00 0.00 0.00 3.61 0.41 0.00

time (sec)

N/A 0.608 0.311 0.067 0.000 0.000 0.000 0.212 0.257 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A 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 TBD

size

24 24 26 24 236 71 73 28 74 26

N.S.

1 1.00 1.08 1.00 9.83 2.96 3.04 1.17 3.08 1.08

time (sec)

N/A 0.397 21.791 0.225 0.537 0.078 4.848 8.055 0.247 0.176

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 24 26 24 345 119 121 0 112 26

N.S.

1 1.00 1.08 1.00 14.38 4.96 5.04 0.00 4.67 1.08

time (sec)

N/A 0.397 42.087 0.605 0.603 0.086 19.047 0.000 0.225 0.177

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

178 190 156 204 0 0 265 0 150 0

N.S.

1 1.07 0.88 1.15 0.00 0.00 1.49 0.00 0.84 0.00

time (sec)

N/A 0.647 0.427 0.332 0.000 0.000 17.822 0.000 0.254 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

122 131 112 152 0 0 185 0 101 0

N.S.

1 1.07 0.92 1.25 0.00 0.00 1.52 0.00 0.83 0.00

time (sec)

N/A 0.475 0.270 0.184 0.000 0.000 1.702 0.000 0.245 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

68 68 87 97 0 0 92 0 51 0

N.S.

1 1.00 1.28 1.43 0.00 0.00 1.35 0.00 0.75 0.00

time (sec)

N/A 0.295 0.031 0.172 0.000 0.000 5.106 0.000 0.224 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 25 49 28 0 90 0 24 0

N.S.

1 1.00 1.00 1.96 1.12 0.00 3.60 0.00 0.96 0.00

time (sec)

N/A 0.206 0.008 0.170 0.118 0.000 3.202 0.000 0.226 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

53 53 53 92 62 0 0 0 80 0

N.S.

1 1.00 1.00 1.74 1.17 0.00 0.00 0.00 1.51 0.00

time (sec)

N/A 0.231 0.029 0.204 0.120 0.000 0.000 0.000 0.232 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

112 117 135 168 141 0 0 0 197 0

N.S.

1 1.04 1.21 1.50 1.26 0.00 0.00 0.00 1.76 0.00

time (sec)

N/A 0.367 0.175 0.209 0.133 0.000 0.000 0.000 0.248 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

168 181 176 244 0 0 0 0 355 0

N.S.

1 1.08 1.05 1.45 0.00 0.00 0.00 0.00 2.11 0.00

time (sec)

N/A 0.528 0.191 0.217 0.000 0.000 0.000 0.000 0.224 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

215 259 204 293 0 0 405 0 166 0

N.S.

1 1.20 0.95 1.36 0.00 0.00 1.88 0.00 0.77 0.00

time (sec)

N/A 0.882 0.476 0.224 0.000 0.000 3.486 0.000 0.252 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

124 121 165 178 0 0 0 0 82 0

N.S.

1 0.98 1.33 1.44 0.00 0.00 0.00 0.00 0.66 0.00

time (sec)

N/A 0.545 0.056 0.247 0.000 0.000 0.000 0.000 0.255 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 25 68 47 0 94 0 38 0

N.S.

1 1.00 1.00 2.72 1.88 0.00 3.76 0.00 1.52 0.00

time (sec)

N/A 0.243 0.011 0.246 0.128 0.000 3.632 0.000 0.220 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

114 113 166 224 0 0 0 0 142 0

N.S.

1 0.99 1.46 1.96 0.00 0.00 0.00 0.00 1.25 0.00

time (sec)

N/A 0.633 1.183 0.286 0.000 0.000 0.000 0.000 0.226 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

216 216 308 1622 0 0 0 0 361 0

N.S.

1 1.00 1.43 7.51 0.00 0.00 0.00 0.00 1.67 0.00

time (sec)

N/A 1.364 0.743 0.299 0.000 0.000 0.000 0.000 0.246 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 34 30 31 30 26 31 27 13 0

N.S.

1 1.00 0.88 0.91 0.88 0.76 0.91 0.79 0.38 0.00

time (sec)

N/A 0.275 0.007 0.181 0.115 0.093 0.696 0.119 0.236 0.000

Problem 50

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

13 13 13 12 11 11 12 11 11 11

N.S.

1 1.00 1.00 0.92 0.85 0.85 0.92 0.85 0.85 0.85

time (sec)

N/A 0.210 0.005 0.095 0.116 0.080 0.444 0.112 0.237 0.203

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

262 278 266 691 0 0 0 0 150 0

N.S.

1 1.06 1.02 2.64 0.00 0.00 0.00 0.00 0.57 0.00

time (sec)

N/A 0.827 0.708 0.346 0.000 0.000 0.000 0.000 0.261 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

185 204 210 480 0 0 0 0 101 0

N.S.

1 1.10 1.14 2.59 0.00 0.00 0.00 0.00 0.55 0.00

time (sec)

N/A 0.557 0.422 0.223 0.000 0.000 0.000 0.000 0.233 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

116 116 111 280 0 0 0 0 51 0

N.S.

1 1.00 0.96 2.41 0.00 0.00 0.00 0.00 0.44 0.00

time (sec)

N/A 0.379 0.032 0.167 0.000 0.000 0.000 0.000 0.226 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

49 49 50 86 28 0 0 24 24 0

N.S.

1 1.00 1.02 1.76 0.57 0.00 0.00 0.49 0.49 0.00

time (sec)

N/A 0.234 0.082 0.123 0.114 0.000 0.000 0.202 0.215 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

80 80 77 177 62 0 0 0 80 0

N.S.

1 1.00 0.96 2.21 0.78 0.00 0.00 0.00 1.00 0.00

time (sec)

N/A 0.272 0.159 0.189 0.128 0.000 0.000 0.000 0.260 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

154 159 113 1072 141 0 0 0 197 0

N.S.

1 1.03 0.73 6.96 0.92 0.00 0.00 0.00 1.28 0.00

time (sec)

N/A 0.404 0.183 0.243 0.124 0.000 0.000 0.000 0.243 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

225 238 154 2279 0 0 0 0 355 0

N.S.

1 1.06 0.68 10.13 0.00 0.00 0.00 0.00 1.58 0.00

time (sec)

N/A 0.589 0.216 0.283 0.000 0.000 0.000 0.000 0.231 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

296 332 247 929 0 0 0 0 166 0

N.S.

1 1.12 0.83 3.14 0.00 0.00 0.00 0.00 0.56 0.00

time (sec)

N/A 1.079 0.444 0.255 0.000 0.000 0.000 0.000 0.251 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

192 169 128 531 0 0 0 0 82 0

N.S.

1 0.88 0.67 2.77 0.00 0.00 0.00 0.00 0.43 0.00

time (sec)

N/A 0.552 0.140 0.197 0.000 0.000 0.000 0.000 0.242 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

49 49 64 143 47 0 0 38 38 0

N.S.

1 1.00 1.31 2.92 0.96 0.00 0.00 0.78 0.78 0.00

time (sec)

N/A 0.234 0.378 0.157 0.145 0.000 0.000 0.274 0.219 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

195 140 165 354 0 0 0 0 142 0

N.S.

1 0.72 0.85 1.82 0.00 0.00 0.00 0.00 0.73 0.00

time (sec)

N/A 0.615 0.610 0.198 0.000 0.000 0.000 0.000 0.235 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

311 270 320 2895 0 0 0 0 361 0

N.S.

1 0.87 1.03 9.31 0.00 0.00 0.00 0.00 1.16 0.00

time (sec)

N/A 1.409 0.948 0.251 0.000 0.000 0.000 0.000 0.269 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

351 366 138 474 0 0 0 0 53 0

N.S.

1 1.04 0.39 1.35 0.00 0.00 0.00 0.00 0.15 0.00

time (sec)

N/A 2.364 0.283 0.438 0.000 0.000 0.000 0.000 0.240 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

215 170 114 260 0 0 0 0 23 0

N.S.

1 0.79 0.53 1.21 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 0.847 0.038 0.262 0.000 0.000 0.000 0.000 0.230 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

42 42 42 52 14 0 0 14 16 0

N.S.

1 1.00 1.00 1.24 0.33 0.00 0.00 0.33 0.38 0.00

time (sec)

N/A 0.222 0.053 0.208 0.129 0.000 0.000 0.208 0.229 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

238 154 157 203 49 0 0 0 52 0

N.S.

1 0.65 0.66 0.85 0.21 0.00 0.00 0.00 0.22 0.00

time (sec)

N/A 0.737 0.196 0.304 0.638 0.000 0.000 0.000 0.245 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

388 296 211 535 106 0 0 0 68 0

N.S.

1 0.76 0.54 1.38 0.27 0.00 0.00 0.00 0.18 0.00

time (sec)

N/A 1.682 0.435 0.445 0.368 0.000 0.000 0.000 0.249 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

430 203 197 318 0 0 0 525 94 0

N.S.

1 0.47 0.46 0.74 0.00 0.00 0.00 1.22 0.22 0.00

time (sec)

N/A 0.588 0.878 0.476 0.000 0.000 0.000 0.488 0.258 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

294 151 151 243 0 0 0 285 61 0

N.S.

1 0.51 0.51 0.83 0.00 0.00 0.00 0.97 0.21 0.00

time (sec)

N/A 0.485 0.536 0.142 0.000 0.000 0.000 0.396 0.237 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

169 100 92 169 0 0 0 109 27 0

N.S.

1 0.59 0.54 1.00 0.00 0.00 0.00 0.64 0.16 0.00

time (sec)

N/A 0.417 0.352 0.126 0.000 0.000 0.000 0.316 0.249 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

45 45 45 58 0 58 0 0 21 0

N.S.

1 1.00 1.00 1.29 0.00 1.29 0.00 0.00 0.47 0.00

time (sec)

N/A 0.242 0.183 0.120 0.000 0.087 0.000 0.000 0.228 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A 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 TBD

size

26 26 28 24 26 81 27 26 88 26

N.S.

1 1.00 1.08 0.92 1.00 3.12 1.04 1.00 3.38 1.00

time (sec)

N/A 0.236 6.067 0.230 0.255 0.090 3.977 0.208 0.224 0.146

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A 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 TBD

size

26 26 28 24 26 108 27 26 129 26

N.S.

1 1.00 1.08 0.92 1.00 4.15 1.04 1.00 4.96 1.00

time (sec)

N/A 0.231 3.713 0.670 0.295 0.096 9.047 0.236 0.237 0.145

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

429 239 343 716 0 0 0 1615 136 0

N.S.

1 0.56 0.80 1.67 0.00 0.00 0.00 3.76 0.32 0.00

time (sec)

N/A 0.794 0.805 0.400 0.000 0.000 0.000 1.074 0.262 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

288 187 230 500 0 0 0 871 89 0

N.S.

1 0.65 0.80 1.74 0.00 0.00 0.00 3.02 0.31 0.00

time (sec)

N/A 0.698 0.495 0.200 0.000 0.000 0.000 0.888 0.264 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

163 131 118 281 0 0 0 323 41 0

N.S.

1 0.80 0.72 1.72 0.00 0.00 0.00 1.98 0.25 0.00

time (sec)

N/A 0.833 0.346 0.159 0.000 0.000 0.000 0.687 0.287 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

47 47 47 58 39 69 0 0 26 0

N.S.

1 1.00 1.00 1.23 0.83 1.47 0.00 0.00 0.55 0.00

time (sec)

N/A 0.261 0.203 0.101 0.244 0.097 0.000 0.000 0.306 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A 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 TBD

size

26 26 28 24 238 133 29 26 144 26

N.S.

1 1.00 1.08 0.92 9.15 5.12 1.12 1.00 5.54 1.00

time (sec)

N/A 0.440 11.681 0.210 0.665 0.083 14.142 0.312 0.285 0.171

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A 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 TBD

size

26 26 28 24 318 178 29 26 216 26

N.S.

1 1.00 1.08 0.92 12.23 6.85 1.12 1.00 8.31 1.00

time (sec)

N/A 0.446 14.350 0.640 0.817 0.095 30.805 0.352 0.305 0.180

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

665 735 344 542 0 0 0 1859 55 0

N.S.

1 1.11 0.52 0.82 0.00 0.00 0.00 2.80 0.08 0.00

time (sec)

N/A 3.046 0.730 0.239 0.000 0.000 0.000 1.629 0.306 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

381 371 227 364 0 0 0 1103 34 0

N.S.

1 0.97 0.60 0.96 0.00 0.00 0.00 2.90 0.09 0.00

time (sec)

N/A 1.678 0.314 0.096 0.000 0.000 0.000 1.096 0.272 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

120 118 119 187 0 0 0 531 11 0

N.S.

1 0.98 0.99 1.56 0.00 0.00 0.00 4.42 0.09 0.00

time (sec)

N/A 0.689 0.024 0.003 0.000 0.000 0.000 0.375 0.232 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 26 28 24 29 0 24 28 28 26

N.S.

1 1.00 1.08 0.92 1.12 0.00 0.92 1.08 1.08 1.00

time (sec)

N/A 0.258 5.081 0.157 0.408 0.000 0.671 1.391 0.244 0.143

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 26 28 24 27 0 32 27 35 26

N.S.

1 1.00 1.08 0.92 1.04 0.00 1.23 1.04 1.35 1.00

time (sec)

N/A 0.731 43.796 0.229 0.473 0.000 1.816 8.736 0.242 0.177

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

680 852 1686 821 0 0 0 3630 126 0

N.S.

1 1.25 2.48 1.21 0.00 0.00 0.00 5.34 0.19 0.00

time (sec)

N/A 4.140 12.093 0.176 0.000 0.000 0.000 2.978 0.374 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

348 448 844 548 0 0 0 2144 80 0

N.S.

1 1.29 2.43 1.57 0.00 0.00 0.00 6.16 0.23 0.00

time (sec)

N/A 2.191 7.227 0.115 0.000 0.000 0.000 1.741 0.298 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

159 155 289 278 0 0 0 1157 32 0

N.S.

1 0.97 1.82 1.75 0.00 0.00 0.00 7.28 0.20 0.00

time (sec)

N/A 0.822 0.867 0.000 0.000 0.000 0.000 0.990 0.276 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 26 28 24 29 0 54 28 61 26

N.S.

1 1.00 1.08 0.92 1.12 0.00 2.08 1.08 2.35 1.00

time (sec)

N/A 0.234 7.364 0.148 0.563 0.000 5.709 1.354 0.246 0.147

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 26 28 24 27 0 71 27 75 26

N.S.

1 1.00 1.08 0.92 1.04 0.00 2.73 1.04 2.88 1.00

time (sec)

N/A 0.850 64.284 0.255 0.612 0.000 10.588 6.732 0.240 0.178

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

471 433 455 413 0 0 0 657 117 0

N.S.

1 0.92 0.97 0.88 0.00 0.00 0.00 1.39 0.25 0.00

time (sec)

N/A 0.909 1.487 0.177 0.000 0.000 0.000 0.718 0.276 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

353 327 345 307 0 0 0 493 86 0

N.S.

1 0.93 0.98 0.87 0.00 0.00 0.00 1.40 0.24 0.00

time (sec)

N/A 0.740 0.604 0.113 0.000 0.000 0.000 0.560 0.301 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

227 219 229 198 0 0 0 321 55 0

N.S.

1 0.96 1.01 0.87 0.00 0.00 0.00 1.41 0.24 0.00

time (sec)

N/A 0.614 0.314 0.092 0.000 0.000 0.000 0.431 0.245 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

101 102 121 90 0 0 0 159 22 0

N.S.

1 1.01 1.20 0.89 0.00 0.00 0.00 1.57 0.22 0.00

time (sec)

N/A 0.559 0.024 0.000 0.000 0.000 0.000 0.202 0.238 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 26 28 24 29 0 36 28 50 26

N.S.

1 1.00 1.08 0.92 1.12 0.00 1.38 1.08 1.92 1.00

time (sec)

N/A 0.253 0.519 0.153 0.422 0.000 1.833 1.584 0.246 0.143

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 26 28 24 27 0 56 27 68 26

N.S.

1 1.00 1.08 0.92 1.04 0.00 2.15 1.04 2.62 1.00

time (sec)

N/A 0.251 0.735 0.198 0.603 0.000 3.768 14.571 0.230 0.172

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

508 472 692 596 0 0 0 0 0 0

N.S.

1 0.93 1.36 1.17 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.051 2.683 0.184 0.000 0.000 0.000 0.000 0.573 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

390 366 522 451 0 0 0 0 0 0

N.S.

1 0.94 1.34 1.16 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.878 1.389 0.125 0.000 0.000 0.000 0.000 0.513 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

253 256 348 304 0 0 0 0 1522 0

N.S.

1 1.01 1.38 1.20 0.00 0.00 0.00 0.00 6.02 0.00

time (sec)

N/A 0.692 0.578 0.105 0.000 0.000 0.000 0.000 0.425 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

137 139 167 158 0 0 0 0 169 0

N.S.

1 1.01 1.22 1.15 0.00 0.00 0.00 0.00 1.23 0.00

time (sec)

N/A 0.741 0.094 0.000 0.000 0.000 0.000 0.000 0.267 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 26 28 24 29 0 83 28 84 26

N.S.

1 1.00 1.08 0.92 1.12 0.00 3.19 1.08 3.23 1.00

time (sec)

N/A 0.431 0.569 0.151 0.483 0.000 4.467 7.608 0.236 0.148

[next] [front] [up]