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

verified

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

size

192 267 240 273 277 277 314 299 210 249

N.S.

1 1.39 1.25 1.42 1.44 1.44 1.64 1.56 1.09 1.30

time (sec)

N/A 0.728 0.069 0.254 0.046 0.071 0.054 0.116 0.249 12.270

Problem 2

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

153 171 157 177 177 177 202 191 141 162

N.S.

1 1.12 1.03 1.16 1.16 1.16 1.32 1.25 0.92 1.06

time (sec)

N/A 0.498 0.030 0.234 0.030 0.077 0.038 0.134 0.237 11.992

Problem 3

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

83 83 73 81 79 79 90 83 72 80

N.S.

1 1.00 0.88 0.98 0.95 0.95 1.08 1.00 0.87 0.96

time (sec)

N/A 0.299 0.010 0.223 0.041 0.078 0.025 0.122 0.222 12.076

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

113 113 98 107 107 152 243 110 151 106

N.S.

1 1.00 0.87 0.95 0.95 1.35 2.15 0.97 1.34 0.94

time (sec)

N/A 0.344 0.050 0.115 0.044 0.083 0.674 0.128 0.232 12.297

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

217 217 191 203 236 480 382 215 490 191

N.S.

1 1.00 0.88 0.94 1.09 2.21 1.76 0.99 2.26 0.88

time (sec)

N/A 0.501 0.115 0.180 0.045 0.105 1.280 0.134 0.174 12.034

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

335 335 290 290 368 810 522 314 838 309

N.S.

1 1.00 0.87 0.87 1.10 2.42 1.56 0.94 2.50 0.92

time (sec)

N/A 0.719 0.184 0.243 0.048 0.105 3.262 0.140 0.172 12.081

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

136 172 232 53 0 167 7218 0 271 140

N.S.

1 1.26 1.71 0.39 0.00 1.23 53.07 0.00 1.99 1.03

time (sec)

N/A 0.492 0.113 0.362 0.000 0.148 1.131 0.000 0.188 12.618

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

541 382 215 263 337 344 0 3745 232 442

N.S.

1 0.71 0.40 0.49 0.62 0.64 0.00 6.92 0.43 0.82

time (sec)

N/A 0.700 0.194 0.516 0.077 0.095 0.000 0.187 0.165 12.563

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

397 295 164 191 238 245 0 1846 163 333

N.S.

1 0.74 0.41 0.48 0.60 0.62 0.00 4.65 0.41 0.84

time (sec)

N/A 0.601 0.133 0.413 0.071 0.093 0.000 0.149 0.162 12.667

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

251 201 110 119 139 146 0 595 94 118

N.S.

1 0.80 0.44 0.47 0.55 0.58 0.00 2.37 0.37 0.47

time (sec)

N/A 0.495 0.081 0.382 0.086 0.086 0.000 0.143 0.152 12.547

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

208 182 135 145 0 363 0 130 157 0

N.S.

1 0.88 0.65 0.70 0.00 1.75 0.00 0.62 0.75 0.00

time (sec)

N/A 0.450 0.181 0.368 0.000 0.100 0.000 0.136 0.181 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

320 296 198 502 0 761 0 240 571 0

N.S.

1 0.92 0.62 1.57 0.00 2.38 0.00 0.75 1.78 0.00

time (sec)

N/A 0.528 0.353 0.415 0.000 0.107 0.000 0.144 0.161 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

540 421 274 874 0 1225 0 449 1195 0

N.S.

1 0.78 0.51 1.62 0.00 2.27 0.00 0.83 2.21 0.00

time (sec)

N/A 0.605 0.585 0.384 0.000 0.173 0.000 0.133 0.155 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

259 280 166 0 0 0 0 0 1607 0

N.S.

1 1.08 0.64 0.00 0.00 0.00 0.00 0.00 6.20 0.00

time (sec)

N/A 0.498 0.229 0.000 0.000 0.000 0.000 0.000 0.184 0.000

Problem 15

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

155 155 154 135 139 139 153 161 159 139

N.S.

1 1.00 0.99 0.87 0.90 0.90 0.99 1.04 1.03 0.90

time (sec)

N/A 0.433 0.031 0.255 0.030 0.064 0.053 0.128 0.155 0.081

Problem 16

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

102 102 102 92 94 94 102 106 105 93

N.S.

1 1.00 1.00 0.90 0.92 0.92 1.00 1.04 1.03 0.91

time (sec)

N/A 0.337 0.017 0.209 0.033 0.078 0.031 0.108 0.160 12.689

Problem 17

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

61 61 50 49 53 53 51 52 51 52

N.S.

1 1.00 0.82 0.80 0.87 0.87 0.84 0.85 0.84 0.85

time (sec)

N/A 0.251 0.013 0.178 0.037 0.066 0.025 0.130 0.176 0.018

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

574 571 60 41 0 7302 277 0 55 322

N.S.

1 0.99 0.10 0.07 0.00 12.72 0.48 0.00 0.10 0.56

time (sec)

N/A 2.245 0.015 0.065 0.000 0.873 8.088 0.000 0.158 12.542

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1171 1215 149 103 0 5268 337 0 485 987

N.S.

1 1.04 0.13 0.09 0.00 4.50 0.29 0.00 0.41 0.84

time (sec)

N/A 5.446 0.032 0.083 0.000 0.914 8.828 0.000 0.165 12.882

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1731 803 1260 1056 0 45 0 0 89 3117

N.S.

1 0.46 0.73 0.61 0.00 0.03 0.00 0.00 0.05 1.80

time (sec)

N/A 1.287 10.575 1.285 0.000 0.074 0.000 0.000 0.162 12.676

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

936 1175 0 0 0 0 0 0 0 0

N.S.

1 1.26 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.264 0.000 0.000 0.000 0.000 0.000 0.000 0.163 0.000

Problem 22

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

151 151 151 135 137 137 151 161 159 139

N.S.

1 1.00 1.00 0.89 0.91 0.91 1.00 1.07 1.05 0.92

time (sec)

N/A 0.700 0.026 0.262 0.031 0.076 0.039 0.116 0.164 12.238

Problem 23

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

99 99 99 92 91 91 99 106 105 93

N.S.

1 1.00 1.00 0.93 0.92 0.92 1.00 1.07 1.06 0.94

time (sec)

N/A 0.542 0.016 0.211 0.035 0.063 0.037 0.134 0.155 0.032

Problem 24

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

59 59 50 49 51 51 53 52 51 52

N.S.

1 1.00 0.85 0.83 0.86 0.86 0.90 0.88 0.86 0.88

time (sec)

N/A 0.395 0.013 0.187 0.033 0.065 0.026 0.117 0.154 0.018

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

373 930 64 43 0 7031 277 0 55 322

N.S.

1 2.49 0.17 0.12 0.00 18.85 0.74 0.00 0.15 0.86

time (sec)

N/A 11.386 0.015 0.063 0.000 1.407 9.206 0.000 0.164 12.427

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

885 2207 150 103 0 5181 342 0 485 995

N.S.

1 2.49 0.17 0.12 0.00 5.85 0.39 0.00 0.55 1.12

time (sec)

N/A 58.058 0.035 0.082 0.000 0.761 8.105 0.000 0.158 12.565

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

749 2085 589 788 0 45 0 0 89 3317

N.S.

1 2.78 0.79 1.05 0.00 0.06 0.00 0.00 0.12 4.43

time (sec)

N/A 5.528 10.408 1.129 0.000 0.074 0.000 0.000 0.166 12.641

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

747 1821 0 0 0 0 0 0 0 0

N.S.

1 2.44 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.480 0.000 0.000 0.000 0.000 0.000 0.000 0.178 0.000

Problem 29

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

230 353 353 369 375 375 425 407 398 335

N.S.

1 1.53 1.53 1.60 1.63 1.63 1.85 1.77 1.73 1.46

time (sec)

N/A 1.347 0.066 0.212 0.037 0.076 0.058 0.119 0.165 0.167

Problem 30

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

192 263 263 273 277 277 320 299 293 248

N.S.

1 1.37 1.37 1.42 1.44 1.44 1.67 1.56 1.53 1.29

time (sec)

N/A 1.026 0.044 0.189 0.034 0.079 0.052 0.116 0.155 12.180

Problem 31

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

154 171 171 177 177 177 204 191 188 162

N.S.

1 1.11 1.11 1.15 1.15 1.15 1.32 1.24 1.22 1.05

time (sec)

N/A 0.744 0.025 0.191 0.042 0.068 0.043 0.107 0.162 12.308

Problem 32

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

83 83 83 81 79 79 97 83 83 82

N.S.

1 1.00 1.00 0.98 0.95 0.95 1.17 1.00 1.00 0.99

time (sec)

N/A 0.450 0.015 0.158 0.047 0.066 0.024 0.136 0.157 0.025

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

110 110 111 105 108 152 241 111 219 104

N.S.

1 1.00 1.01 0.95 0.98 1.38 2.19 1.01 1.99 0.95

time (sec)

N/A 0.547 0.034 0.116 0.054 0.070 0.749 0.110 0.178 12.440

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

216 216 186 199 237 481 379 217 697 191

N.S.

1 1.00 0.86 0.92 1.10 2.23 1.75 1.00 3.23 0.88

time (sec)

N/A 0.754 0.100 0.175 0.042 0.082 1.358 0.112 0.156 12.301

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

308 308 265 286 369 811 517 316 1189 309

N.S.

1 1.00 0.86 0.93 1.20 2.63 1.68 1.03 3.86 1.00

time (sec)

N/A 1.066 0.173 0.235 0.052 0.112 3.564 0.121 0.152 12.209

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

398 389 158 191 232 247 0 1733 223 341

N.S.

1 0.98 0.40 0.48 0.58 0.62 0.00 4.35 0.56 0.86

time (sec)

N/A 1.397 0.140 0.419 0.063 0.079 0.000 0.145 0.168 12.613

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

253 283 100 119 133 148 0 554 118 118

N.S.

1 1.12 0.40 0.47 0.53 0.58 0.00 2.19 0.47 0.47

time (sec)

N/A 1.153 0.085 0.375 0.062 0.090 0.000 0.133 0.155 12.352

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

206 246 126 171 0 369 0 121 190 0

N.S.

1 1.19 0.61 0.83 0.00 1.79 0.00 0.59 0.92 0.00

time (sec)

N/A 1.083 0.136 0.323 0.000 0.096 0.000 0.137 0.153 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

318 376 188 466 0 768 0 224 731 0

N.S.

1 1.18 0.59 1.47 0.00 2.42 0.00 0.70 2.30 0.00

time (sec)

N/A 1.200 0.293 0.365 0.000 0.105 0.000 0.145 0.173 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

536 542 264 814 0 1232 0 429 1538 0

N.S.

1 1.01 0.49 1.52 0.00 2.30 0.00 0.80 2.87 0.00

time (sec)

N/A 1.344 0.515 0.388 0.000 0.175 0.000 0.130 0.164 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

246 378 159 0 0 0 0 0 0 0

N.S.

1 1.54 0.65 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.980 0.224 0.000 0.000 0.000 0.000 0.000 0.172 0.000

Problem 42

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

157 157 157 135 141 141 155 161 161 138

N.S.

1 1.00 1.00 0.86 0.90 0.90 0.99 1.03 1.03 0.88

time (sec)

N/A 0.676 0.024 0.227 0.029 0.073 0.044 0.136 0.156 0.081

Problem 43

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

106 106 106 92 96 96 104 106 107 92

N.S.

1 1.00 1.00 0.87 0.91 0.91 0.98 1.00 1.01 0.87

time (sec)

N/A 0.544 0.015 0.178 0.032 0.073 0.034 0.141 0.154 12.130

Problem 44

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

60 60 60 50 52 52 53 52 53 50

N.S.

1 1.00 1.00 0.83 0.87 0.87 0.88 0.87 0.88 0.83

time (sec)

N/A 0.401 0.009 0.135 0.036 0.083 0.033 0.114 0.157 0.017

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

593 591 65 45 0 7319 270 0 76 328

N.S.

1 1.00 0.11 0.08 0.00 12.34 0.46 0.00 0.13 0.55

time (sec)

N/A 4.856 0.016 0.064 0.000 0.911 8.765 0.000 0.157 12.417

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1056 1110 156 109 0 5341 338 0 606 988

N.S.

1 1.05 0.15 0.10 0.00 5.06 0.32 0.00 0.57 0.94

time (sec)

N/A 9.947 0.033 0.086 0.000 1.200 9.172 0.000 0.156 12.470

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1895 665 1597 1236 0 60 0 0 116 3476

N.S.

1 0.35 0.84 0.65 0.00 0.03 0.00 0.00 0.06 1.83

time (sec)

N/A 2.908 10.692 1.112 0.000 0.085 0.000 0.000 0.180 13.131

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

977 1308 0 0 0 0 0 0 0 0

N.S.

1 1.34 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.958 0.000 0.000 0.000 0.000 0.000 0.000 0.165 0.000

Problem 49

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

145 145 145 135 131 131 155 161 161 138

N.S.

1 1.00 1.00 0.93 0.90 0.90 1.07 1.11 1.11 0.95

time (sec)

N/A 0.724 0.044 0.227 0.030 0.074 0.039 0.119 0.152 12.239

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

97 97 97 92 89 89 102 106 107 92

N.S.

1 1.00 1.00 0.95 0.92 0.92 1.05 1.09 1.10 0.95

time (sec)

N/A 0.539 0.028 0.168 0.034 0.068 0.038 0.117 0.166 0.032

Problem 51

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

56 56 56 50 48 48 54 52 53 50

N.S.

1 1.00 1.00 0.89 0.86 0.86 0.96 0.93 0.95 0.89

time (sec)

N/A 0.373 0.016 0.132 0.033 0.064 0.029 0.137 0.149 12.148

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

274 667 69 47 0 7104 272 0 76 328

N.S.

1 2.43 0.25 0.17 0.00 25.93 0.99 0.00 0.28 1.20

time (sec)

N/A 4.999 0.027 0.064 0.000 1.111 8.895 0.000 0.152 12.479

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

724 1329 161 109 0 5266 342 0 606 996

N.S.

1 1.84 0.22 0.15 0.00 7.27 0.47 0.00 0.84 1.38

time (sec)

N/A 11.682 0.065 0.082 0.000 1.063 8.786 0.000 0.172 12.576

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

571 1729 0 0 0 0 0 0 0 0

N.S.

1 3.03 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 8.792 0.000 0.000 0.000 0.000 0.000 0.000 0.170 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

69 69 170 198 200 200 219 219 151 188

N.S.

1 1.00 2.46 2.87 2.90 2.90 3.17 3.17 2.19 2.72

time (sec)

N/A 0.566 0.097 0.169 0.037 0.073 0.041 0.133 0.154 0.059

Problem 56

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

69 69 92 101 102 102 110 110 82 100

N.S.

1 1.00 1.33 1.46 1.48 1.48 1.59 1.59 1.19 1.45

time (sec)

N/A 0.438 0.039 0.141 0.037 0.069 0.028 0.129 0.162 0.027

Problem 57

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

63 63 59 57 71 87 68 60 99 67

N.S.

1 1.00 0.94 0.90 1.13 1.38 1.08 0.95 1.57 1.06

time (sec)

N/A 0.426 0.028 0.070 0.032 0.079 0.291 0.116 0.156 0.042

Problem 58

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

69 69 52 63 101 101 107 52 90 101

N.S.

1 1.00 0.75 0.91 1.46 1.46 1.55 0.75 1.30 1.46

time (sec)

N/A 0.423 0.029 0.108 0.039 0.080 0.944 0.115 0.159 0.039

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

69 69 51 63 132 132 141 51 123 132

N.S.

1 1.00 0.74 0.91 1.91 1.91 2.04 0.74 1.78 1.91

time (sec)

N/A 0.401 0.028 0.148 0.039 0.069 2.605 0.116 0.166 12.027

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

160 96 64 80 193 205 0 1138 160 81

N.S.

1 0.60 0.40 0.50 1.21 1.28 0.00 7.11 1.00 0.51

time (sec)

N/A 0.450 0.111 0.447 0.052 0.076 0.000 0.141 0.153 12.264

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

160 96 62 80 89 106 0 399 91 79

N.S.

1 0.60 0.39 0.50 0.56 0.66 0.00 2.49 0.57 0.49

time (sec)

N/A 0.429 0.082 0.401 0.051 0.071 0.000 0.119 0.182 12.522

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

156 92 59 71 87 96 0 90 46 81

N.S.

1 0.59 0.38 0.46 0.56 0.62 0.00 0.58 0.29 0.52

time (sec)

N/A 0.429 0.098 0.376 0.059 0.085 0.000 0.125 0.157 12.821

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

160 96 63 80 128 130 0 66 76 81

N.S.

1 0.60 0.39 0.50 0.80 0.81 0.00 0.41 0.48 0.51

time (sec)

N/A 0.415 0.099 0.415 0.065 0.087 0.000 0.119 0.154 12.750

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

160 96 64 80 227 163 0 66 109 81

N.S.

1 0.60 0.40 0.50 1.42 1.02 0.00 0.41 0.68 0.51

time (sec)

N/A 0.448 0.102 0.373 0.078 0.088 0.000 0.120 0.169 12.873

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

102 113 108 146 156 230 0 399 183 219

N.S.

1 1.11 1.06 1.43 1.53 2.25 0.00 3.91 1.79 2.15

time (sec)

N/A 0.477 0.196 0.215 0.043 0.084 0.000 0.124 0.249 12.298

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

167 113 108 166 156 230 0 799 203 239

N.S.

1 0.68 0.65 0.99 0.93 1.38 0.00 4.78 1.22 1.43

time (sec)

N/A 0.445 0.019 0.142 0.048 0.105 0.000 0.132 0.235 12.914

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

387 684 684 756 747 747 910 909 401 718

N.S.

1 1.77 1.77 1.95 1.93 1.93 2.35 2.35 1.04 1.86

time (sec)

N/A 2.419 0.305 0.224 0.044 0.078 0.094 0.135 0.222 13.079

Problem 68

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

310 408 408 462 452 452 568 549 262 433

N.S.

1 1.32 1.32 1.49 1.46 1.46 1.83 1.77 0.85 1.40

time (sec)

N/A 1.491 0.159 0.190 0.036 0.075 0.069 0.112 0.238 0.137

Problem 69

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

216 227 227 240 241 241 287 279 151 225

N.S.

1 1.05 1.05 1.11 1.12 1.12 1.33 1.29 0.70 1.04

time (sec)

N/A 0.910 0.068 0.171 0.029 0.083 0.048 0.111 0.177 0.062

Problem 70

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

88 88 88 89 87 87 102 98 68 85

N.S.

1 1.00 1.00 1.01 0.99 0.99 1.16 1.11 0.77 0.97

time (sec)

N/A 0.479 0.020 0.161 0.034 0.093 0.025 0.142 0.160 12.588

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

395 382 90 67 0 19077 0 0 781 3423

N.S.

1 0.97 0.23 0.17 0.00 48.30 0.00 0.00 1.98 8.67

time (sec)

N/A 2.526 0.033 0.096 0.000 1.870 0.000 0.000 0.159 12.894

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

484 481 186 208 0 15642 0 0 2426 1692

N.S.

1 0.99 0.38 0.43 0.00 32.32 0.00 0.00 5.01 3.50

time (sec)

N/A 2.401 0.125 0.129 0.000 11.539 0.000 0.000 0.167 13.195

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

564 594 286 446 0 18983 0 0 5412 2559

N.S.

1 1.05 0.51 0.79 0.00 33.66 0.00 0.00 9.60 4.54

time (sec)

N/A 2.951 0.185 0.185 0.000 5.456 0.000 0.000 0.191 13.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

577 710 504 1576 0 365 0 0 916 0

N.S.

1 1.23 0.87 2.73 0.00 0.63 0.00 0.00 1.59 0.00

time (sec)

N/A 1.960 11.459 2.719 0.000 0.082 0.000 0.000 0.258 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

509 626 353 1353 0 203 0 0 458 0

N.S.

1 1.23 0.69 2.66 0.00 0.40 0.00 0.00 0.90 0.00

time (sec)

N/A 1.522 10.731 2.687 0.000 0.099 0.000 0.000 0.221 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

431 537 284 755 0 122 0 0 243 0

N.S.

1 1.25 0.66 1.75 0.00 0.28 0.00 0.00 0.56 0.00

time (sec)

N/A 1.206 10.662 2.708 0.000 0.083 0.000 0.000 0.220 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

486 586 928 851 0 398 0 0 0 0

N.S.

1 1.21 1.91 1.75 0.00 0.82 0.00 0.00 0.00 0.00

time (sec)

N/A 1.292 11.133 1.688 0.000 0.090 0.000 0.000 0.298 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

549 661 400 988 0 923 0 0 0 0

N.S.

1 1.20 0.73 1.80 0.00 1.68 0.00 0.00 0.00 0.00

time (sec)

N/A 1.491 12.250 1.615 0.000 0.108 0.000 0.000 0.402 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

609 733 467 1117 0 1608 0 0 0 0

N.S.

1 1.20 0.77 1.83 0.00 2.64 0.00 0.00 0.00 0.00

time (sec)

N/A 1.696 15.142 1.783 0.000 0.193 0.000 0.000 0.677 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

177 216 0 0 0 0 0 0 0 0

N.S.

1 1.22 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.769 0.000 0.000 0.000 0.000 0.000 0.000 0.193 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

295 238 549 0 0 0 0 0 0 0

N.S.

1 0.81 1.86 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.841 0.956 0.000 0.000 0.000 0.000 0.000 0.196 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

239 269 0 0 0 0 0 0 0 0

N.S.

1 1.13 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.881 0.000 0.000 0.000 0.000 0.000 0.000 0.457 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

302 280 409 0 0 0 0 0 0 0

N.S.

1 0.93 1.35 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.845 0.807 0.000 0.000 0.000 0.000 0.000 0.182 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

252 326 0 0 0 0 0 0 0 0

N.S.

1 1.29 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.945 0.000 0.000 0.000 0.000 0.000 0.000 0.477 0.000

Problem 85

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

419 419 419 486 461 461 585 573 456 436

N.S.

1 1.00 1.00 1.16 1.10 1.10 1.40 1.37 1.09 1.04

time (sec)

N/A 1.623 0.154 0.113 0.036 0.065 0.064 0.119 0.167 12.740

Problem 86

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

224 224 225 251 239 239 291 290 245 230

N.S.

1 1.00 1.00 1.12 1.07 1.07 1.30 1.29 1.09 1.03

time (sec)

N/A 0.897 0.082 0.103 0.037 0.062 0.058 0.135 0.156 0.061

Problem 87

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

85 85 85 82 83 83 97 97 92 80

N.S.

1 1.00 1.00 0.96 0.98 0.98 1.14 1.14 1.08 0.94

time (sec)

N/A 0.457 0.022 0.091 0.035 0.062 0.032 0.103 0.159 0.026

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

120 120 108 108 117 240 0 118 151 793

N.S.

1 1.00 0.90 0.90 0.98 2.00 0.00 0.98 1.26 6.61

time (sec)

N/A 0.589 0.057 0.131 0.113 0.583 0.000 0.114 0.170 14.641

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

330 375 307 376 532 2454 0 484 1699 1931

N.S.

1 1.14 0.93 1.14 1.61 7.44 0.00 1.47 5.15 5.85

time (sec)

N/A 1.320 0.253 0.151 0.126 5.797 0.000 0.131 0.161 16.402

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

45 45 101 41 39 39 925 40 64 60

N.S.

1 1.00 2.24 0.91 0.87 0.87 20.56 0.89 1.42 1.33

time (sec)

N/A 0.370 0.027 0.111 0.116 0.082 4.187 0.120 0.152 0.101

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

57 57 63 53 51 51 983 52 82 62

N.S.

1 1.00 1.11 0.93 0.89 0.89 17.25 0.91 1.44 1.09

time (sec)

N/A 0.416 0.024 0.108 0.108 0.077 10.404 0.131 0.163 13.289

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

636 2883 317 523 0 145 0 0 625 2455

N.S.

1 4.53 0.50 0.82 0.00 0.23 0.00 0.00 0.98 3.86

time (sec)

N/A 16.738 10.327 0.778 0.000 0.070 0.000 0.000 0.218 14.634

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

459 1282 271 430 0 98 0 0 427 1846

N.S.

1 2.79 0.59 0.94 0.00 0.21 0.00 0.00 0.93 4.02

time (sec)

N/A 4.238 7.144 0.750 0.000 0.075 0.000 0.000 0.213 12.452

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

336 869 231 332 0 57 0 0 180 656

N.S.

1 2.59 0.69 0.99 0.00 0.17 0.00 0.00 0.54 1.95

time (sec)

N/A 2.007 10.329 0.730 0.000 0.102 0.000 0.000 0.190 12.761

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

438 1435 275 377 0 201 0 0 1472 692

N.S.

1 3.28 0.63 0.86 0.00 0.46 0.00 0.00 3.36 1.58

time (sec)

N/A 5.019 10.526 0.832 0.000 0.073 0.000 0.000 0.209 12.903

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

555 3718 520 446 0 352 0 0 0 0

N.S.

1 6.70 0.94 0.80 0.00 0.63 0.00 0.00 0.00 0.00

time (sec)

N/A 30.023 13.889 1.363 0.000 0.075 0.000 0.000 0.212 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

405 0 0 0 0 0 0 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.249 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 22 49 21 20 142 163 70 159 136

N.S.

1 1.00 2.23 0.95 0.91 6.45 7.41 3.18 7.23 6.18

time (sec)

N/A 0.353 0.031 0.142 0.026 0.071 0.035 0.124 0.157 0.051

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 22 30 21 20 62 68 44 61 62

N.S.

1 1.00 1.36 0.95 0.91 2.82 3.09 2.00 2.77 2.82

time (sec)

N/A 0.301 0.010 0.125 0.036 0.063 0.035 0.126 0.160 12.917

Problem 100

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 No TBD TBD TBD TBD TBD TBD

size

18 18 16 19 18 18 17 27 18 18

N.S.

1 1.00 0.89 1.06 1.00 1.00 0.94 1.50 1.00 1.00

time (sec)

N/A 0.287 0.007 0.062 0.032 0.069 0.337 0.117 0.168 0.032

[next] [front] [up]