[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

33 33 33 28 27 27 29 29 26 28

N.S.

1 1.00 1.00 0.85 0.82 0.82 0.88 0.88 0.79 0.85

time (sec)

N/A 0.272 0.005 0.211 0.030 0.063 0.022 0.123 0.205 0.046

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

33 33 33 28 27 27 29 29 26 28

N.S.

1 1.00 1.00 0.85 0.82 0.82 0.88 0.88 0.79 0.85

time (sec)

N/A 0.276 0.005 0.055 0.030 0.068 0.021 0.113 0.222 3.244

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

28 28 28 25 24 24 26 26 24 25

N.S.

1 1.00 1.00 0.89 0.86 0.86 0.93 0.93 0.86 0.89

time (sec)

N/A 0.273 0.005 0.062 0.025 0.069 0.021 0.121 0.261 0.038

Problem 4

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

31 31 31 30 27 29 26 29 26 28

N.S.

1 1.00 1.00 0.97 0.87 0.94 0.84 0.94 0.84 0.90

time (sec)

N/A 0.275 0.009 0.039 0.024 0.065 0.054 0.120 0.238 3.113

Problem 5

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 28 24 24 29 24 23 26 24

N.S.

1 1.00 1.00 0.86 0.86 1.04 0.86 0.82 0.93 0.86

time (sec)

N/A 0.272 0.009 0.021 0.025 0.065 0.072 0.123 0.197 3.063

Problem 6

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

55 55 55 52 51 51 56 53 37 51

N.S.

1 1.00 1.00 0.95 0.93 0.93 1.02 0.96 0.67 0.93

time (sec)

N/A 0.330 0.007 0.089 0.029 0.070 0.027 0.119 0.209 0.059

Problem 7

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

55 55 55 52 51 51 56 53 37 51

N.S.

1 1.00 1.00 0.95 0.93 0.93 1.02 0.96 0.67 0.93

time (sec)

N/A 0.326 0.006 0.086 0.031 0.080 0.026 0.118 0.209 0.053

Problem 8

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

50 50 50 49 48 48 53 50 35 48

N.S.

1 1.00 1.00 0.98 0.96 0.96 1.06 1.00 0.70 0.96

time (sec)

N/A 0.308 0.006 0.085 0.032 0.063 0.029 0.120 0.206 0.047

Problem 9

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

53 53 53 53 51 53 53 53 37 51

N.S.

1 1.00 1.00 1.00 0.96 1.00 1.00 1.00 0.70 0.96

time (sec)

N/A 0.310 0.012 0.077 0.024 0.063 0.065 0.111 0.230 0.052

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

50 50 50 49 48 53 51 48 37 48

N.S.

1 1.00 1.00 0.98 0.96 1.06 1.02 0.96 0.74 0.96

time (sec)

N/A 0.316 0.012 0.069 0.025 0.090 0.076 0.125 0.219 0.054

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

182 236 225 60 230 587 102 256 5 770

N.S.

1 1.30 1.24 0.33 1.26 3.23 0.56 1.41 0.03 4.23

time (sec)

N/A 0.749 0.110 0.112 0.108 0.086 0.352 0.127 0.206 0.264

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

169 224 199 45 191 683 122 248 5 68

N.S.

1 1.33 1.18 0.27 1.13 4.04 0.72 1.47 0.03 0.40

time (sec)

N/A 0.690 0.085 0.056 0.122 0.083 0.355 0.136 0.222 0.170

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

164 219 196 42 212 560 87 245 1 720

N.S.

1 1.34 1.20 0.26 1.29 3.41 0.53 1.49 0.01 4.39

time (sec)

N/A 0.660 0.072 0.076 0.109 0.086 0.308 0.128 0.203 0.238

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

167 223 202 123 191 694 122 248 5 68

N.S.

1 1.34 1.21 0.74 1.14 4.16 0.73 1.49 0.03 0.41

time (sec)

N/A 0.675 0.091 0.096 0.110 0.105 0.359 0.129 0.211 3.379

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

169 225 209 120 215 579 88 248 5 795

N.S.

1 1.33 1.24 0.71 1.27 3.43 0.52 1.47 0.03 4.70

time (sec)

N/A 0.683 0.129 0.096 0.113 0.097 0.393 0.127 0.211 3.367

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

184 240 227 136 210 725 143 265 5 87

N.S.

1 1.30 1.23 0.74 1.14 3.94 0.78 1.44 0.03 0.47

time (sec)

N/A 0.743 0.146 0.088 0.107 0.092 0.480 0.121 0.210 0.183

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

211 252 255 87 264 686 141 287 154 810

N.S.

1 1.19 1.21 0.41 1.25 3.25 0.67 1.36 0.73 3.84

time (sec)

N/A 0.630 0.142 0.090 0.115 0.102 0.788 0.122 0.227 0.251

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

199 267 240 71 220 782 156 280 147 102

N.S.

1 1.34 1.21 0.36 1.11 3.93 0.78 1.41 0.74 0.51

time (sec)

N/A 0.779 0.144 0.089 0.122 0.091 0.908 0.134 0.199 0.207

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

189 261 232 65 242 659 117 273 144 731

N.S.

1 1.38 1.23 0.34 1.28 3.49 0.62 1.44 0.76 3.87

time (sec)

N/A 0.817 0.143 0.085 0.111 0.084 0.659 0.126 0.229 0.243

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

188 249 214 67 214 768 148 270 112 87

N.S.

1 1.32 1.14 0.36 1.14 4.09 0.79 1.44 0.60 0.46

time (sec)

N/A 0.720 0.107 0.082 0.113 0.114 0.644 0.127 0.213 3.520

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

186 247 212 65 236 648 112 266 112 740

N.S.

1 1.33 1.14 0.35 1.27 3.48 0.60 1.43 0.60 3.98

time (sec)

N/A 0.709 0.110 0.082 0.112 0.104 0.436 0.127 0.234 4.055

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

197 265 237 149 217 778 155 273 150 97

N.S.

1 1.35 1.20 0.76 1.10 3.95 0.79 1.39 0.76 0.49

time (sec)

N/A 0.780 0.179 0.094 0.127 0.104 0.552 0.124 0.229 3.590

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

197 267 238 147 248 678 124 276 159 843

N.S.

1 1.36 1.21 0.75 1.26 3.44 0.63 1.40 0.81 4.28

time (sec)

N/A 0.759 0.158 0.090 0.115 0.094 0.507 0.124 0.255 3.635

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

216 282 259 165 247 824 184 300 168 117

N.S.

1 1.31 1.20 0.76 1.14 3.81 0.85 1.39 0.78 0.54

time (sec)

N/A 0.831 0.175 0.092 0.119 0.090 0.654 0.134 0.207 3.546

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

179 177 114 140 0 98 80 0 138 0

N.S.

1 0.99 0.64 0.78 0.00 0.55 0.45 0.00 0.77 0.00

time (sec)

N/A 0.436 10.107 3.841 0.000 0.088 1.642 0.000 0.242 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

148 147 89 116 0 72 80 0 98 0

N.S.

1 0.99 0.60 0.78 0.00 0.49 0.54 0.00 0.66 0.00

time (sec)

N/A 0.389 10.122 1.450 0.000 0.087 1.454 0.000 0.247 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

118 118 73 96 0 58 78 0 65 0

N.S.

1 1.00 0.62 0.81 0.00 0.49 0.66 0.00 0.55 0.00

time (sec)

N/A 0.342 0.023 0.567 0.000 0.086 1.345 0.000 0.254 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

119 119 78 98 0 61 82 0 80 0

N.S.

1 1.00 0.66 0.82 0.00 0.51 0.69 0.00 0.67 0.00

time (sec)

N/A 0.346 10.030 0.684 0.000 0.082 1.118 0.000 0.276 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

150 149 78 121 0 75 90 0 82 0

N.S.

1 0.99 0.52 0.81 0.00 0.50 0.60 0.00 0.55 0.00

time (sec)

N/A 0.378 10.043 1.586 0.000 0.084 1.428 0.000 0.298 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

181 179 78 145 0 102 94 0 82 0

N.S.

1 0.99 0.43 0.80 0.00 0.56 0.52 0.00 0.45 0.00

time (sec)

N/A 0.445 10.049 3.422 0.000 0.099 1.797 0.000 0.336 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

295 282 91 140 0 139 80 0 108 0

N.S.

1 0.96 0.31 0.47 0.00 0.47 0.27 0.00 0.37 0.00

time (sec)

N/A 0.598 10.086 2.662 0.000 0.109 1.528 0.000 0.228 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

264 252 75 125 0 109 80 0 73 0

N.S.

1 0.95 0.28 0.47 0.00 0.41 0.30 0.00 0.28 0.00

time (sec)

N/A 0.533 10.055 0.882 0.000 0.078 1.454 0.000 0.243 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

254 245 76 123 0 0 82 0 74 0

N.S.

1 0.96 0.30 0.48 0.00 0.00 0.32 0.00 0.29 0.00

time (sec)

N/A 0.533 10.025 0.628 0.000 0.000 1.235 0.000 0.235 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

297 277 78 142 0 112 88 0 82 0

N.S.

1 0.93 0.26 0.48 0.00 0.38 0.30 0.00 0.28 0.00

time (sec)

N/A 0.594 10.029 1.051 0.000 0.079 1.252 0.000 0.269 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

176 176 102 195 0 127 80 0 253 0

N.S.

1 1.00 0.58 1.11 0.00 0.72 0.45 0.00 1.44 0.00

time (sec)

N/A 0.451 10.077 4.790 0.000 0.098 11.363 0.000 0.310 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

145 147 78 135 0 110 80 0 212 0

N.S.

1 1.01 0.54 0.93 0.00 0.76 0.55 0.00 1.46 0.00

time (sec)

N/A 0.396 10.079 2.183 0.000 0.090 5.064 0.000 0.253 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

126 126 71 123 0 93 78 0 174 0

N.S.

1 1.00 0.56 0.98 0.00 0.74 0.62 0.00 1.38 0.00

time (sec)

N/A 0.358 0.026 0.594 0.000 0.088 3.198 0.000 0.285 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

148 147 86 137 0 115 82 0 203 0

N.S.

1 0.99 0.58 0.93 0.00 0.78 0.55 0.00 1.37 0.00

time (sec)

N/A 0.384 10.069 1.762 0.000 0.087 7.113 0.000 0.299 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

180 178 72 173 0 132 90 0 203 0

N.S.

1 0.99 0.40 0.96 0.00 0.73 0.50 0.00 1.13 0.00

time (sec)

N/A 0.450 10.035 2.956 0.000 0.106 14.626 0.000 0.376 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

324 311 104 226 0 220 80 0 269 0

N.S.

1 0.96 0.32 0.70 0.00 0.68 0.25 0.00 0.83 0.00

time (sec)

N/A 0.657 10.072 6.844 0.000 0.091 19.072 0.000 0.362 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

293 281 79 166 0 185 80 0 228 0

N.S.

1 0.96 0.27 0.57 0.00 0.63 0.27 0.00 0.78 0.00

time (sec)

N/A 0.591 10.068 3.319 0.000 0.097 7.445 0.000 0.282 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

274 264 71 152 0 166 80 0 189 0

N.S.

1 0.96 0.26 0.55 0.00 0.61 0.29 0.00 0.69 0.00

time (sec)

N/A 0.557 10.048 0.902 0.000 0.094 4.159 0.000 0.270 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

295 277 71 165 0 167 82 0 199 0

N.S.

1 0.94 0.24 0.56 0.00 0.57 0.28 0.00 0.67 0.00

time (sec)

N/A 0.592 10.025 1.808 0.000 0.095 6.647 0.000 0.281 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

327 306 72 202 0 190 88 0 203 0

N.S.

1 0.94 0.22 0.62 0.00 0.58 0.27 0.00 0.62 0.00

time (sec)

N/A 0.657 10.039 2.475 0.000 0.124 11.494 0.000 0.330 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

207 205 132 250 0 186 80 0 456 0

N.S.

1 0.99 0.64 1.21 0.00 0.90 0.39 0.00 2.20 0.00

time (sec)

N/A 0.495 10.105 8.050 0.000 0.097 98.956 0.000 0.408 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

173 172 106 186 0 165 80 0 415 0

N.S.

1 0.99 0.61 1.08 0.00 0.95 0.46 0.00 2.40 0.00

time (sec)

N/A 0.439 10.097 4.592 0.000 0.095 38.871 0.000 0.379 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

154 159 100 159 0 152 80 0 374 0

N.S.

1 1.03 0.65 1.03 0.00 0.99 0.52 0.00 2.43 0.00

time (sec)

N/A 0.399 10.076 1.510 0.000 0.095 24.503 0.000 0.329 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

157 157 101 153 0 154 78 0 340 0

N.S.

1 1.00 0.64 0.97 0.00 0.98 0.50 0.00 2.17 0.00

time (sec)

N/A 0.394 10.039 0.592 0.000 0.098 18.734 0.000 0.309 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

176 172 114 176 0 176 82 0 374 0

N.S.

1 0.98 0.65 1.00 0.00 1.00 0.47 0.00 2.12 0.00

time (sec)

N/A 0.407 10.059 3.319 0.000 0.092 46.260 0.000 0.405 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

210 207 81 212 0 191 90 0 374 0

N.S.

1 0.99 0.39 1.01 0.00 0.91 0.43 0.00 1.78 0.00

time (sec)

N/A 0.491 10.047 4.134 0.000 0.090 93.775 0.000 0.556 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

323 310 109 219 0 268 80 0 438 0

N.S.

1 0.96 0.34 0.68 0.00 0.83 0.25 0.00 1.36 0.00

time (sec)

N/A 0.656 10.154 6.849 0.000 0.107 59.404 0.000 0.360 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

303 293 92 190 0 247 80 0 398 0

N.S.

1 0.97 0.30 0.63 0.00 0.82 0.26 0.00 1.31 0.00

time (sec)

N/A 0.620 10.075 1.867 0.000 0.116 31.384 0.000 0.331 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

302 292 79 175 0 224 80 0 362 0

N.S.

1 0.97 0.26 0.58 0.00 0.74 0.26 0.00 1.20 0.00

time (sec)

N/A 0.603 10.066 0.905 0.000 0.089 19.377 0.000 0.367 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

325 306 80 204 0 252 82 0 370 0

N.S.

1 0.94 0.25 0.63 0.00 0.78 0.25 0.00 1.14 0.00

time (sec)

N/A 0.649 10.041 3.327 0.000 0.091 30.985 0.000 0.369 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

357 335 81 243 0 273 88 0 374 0

N.S.

1 0.94 0.23 0.68 0.00 0.76 0.25 0.00 1.05 0.00

time (sec)

N/A 0.699 10.042 3.790 0.000 0.086 78.137 0.000 0.430 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

238 234 156 289 0 245 0 0 703 0

N.S.

1 0.98 0.66 1.21 0.00 1.03 0.00 0.00 2.95 0.00

time (sec)

N/A 0.548 10.141 10.131 0.000 0.101 0.000 0.000 0.516 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

205 205 131 224 0 229 80 0 663 0

N.S.

1 1.00 0.64 1.09 0.00 1.12 0.39 0.00 3.23 0.00

time (sec)

N/A 0.484 10.121 6.960 0.000 0.094 175.224 0.000 0.524 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

183 188 128 195 0 211 80 0 623 0

N.S.

1 1.03 0.70 1.07 0.00 1.15 0.44 0.00 3.40 0.00

time (sec)

N/A 0.484 10.099 2.944 0.000 0.111 127.996 0.000 0.466 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

182 185 125 186 0 207 80 0 583 0

N.S.

1 1.02 0.69 1.02 0.00 1.14 0.44 0.00 3.20 0.00

time (sec)

N/A 0.451 10.103 1.518 0.000 0.109 141.575 0.000 0.458 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

187 184 110 190 0 214 78 0 547 0

N.S.

1 0.98 0.59 1.02 0.00 1.14 0.42 0.00 2.93 0.00

time (sec)

N/A 0.435 10.080 0.590 0.000 0.091 79.773 0.000 0.453 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

204 201 113 214 0 235 82 0 589 0

N.S.

1 0.99 0.55 1.05 0.00 1.15 0.40 0.00 2.89 0.00

time (sec)

N/A 0.467 10.066 3.252 0.000 0.107 164.254 0.000 0.534 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

240 236 83 250 0 250 0 0 589 0

N.S.

1 0.98 0.35 1.04 0.00 1.04 0.00 0.00 2.45 0.00

time (sec)

N/A 0.545 10.079 4.345 0.000 0.097 0.000 0.000 0.767 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

384 369 155 324 0 386 0 0 731 0

N.S.

1 0.96 0.40 0.84 0.00 1.01 0.00 0.00 1.90 0.00

time (sec)

N/A 0.750 10.150 10.991 0.000 0.096 0.000 0.000 0.579 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

350 335 131 259 0 340 0 0 691 0

N.S.

1 0.96 0.37 0.74 0.00 0.97 0.00 0.00 1.97 0.00

time (sec)

N/A 0.703 10.122 8.105 0.000 0.101 0.000 0.000 0.543 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

334 322 114 228 0 327 80 0 651 0

N.S.

1 0.96 0.34 0.68 0.00 0.98 0.24 0.00 1.95 0.00

time (sec)

N/A 0.690 10.140 3.618 0.000 0.096 173.565 0.000 0.475 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

340 323 98 216 0 322 80 0 611 0

N.S.

1 0.95 0.29 0.64 0.00 0.95 0.24 0.00 1.80 0.00

time (sec)

N/A 0.673 10.106 1.980 0.000 0.084 114.290 0.000 0.464 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

343 323 123 219 0 322 80 0 575 0

N.S.

1 0.94 0.36 0.64 0.00 0.94 0.23 0.00 1.68 0.00

time (sec)

N/A 0.675 10.067 0.941 0.000 0.093 81.278 0.000 0.430 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

355 335 84 246 0 335 82 0 585 0

N.S.

1 0.94 0.24 0.69 0.00 0.94 0.23 0.00 1.65 0.00

time (sec)

N/A 0.699 10.050 3.326 0.000 0.089 112.655 0.000 0.476 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

387 362 83 283 0 356 0 0 589 0

N.S.

1 0.94 0.21 0.73 0.00 0.92 0.00 0.00 1.52 0.00

time (sec)

N/A 0.745 10.054 3.992 0.000 0.094 0.000 0.000 0.687 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

103 107 80 68 118 76 172 107 35 79

N.S.

1 1.04 0.78 0.66 1.15 0.74 1.67 1.04 0.34 0.77

time (sec)

N/A 0.413 0.068 0.079 0.028 0.074 0.968 0.119 0.285 3.732

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

73 77 56 49 84 52 121 79 35 57

N.S.

1 1.05 0.77 0.67 1.15 0.71 1.66 1.08 0.48 0.78

time (sec)

N/A 0.368 0.052 0.060 0.039 0.076 0.545 0.122 0.248 3.517

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

46 50 34 31 49 30 71 47 35 35

N.S.

1 1.09 0.74 0.67 1.07 0.65 1.54 1.02 0.76 0.76

time (sec)

N/A 0.324 0.036 0.057 0.036 0.076 0.378 0.118 0.237 3.497

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

76 82 76 79 75 173 63 196 35 56

N.S.

1 1.08 1.00 1.04 0.99 2.28 0.83 2.58 0.46 0.74

time (sec)

N/A 0.350 0.092 0.141 0.122 0.083 15.791 0.126 0.264 4.060

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

93 92 94 85 154 707 80 253 35 101

N.S.

1 0.99 1.01 0.91 1.66 7.60 0.86 2.72 0.38 1.09

time (sec)

N/A 0.374 0.192 0.093 0.111 0.130 19.522 0.133 0.278 4.454

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

127 124 105 113 265 809 80 0 35 0

N.S.

1 0.98 0.83 0.89 2.09 6.37 0.63 0.00 0.28 0.00

time (sec)

N/A 0.404 0.639 0.224 0.123 0.101 7.336 0.000 0.267 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

95 94 88 143 181 716 78 0 31 0

N.S.

1 0.99 0.93 1.51 1.91 7.54 0.82 0.00 0.33 0.00

time (sec)

N/A 0.343 0.016 0.098 0.115 0.103 3.751 0.000 0.232 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

81 82 81 93 89 0 71 0 31 57

N.S.

1 1.01 1.00 1.15 1.10 0.00 0.88 0.00 0.38 0.70

time (sec)

N/A 0.324 0.293 0.089 0.119 0.000 3.051 0.000 0.239 3.911

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

53 53 40 36 55 35 107 0 35 36

N.S.

1 1.00 0.75 0.68 1.04 0.66 2.02 0.00 0.66 0.68

time (sec)

N/A 0.308 0.246 0.093 0.029 0.095 3.201 0.000 0.201 3.725

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

84 83 62 55 90 58 490 0 35 58

N.S.

1 0.99 0.74 0.65 1.07 0.69 5.83 0.00 0.42 0.69

time (sec)

N/A 0.368 0.334 0.128 0.044 0.086 4.930 0.000 0.215 4.009

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

117 113 86 74 124 82 1120 0 35 105

N.S.

1 0.97 0.74 0.63 1.06 0.70 9.57 0.00 0.30 0.90

time (sec)

N/A 0.392 0.429 0.176 0.043 0.096 6.684 0.000 0.251 4.070

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

154 149 93 0 0 0 80 0 35 0

N.S.

1 0.97 0.60 0.00 0.00 0.00 0.52 0.00 0.23 0.00

time (sec)

N/A 0.522 10.066 0.000 0.000 0.000 3.781 0.000 0.225 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

123 119 74 0 0 0 80 0 35 0

N.S.

1 0.97 0.60 0.00 0.00 0.00 0.65 0.00 0.28 0.00

time (sec)

N/A 0.453 10.075 0.000 0.000 0.000 3.438 0.000 0.256 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

119 113 77 0 0 0 82 0 35 0

N.S.

1 0.95 0.65 0.00 0.00 0.00 0.69 0.00 0.29 0.00

time (sec)

N/A 0.461 10.035 0.000 0.000 0.000 2.807 0.000 0.225 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

123 114 78 0 0 0 71 0 35 0

N.S.

1 0.93 0.63 0.00 0.00 0.00 0.58 0.00 0.28 0.00

time (sec)

N/A 0.458 10.034 0.000 0.000 0.000 2.615 0.000 0.231 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

153 147 92 0 0 0 60 0 35 0

N.S.

1 0.96 0.60 0.00 0.00 0.00 0.39 0.00 0.23 0.00

time (sec)

N/A 0.420 10.072 0.000 0.000 0.000 4.299 0.000 0.234 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

122 117 75 0 0 0 60 0 33 0

N.S.

1 0.96 0.61 0.00 0.00 0.00 0.49 0.00 0.27 0.00

time (sec)

N/A 0.382 10.049 0.000 0.000 0.000 3.675 0.000 0.246 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

120 116 77 0 0 0 61 0 33 0

N.S.

1 0.97 0.64 0.00 0.00 0.00 0.51 0.00 0.28 0.00

time (sec)

N/A 0.381 10.029 0.000 0.000 0.000 3.264 0.000 0.294 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

150 144 78 0 0 0 66 0 35 0

N.S.

1 0.96 0.52 0.00 0.00 0.00 0.44 0.00 0.23 0.00

time (sec)

N/A 0.412 10.039 0.000 0.000 0.000 4.187 0.000 0.296 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

100 105 80 68 118 76 172 100 35 79

N.S.

1 1.05 0.80 0.68 1.18 0.76 1.72 1.00 0.35 0.79

time (sec)

N/A 0.412 0.065 0.121 0.036 0.075 1.964 0.124 0.230 3.195

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

71 75 56 49 83 51 121 70 35 57

N.S.

1 1.06 0.79 0.69 1.17 0.72 1.70 0.99 0.49 0.80

time (sec)

N/A 0.364 0.051 0.105 0.029 0.094 0.947 0.125 0.215 3.045

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

43 48 33 31 47 29 70 37 34 35

N.S.

1 1.12 0.77 0.72 1.09 0.67 1.63 0.86 0.79 0.81

time (sec)

N/A 0.329 0.034 0.088 0.027 0.091 0.633 0.112 0.213 3.176

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

73 85 73 79 75 164 63 195 34 55

N.S.

1 1.16 1.00 1.08 1.03 2.25 0.86 2.67 0.47 0.75

time (sec)

N/A 0.341 0.095 0.112 0.115 0.093 29.880 0.129 0.232 3.460

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

95 99 95 104 158 607 82 257 35 101

N.S.

1 1.04 1.00 1.09 1.66 6.39 0.86 2.71 0.37 1.06

time (sec)

N/A 0.364 0.173 0.227 0.109 0.125 38.212 0.132 0.267 3.839

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

97 96 90 98 185 614 80 0 35 0

N.S.

1 0.99 0.93 1.01 1.91 6.33 0.82 0.00 0.36 0.00

time (sec)

N/A 0.369 0.522 0.237 0.126 0.097 4.580 0.000 0.248 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

79 80 79 89 90 0 73 0 35 0

N.S.

1 1.01 1.00 1.13 1.14 0.00 0.92 0.00 0.44 0.00

time (sec)

N/A 0.343 0.376 0.184 0.111 0.000 2.199 0.000 0.213 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

53 53 40 36 55 35 105 0 35 35

N.S.

1 1.00 0.75 0.68 1.04 0.66 1.98 0.00 0.66 0.66

time (sec)

N/A 0.304 0.357 0.155 0.029 0.100 2.951 0.000 0.206 3.241

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

84 83 62 55 90 58 488 0 35 58

N.S.

1 0.99 0.74 0.65 1.07 0.69 5.81 0.00 0.42 0.69

time (sec)

N/A 0.367 0.503 0.210 0.027 0.081 4.141 0.000 0.253 3.400

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

117 113 86 74 124 82 1120 0 35 105

N.S.

1 0.97 0.74 0.63 1.06 0.70 9.57 0.00 0.30 0.90

time (sec)

N/A 0.408 0.587 0.286 0.029 0.092 6.262 0.000 0.221 3.587

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

122 121 91 0 0 0 60 0 35 0

N.S.

1 0.99 0.75 0.00 0.00 0.00 0.49 0.00 0.29 0.00

time (sec)

N/A 0.383 10.074 0.000 0.000 0.000 3.875 0.000 0.217 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

92 92 75 0 0 0 60 0 33 0

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.65 0.00 0.36 0.00

time (sec)

N/A 0.340 10.046 0.000 0.000 0.000 3.792 0.000 0.211 0.000

[next] [front] [up]