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

verified

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

size

45 45 32 48 127 60 0 100 56 90

N.S.

1 1.00 0.71 1.07 2.82 1.33 0.00 2.22 1.24 2.00

time (sec)

N/A 0.301 0.021 1.986 0.050 0.099 0.000 0.139 0.217 11.304

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 24 25 45 1221 102 270 183 101 139

N.S.

1 1.00 1.04 1.88 50.88 4.25 11.25 7.62 4.21 5.79

time (sec)

N/A 0.293 0.012 1.478 0.106 0.078 1.535 0.122 0.209 11.309

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 27 25 26 216 101 136 0 100 61

N.S.

1 1.00 0.93 0.96 8.00 3.74 5.04 0.00 3.70 2.26

time (sec)

N/A 0.289 0.011 1.624 0.059 0.079 2.442 0.000 0.251 11.402

Problem 4

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

92 92 267 273 277 277 308 303 305 261

N.S.

1 1.00 2.90 2.97 3.01 3.01 3.35 3.29 3.32 2.84

time (sec)

N/A 0.580 0.051 0.681 0.032 0.074 0.060 0.117 0.215 0.114

Problem 5

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

92 92 217 222 225 225 243 245 247 208

N.S.

1 1.00 2.36 2.41 2.45 2.45 2.64 2.66 2.68 2.26

time (sec)

N/A 0.520 0.042 0.626 0.034 0.069 0.049 0.122 0.210 0.085

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

92 92 161 172 167 167 190 188 189 152

N.S.

1 1.00 1.75 1.87 1.82 1.82 2.07 2.04 2.05 1.65

time (sec)

N/A 0.494 0.033 0.618 0.032 0.071 0.048 0.111 0.276 0.067

Problem 7

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

65 65 122 121 124 124 133 130 131 115

N.S.

1 1.00 1.88 1.86 1.91 1.91 2.05 2.00 2.02 1.77

time (sec)

N/A 0.432 0.026 0.669 0.027 0.073 0.040 0.110 0.217 0.051

Problem 8

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

38 38 67 70 69 69 73 72 73 65

N.S.

1 1.00 1.76 1.84 1.82 1.82 1.92 1.89 1.92 1.71

time (sec)

N/A 0.324 0.015 0.237 0.026 0.084 0.032 0.107 0.206 11.372

Problem 9

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

size

14 14 14 24 23 31 32 31 32 31

N.S.

1 1.00 1.00 1.71 1.64 2.21 2.29 2.21 2.29 2.21

time (sec)

N/A 0.243 0.002 0.215 0.026 0.072 0.027 0.153 0.277 0.040

Problem 10

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

74 74 74 107 114 115 83 116 132 118

N.S.

1 1.00 1.00 1.45 1.54 1.55 1.12 1.57 1.78 1.59

time (sec)

N/A 0.388 0.035 0.769 0.032 0.070 0.224 0.111 0.202 0.059

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

75 75 114 108 117 172 102 166 197 123

N.S.

1 1.00 1.52 1.44 1.56 2.29 1.36 2.21 2.63 1.64

time (sec)

N/A 0.431 0.049 0.758 0.027 0.084 0.404 0.150 0.238 0.075

Problem 12

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

78 78 114 114 125 188 128 112 209 130

N.S.

1 1.00 1.46 1.46 1.60 2.41 1.64 1.44 2.68 1.67

time (sec)

N/A 0.430 0.050 0.733 0.037 0.074 0.652 0.110 0.256 11.301

Problem 13

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

86 86 79 114 143 177 148 119 180 138

N.S.

1 1.00 0.92 1.33 1.66 2.06 1.72 1.38 2.09 1.60

time (sec)

N/A 0.462 0.053 0.780 0.034 0.068 1.064 0.109 0.215 11.265

Problem 14

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

143 143 501 510 517 517 580 579 581 492

N.S.

1 1.00 3.50 3.57 3.62 3.62 4.06 4.05 4.06 3.44

time (sec)

N/A 0.830 0.087 1.088 0.036 0.083 0.085 0.113 0.261 0.201

Problem 15

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

146 146 413 432 427 427 500 488 489 405

N.S.

1 1.00 2.83 2.96 2.92 2.92 3.42 3.34 3.35 2.77

time (sec)

N/A 0.755 0.059 1.287 0.033 0.072 0.056 0.141 0.219 11.130

Problem 16

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

119 119 301 353 360 360 401 396 397 340

N.S.

1 1.00 2.53 2.97 3.03 3.03 3.37 3.33 3.34 2.86

time (sec)

N/A 0.686 0.114 1.255 0.035 0.070 0.084 0.139 0.211 11.130

Problem 17

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

92 92 235 273 277 277 308 303 305 261

N.S.

1 1.00 2.55 2.97 3.01 3.01 3.35 3.29 3.32 2.84

time (sec)

N/A 0.572 0.088 1.132 0.039 0.070 0.051 0.159 0.280 0.102

Problem 18

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

65 65 189 195 197 197 218 212 213 181

N.S.

1 1.00 2.91 3.00 3.03 3.03 3.35 3.26 3.28 2.78

time (sec)

N/A 0.480 0.045 1.227 0.035 0.081 0.055 0.133 0.205 0.077

Problem 19

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

38 38 109 117 115 115 129 121 121 103

N.S.

1 1.00 2.87 3.08 3.03 3.03 3.39 3.18 3.18 2.71

time (sec)

N/A 0.331 0.022 1.084 0.027 0.069 0.039 0.184 0.202 11.156

Problem 20

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

size

14 14 14 24 23 53 60 51 54 53

N.S.

1 1.00 1.00 1.71 1.64 3.79 4.29 3.64 3.86 3.79

time (sec)

N/A 0.245 0.003 1.007 0.026 0.082 0.035 0.161 0.266 0.026

Problem 21

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

122 122 167 244 258 259 209 273 301 280

N.S.

1 1.00 1.37 2.00 2.11 2.12 1.71 2.24 2.47 2.30

time (sec)

N/A 0.488 0.084 1.363 0.032 0.073 0.441 0.170 0.220 10.984

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

130 130 228 256 264 373 231 339 415 327

N.S.

1 1.00 1.75 1.97 2.03 2.87 1.78 2.61 3.19 2.52

time (sec)

N/A 0.600 0.083 1.342 0.034 0.072 0.680 0.156 0.207 11.155

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

133 133 230 254 271 416 258 264 470 291

N.S.

1 1.00 1.73 1.91 2.04 3.13 1.94 1.98 3.53 2.19

time (sec)

N/A 0.583 0.092 1.271 0.035 0.076 1.255 0.209 0.277 0.091

Problem 24

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

130 130 229 251 282 425 284 263 469 285

N.S.

1 1.00 1.76 1.93 2.17 3.27 2.18 2.02 3.61 2.19

time (sec)

N/A 0.566 0.096 1.194 0.039 0.074 2.059 0.188 0.203 0.121

Problem 25

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

173 173 581 697 706 706 796 798 799 683

N.S.

1 1.00 3.36 4.03 4.08 4.08 4.60 4.61 4.62 3.95

time (sec)

N/A 1.015 0.232 1.135 0.036 0.074 0.093 0.199 0.204 11.242

Problem 26

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

143 143 493 588 594 594 673 670 673 570

N.S.

1 1.00 3.45 4.11 4.15 4.15 4.71 4.69 4.71 3.99

time (sec)

N/A 0.905 0.174 1.216 0.036 0.068 0.079 0.197 0.284 0.241

Problem 27

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

119 119 405 483 489 489 549 546 547 470

N.S.

1 1.00 3.40 4.06 4.11 4.11 4.61 4.59 4.60 3.95

time (sec)

N/A 0.765 0.178 1.170 0.030 0.073 0.080 0.195 0.216 11.082

Problem 28

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

92 92 360 376 376 376 427 420 421 356

N.S.

1 1.00 3.91 4.09 4.09 4.09 4.64 4.57 4.58 3.87

time (sec)

N/A 0.648 0.066 1.187 0.029 0.080 0.064 0.177 0.266 0.164

Problem 29

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

65 65 229 269 273 273 303 294 295 249

N.S.

1 1.00 3.52 4.14 4.20 4.20 4.66 4.52 4.54 3.83

time (sec)

N/A 0.538 0.100 1.165 0.027 0.065 0.055 0.190 0.214 11.039

Problem 30

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

38 38 151 163 163 163 178 169 169 143

N.S.

1 1.00 3.97 4.29 4.29 4.29 4.68 4.45 4.45 3.76

time (sec)

N/A 0.329 0.029 1.082 0.034 0.075 0.081 0.176 0.209 11.060

Problem 31

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

size

14 14 14 24 23 75 83 71 76 75

N.S.

1 1.00 1.00 1.71 1.64 5.36 5.93 5.07 5.43 5.36

time (sec)

N/A 0.248 0.002 1.079 0.028 0.070 0.050 0.155 0.271 0.036

Problem 32

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

170 170 304 437 458 459 408 498 538 510

N.S.

1 1.00 1.79 2.57 2.69 2.70 2.40 2.93 3.16 3.00

time (sec)

N/A 0.592 0.128 1.379 0.034 0.076 0.708 0.159 0.215 0.077

Problem 33

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

186 186 387 449 466 629 428 566 700 839

N.S.

1 1.00 2.08 2.41 2.51 3.38 2.30 3.04 3.76 4.51

time (sec)

N/A 0.824 0.135 1.349 0.035 0.079 1.144 0.201 0.210 11.097

Problem 34

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

185 185 388 447 473 701 447 477 799 690

N.S.

1 1.00 2.10 2.42 2.56 3.79 2.42 2.58 4.32 3.73

time (sec)

N/A 0.760 0.156 1.303 0.041 0.081 2.060 0.160 0.298 0.123

Problem 35

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

187 187 199 450 485 737 474 471 840 558

N.S.

1 1.00 1.06 2.41 2.59 3.94 2.53 2.52 4.49 2.98

time (sec)

N/A 0.772 0.112 1.194 0.043 0.097 4.741 0.206 0.214 0.139

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

97 97 114 188 179 181 136 184 208 188

N.S.

1 1.00 1.18 1.94 1.85 1.87 1.40 1.90 2.14 1.94

time (sec)

N/A 0.443 0.053 1.323 0.027 0.079 0.320 0.165 0.214 0.058

Problem 37

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

73 73 74 109 114 116 83 115 132 118

N.S.

1 1.00 1.01 1.49 1.56 1.59 1.14 1.58 1.81 1.62

time (sec)

N/A 0.398 0.037 1.294 0.033 0.082 0.251 0.171 0.270 0.057

Problem 38

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

49 49 43 56 61 63 44 60 72 62

N.S.

1 1.00 0.88 1.14 1.24 1.29 0.90 1.22 1.47 1.27

time (sec)

N/A 0.361 0.024 1.244 0.032 0.074 0.188 0.167 0.218 11.164

Problem 39

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

25 25 25 26 25 24 20 26 28 26

N.S.

1 1.00 1.00 1.04 1.00 0.96 0.80 1.04 1.12 1.04

time (sec)

N/A 0.318 0.011 1.152 0.029 0.083 0.110 0.193 0.221 0.052

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

10 10 10 11 22 10 7 22 10 10

N.S.

1 1.00 1.00 1.10 2.20 1.00 0.70 2.20 1.00 1.00

time (sec)

N/A 0.244 0.001 1.088 0.025 0.080 0.035 0.148 0.239 0.024

Problem 41

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

36 36 26 28 36 26 128 46 26 40

N.S.

1 1.00 0.72 0.78 1.00 0.72 3.56 1.28 0.72 1.11

time (sec)

N/A 0.298 0.016 1.411 0.034 0.074 0.272 0.142 0.206 0.086

Problem 42

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

56 56 53 58 90 92 233 77 115 77

N.S.

1 1.00 0.95 1.04 1.61 1.64 4.16 1.38 2.05 1.38

time (sec)

N/A 0.385 0.030 1.339 0.027 0.077 0.493 0.164 0.208 0.120

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

82 82 67 81 202 242 381 165 289 183

N.S.

1 1.00 0.82 0.99 2.46 2.95 4.65 2.01 3.52 2.23

time (sec)

N/A 0.434 0.057 1.320 0.044 0.089 0.759 0.219 0.286 0.162

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

106 106 106 104 362 425 570 243 499 313

N.S.

1 1.00 1.00 0.98 3.42 4.01 5.38 2.29 4.71 2.95

time (sec)

N/A 0.493 0.049 1.429 0.045 0.087 1.151 0.166 0.207 11.181

Problem 45

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

102 102 163 173 190 292 185 182 330 197

N.S.

1 1.00 1.60 1.70 1.86 2.86 1.81 1.78 3.24 1.93

time (sec)

N/A 0.523 0.070 1.130 0.036 0.080 0.959 0.203 0.234 0.103

Problem 46

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

78 78 114 114 125 188 128 112 209 130

N.S.

1 1.00 1.46 1.46 1.60 2.41 1.64 1.44 2.68 1.67

time (sec)

N/A 0.468 0.054 1.212 0.028 0.073 0.631 0.144 0.223 11.036

Problem 47

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 49 67 79 99 80 68 113 77

N.S.

1 1.00 0.83 1.14 1.34 1.68 1.36 1.15 1.92 1.31

time (sec)

N/A 0.408 0.029 1.154 0.029 0.093 0.354 0.198 0.225 0.071

Problem 48

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

28 28 26 25 38 38 39 24 37 39

N.S.

1 1.00 0.93 0.89 1.36 1.36 1.39 0.86 1.32 1.39

time (sec)

N/A 0.279 0.013 1.083 0.036 0.071 0.189 0.197 0.307 11.007

Problem 49

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

14 14 14 13 23 24 26 23 23 26

N.S.

1 1.00 1.00 0.93 1.64 1.71 1.86 1.64 1.64 1.86

time (sec)

N/A 0.248 0.003 0.987 0.035 0.069 0.118 0.173 0.203 0.029

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

82 82 67 81 202 242 381 165 288 182

N.S.

1 1.00 0.82 0.99 2.46 2.95 4.65 2.01 3.51 2.22

time (sec)

N/A 0.438 0.069 1.296 0.040 0.096 0.743 0.171 0.218 0.152

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

109 109 98 109 386 494 634 216 821 330

N.S.

1 1.00 0.90 1.00 3.54 4.53 5.82 1.98 7.53 3.03

time (sec)

N/A 0.513 0.082 1.407 0.056 0.108 1.250 1.364 0.285 11.076

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

143 143 128 140 594 760 881 345 1202 542

N.S.

1 1.00 0.90 0.98 4.15 5.31 6.16 2.41 8.41 3.79

time (sec)

N/A 0.582 0.124 1.328 0.049 0.092 1.732 0.217 0.212 11.232

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

170 170 154 165 890 1151 1221 458 1840 798

N.S.

1 1.00 0.91 0.97 5.24 6.77 7.18 2.69 10.82 4.69

time (sec)

N/A 0.666 0.188 1.479 0.079 0.099 2.444 0.177 0.212 11.502

Problem 54

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

111 111 120 184 219 267 230 184 269 213

N.S.

1 1.00 1.08 1.66 1.97 2.41 2.07 1.66 2.42 1.92

time (sec)

N/A 0.501 0.072 1.128 0.038 0.077 2.444 0.561 0.271 10.968

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

28 28 91 122 143 143 155 111 122 135

N.S.

1 1.00 3.25 4.36 5.11 5.11 5.54 3.96 4.36 4.82

time (sec)

N/A 0.291 0.040 1.145 0.042 0.073 1.231 0.160 0.197 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

65 65 56 71 98 98 104 61 95 96

N.S.

1 1.00 0.86 1.09 1.51 1.51 1.60 0.94 1.46 1.48

time (sec)

N/A 0.393 0.027 1.127 0.028 0.072 0.528 0.175 0.198 0.045

Problem 57

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

38 38 27 35 61 61 65 25 59 63

N.S.

1 1.00 0.71 0.92 1.61 1.61 1.71 0.66 1.55 1.66

time (sec)

N/A 0.331 0.013 1.059 0.030 0.092 0.347 0.198 0.277 10.859

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 14 14 13 23 46 49 23 45 48

N.S.

1 1.00 1.00 0.93 1.64 3.29 3.50 1.64 3.21 3.43

time (sec)

N/A 0.243 0.003 1.198 0.028 0.066 0.198 0.191 0.217 10.843

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

130 130 130 125 558 657 802 338 769 505

N.S.

1 1.00 1.00 0.96 4.29 5.05 6.17 2.60 5.92 3.88

time (sec)

N/A 0.540 0.057 1.451 0.052 0.094 1.566 0.193 0.281 11.191

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

159 159 144 155 858 1083 1178 373 1706 763

N.S.

1 1.00 0.91 0.97 5.40 6.81 7.41 2.35 10.73 4.80

time (sec)

N/A 0.648 0.086 1.399 0.076 0.126 2.544 0.202 0.214 11.366

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

192 192 179 189 1200 1565 1571 579 2408 1098

N.S.

1 1.00 0.93 0.98 6.25 8.15 8.18 3.02 12.54 5.72

time (sec)

N/A 0.747 0.120 1.611 0.115 0.144 3.605 0.179 0.206 11.598

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

222 222 204 215 1587 2090 2009 715 3155 1469

N.S.

1 1.00 0.92 0.97 7.15 9.41 9.05 3.22 14.21 6.62

time (sec)

N/A 0.848 0.154 1.483 0.143 0.124 5.721 0.676 0.293 11.846

Problem 63

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

100 100 102 94 118 320 654 1196 342 87

N.S.

1 1.00 1.02 0.94 1.18 3.20 6.54 11.96 3.42 0.87

time (sec)

N/A 0.436 0.148 1.594 0.028 0.078 0.847 0.243 0.199 0.084

Problem 64

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

100 100 102 94 118 268 549 857 284 87

N.S.

1 1.00 1.02 0.94 1.18 2.68 5.49 8.57 2.84 0.87

time (sec)

N/A 0.425 0.145 1.770 0.038 0.072 0.579 0.177 0.198 0.063

Problem 65

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

100 100 102 93 118 216 196 566 226 87

N.S.

1 1.00 1.02 0.93 1.18 2.16 1.96 5.66 2.26 0.87

time (sec)

N/A 0.401 0.132 1.632 0.030 0.089 1.682 0.215 0.282 0.063

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

100 100 102 93 118 164 196 322 168 87

N.S.

1 1.00 1.02 0.93 1.18 1.64 1.96 3.22 1.68 0.87

time (sec)

N/A 0.400 0.121 1.580 0.029 0.071 1.547 0.304 0.218 0.063

Problem 67

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

96 96 101 92 118 115 194 137 114 87

N.S.

1 1.00 1.05 0.96 1.23 1.20 2.02 1.43 1.19 0.91

time (sec)

N/A 0.408 0.107 1.348 0.036 0.080 1.421 0.196 0.200 0.062

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

94 94 99 94 125 124 163 152 115 114

N.S.

1 1.00 1.05 1.00 1.33 1.32 1.73 1.62 1.22 1.21

time (sec)

N/A 0.393 0.109 0.884 0.035 0.079 3.366 0.840 0.268 10.907

Problem 69

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

96 96 101 66 122 136 461 141 122 128

N.S.

1 1.00 1.05 0.69 1.27 1.42 4.80 1.47 1.27 1.33

time (sec)

N/A 0.400 0.131 0.767 0.032 0.076 0.506 0.589 0.207 0.073

Problem 70

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

94 94 100 93 121 148 665 131 134 114

N.S.

1 1.00 1.06 0.99 1.29 1.57 7.07 1.39 1.43 1.21

time (sec)

N/A 0.403 0.133 0.763 0.035 0.079 0.661 0.606 0.267 0.081

Problem 71

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

158 158 217 204 259 579 1187 2186 635 137

N.S.

1 1.00 1.37 1.29 1.64 3.66 7.51 13.84 4.02 0.87

time (sec)

N/A 0.537 0.237 2.000 0.032 0.086 1.129 0.177 0.214 11.101

Problem 72

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

158 158 217 204 259 497 347 1599 543 137

N.S.

1 1.00 1.37 1.29 1.64 3.15 2.20 10.12 3.44 0.87

time (sec)

N/A 0.503 0.230 1.866 0.033 0.080 2.449 0.207 0.196 0.050

Problem 73

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

158 158 217 204 259 418 347 1084 451 137

N.S.

1 1.00 1.37 1.29 1.64 2.65 2.20 6.86 2.85 0.87

time (sec)

N/A 0.504 0.217 1.948 0.034 0.077 2.260 0.193 0.243 0.052

Problem 74

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

156 156 217 203 259 338 347 641 359 137

N.S.

1 1.00 1.39 1.30 1.66 2.17 2.22 4.11 2.30 0.88

time (sec)

N/A 0.512 0.194 1.891 0.034 0.076 2.139 0.189 0.210 0.052

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

154 154 216 204 259 261 345 283 271 137

N.S.

1 1.00 1.40 1.32 1.68 1.69 2.24 1.84 1.76 0.89

time (sec)

N/A 0.516 0.184 2.016 0.037 0.078 2.038 0.186 0.213 0.049

Problem 76

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

152 152 214 206 267 271 284 350 273 192

N.S.

1 1.00 1.41 1.36 1.76 1.78 1.87 2.30 1.80 1.26

time (sec)

N/A 0.504 0.195 1.250 0.047 0.076 9.182 0.177 0.274 11.010

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

152 152 217 194 265 283 235 335 280 229

N.S.

1 1.00 1.43 1.28 1.74 1.86 1.55 2.20 1.84 1.51

time (sec)

N/A 0.501 0.195 1.492 0.046 0.080 11.028 0.208 0.213 0.057

Problem 78

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

154 154 218 148 265 294 1428 331 291 255

N.S.

1 1.00 1.42 0.96 1.72 1.91 9.27 2.15 1.89 1.66

time (sec)

N/A 0.495 0.197 1.356 0.069 0.080 0.904 0.198 0.203 11.037

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

216 216 376 359 456 891 576 3416 996 187

N.S.

1 1.00 1.74 1.66 2.11 4.12 2.67 15.81 4.61 0.87

time (sec)

N/A 0.667 0.397 2.061 0.060 0.082 3.308 0.220 0.288 0.091

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

216 216 376 359 456 783 576 2533 870 187

N.S.

1 1.00 1.74 1.66 2.11 3.62 2.67 11.73 4.03 0.87

time (sec)

N/A 0.624 0.370 2.014 0.063 0.085 3.319 0.236 0.211 11.108

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

214 214 376 358 456 676 576 1746 744 187

N.S.

1 1.00 1.76 1.67 2.13 3.16 2.69 8.16 3.48 0.87

time (sec)

N/A 0.610 0.360 1.929 0.057 0.077 3.050 0.231 0.217 11.078

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

214 214 376 359 456 568 576 1054 618 187

N.S.

1 1.00 1.76 1.68 2.13 2.65 2.69 4.93 2.89 0.87

time (sec)

N/A 0.631 0.323 1.972 0.091 0.074 2.947 0.207 0.276 11.263

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

212 212 375 359 456 463 575 477 496 187

N.S.

1 1.00 1.77 1.69 2.15 2.18 2.71 2.25 2.34 0.88

time (sec)

N/A 0.615 0.300 2.181 0.066 0.076 2.257 0.166 0.207 11.772

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

206 206 374 359 464 472 483 631 498 270

N.S.

1 1.00 1.82 1.74 2.25 2.29 2.34 3.06 2.42 1.31

time (sec)

N/A 0.606 0.337 1.302 0.083 0.079 21.664 0.196 0.254 11.824

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

208 208 376 359 462 484 403 612 505 335

N.S.

1 1.00 1.81 1.73 2.22 2.33 1.94 2.94 2.43 1.61

time (sec)

N/A 0.597 0.296 1.349 0.061 0.083 21.370 0.220 0.225 0.073

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

210 210 376 334 463 496 338 608 516 388

N.S.

1 1.00 1.79 1.59 2.20 2.36 1.61 2.90 2.46 1.85

time (sec)

N/A 0.614 0.321 1.354 0.068 0.085 21.817 0.185 0.234 11.517

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

138 149 149 153 0 424 212 253 349 165

N.S.

1 1.08 1.08 1.11 0.00 3.07 1.54 1.83 2.53 1.20

time (sec)

N/A 0.506 0.286 2.634 0.000 0.084 21.897 0.205 0.299 0.064

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

112 120 108 115 0 290 156 171 223 130

N.S.

1 1.07 0.96 1.03 0.00 2.59 1.39 1.53 1.99 1.16

time (sec)

N/A 0.456 0.211 1.457 0.000 0.088 21.809 0.113 0.213 11.666

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

86 91 77 88 0 188 116 105 119 93

N.S.

1 1.06 0.90 1.02 0.00 2.19 1.35 1.22 1.38 1.08

time (sec)

N/A 0.401 0.253 1.510 0.000 0.084 21.063 0.147 0.213 0.075

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

62 62 62 58 0 143 88 62 51 50

N.S.

1 1.00 1.00 0.94 0.00 2.31 1.42 1.00 0.82 0.81

time (sec)

N/A 0.385 0.127 1.500 0.000 0.077 20.990 0.129 0.273 0.060

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

47 47 47 37 0 119 63 38 50 38

N.S.

1 1.00 1.00 0.79 0.00 2.53 1.34 0.81 1.06 0.81

time (sec)

N/A 0.340 0.078 1.425 0.000 0.079 20.402 0.140 0.215 11.197

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

69 69 69 60 0 193 92 69 84 57

N.S.

1 1.00 1.00 0.87 0.00 2.80 1.33 1.00 1.22 0.83

time (sec)

N/A 0.381 0.175 1.362 0.000 0.084 20.914 0.119 0.215 10.975

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

93 105 85 90 0 378 117 113 223 100

N.S.

1 1.13 0.91 0.97 0.00 4.06 1.26 1.22 2.40 1.08

time (sec)

N/A 0.425 0.318 1.471 0.000 0.096 21.200 0.158 0.276 0.111

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

119 141 116 112 0 686 144 183 437 137

N.S.

1 1.18 0.97 0.94 0.00 5.76 1.21 1.54 3.67 1.15

time (sec)

N/A 0.473 0.396 1.414 0.000 0.097 22.620 0.189 0.206 0.124

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

175 182 214 194 0 730 0 373 715 361

N.S.

1 1.04 1.22 1.11 0.00 4.17 0.00 2.13 4.09 2.06

time (sec)

N/A 0.514 1.175 1.615 0.000 0.095 0.000 0.160 0.207 11.361

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

146 153 162 144 0 520 0 263 464 268

N.S.

1 1.05 1.11 0.99 0.00 3.56 0.00 1.80 3.18 1.84

time (sec)

N/A 0.486 0.965 1.626 0.000 0.090 0.000 0.114 0.285 0.146

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

119 124 119 117 0 344 0 171 246 199

N.S.

1 1.04 1.00 0.98 0.00 2.89 0.00 1.44 2.07 1.67

time (sec)

N/A 0.448 0.740 1.532 0.000 0.089 0.000 0.135 0.210 11.730

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

100 102 90 79 0 383 0 108 259 135

N.S.

1 1.02 0.90 0.79 0.00 3.83 0.00 1.08 2.59 1.35

time (sec)

N/A 0.406 0.597 1.591 0.000 0.089 0.000 0.168 0.210 0.111

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

110 108 99 104 0 456 0 126 301 135

N.S.

1 0.98 0.90 0.95 0.00 4.15 0.00 1.15 2.74 1.23

time (sec)

N/A 0.417 0.667 1.548 0.000 0.087 0.000 0.153 0.265 11.637

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

114 122 96 102 0 549 0 148 352 142

N.S.

1 1.07 0.84 0.89 0.00 4.82 0.00 1.30 3.09 1.25

time (sec)

N/A 0.429 0.457 1.474 0.000 0.092 0.000 0.209 0.204 0.136

[next] [front] [up]