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

Integrals 101 to 173

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

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

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

71 157 138 0 0 0 0 0 223 0

N.S.

1 2.21 1.94 0.00 0.00 0.00 0.00 0.00 3.14 0.00

time (sec)

N/A 0.381 0.178 0.000 0.000 0.000 0.000 0.000 0.167 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 96 459 0 0 0 0 0 775 0

N.S.

1 1.13 5.40 0.00 0.00 0.00 0.00 0.00 9.12 0.00

time (sec)

N/A 0.233 0.153 0.000 0.000 0.000 0.000 0.000 0.223 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 157 137 0 0 0 0 0 225 0

N.S.

1 2.04 1.78 0.00 0.00 0.00 0.00 0.00 2.92 0.00

time (sec)

N/A 0.361 0.161 0.000 0.000 0.000 0.000 0.000 0.174 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

92 117 458 0 0 0 0 0 776 0

N.S.

1 1.27 4.98 0.00 0.00 0.00 0.00 0.00 8.43 0.00

time (sec)

N/A 0.242 0.125 0.000 0.000 0.000 0.000 0.000 0.227 0.000

Problem 105

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 230 259 273 386 274 299 290 292 242

N.S.

1 1.00 1.13 1.19 1.68 1.19 1.30 1.26 1.27 1.05

time (sec)

N/A 0.478 0.069 0.076 0.038 0.064 0.052 0.139 0.170 12.532

Problem 106

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

138 138 158 168 211 166 182 173 176 142

N.S.

1 1.00 1.14 1.22 1.53 1.20 1.32 1.25 1.28 1.03

time (sec)

N/A 0.333 0.029 0.067 0.037 0.057 0.038 0.123 0.160 12.051

Problem 107

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 84 84 95 83 88 85 88 76

N.S.

1 1.00 1.22 1.22 1.38 1.20 1.28 1.23 1.28 1.10

time (sec)

N/A 0.239 0.023 0.054 0.035 0.060 0.027 0.127 0.186 0.022

Problem 108

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 27 28 27

N.S.

1 1.00 1.00 0.85 0.82 0.82 0.88 0.82 0.85 0.82

time (sec)

N/A 0.164 0.000 0.082 0.027 0.059 0.030 0.130 0.171 0.025

Problem 109

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

72 72 58 55 61 137 947 71 59 205

N.S.

1 1.00 0.81 0.76 0.85 1.90 13.15 0.99 0.82 2.85

time (sec)

N/A 0.242 0.051 0.100 0.115 0.085 6.901 0.125 0.168 12.005

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

164 187 131 147 313 990 0 251 753 700

N.S.

1 1.14 0.80 0.90 1.91 6.04 0.00 1.53 4.59 4.27

time (sec)

N/A 0.374 0.172 0.297 0.121 0.227 0.000 0.139 0.178 12.308

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

309 375 255 325 898 3130 0 594 2372 1484

N.S.

1 1.21 0.83 1.05 2.91 10.13 0.00 1.92 7.68 4.80

time (sec)

N/A 0.677 0.353 0.451 0.134 1.683 0.000 0.131 0.189 12.642

Problem 112

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 20 19 19 19 20 19 25

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.76 0.80 0.76 1.00

time (sec)

N/A 0.177 0.015 0.081 0.116 0.116 0.068 0.115 0.168 0.030

Problem 113

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 26 25 25 24 26 25 25

N.S.

1 1.00 1.00 0.84 0.81 0.81 0.77 0.84 0.81 0.81

time (sec)

N/A 0.191 0.010 0.087 0.110 0.067 0.084 0.133 0.173 12.169

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

451 399 232 341 0 59 0 0 180 544

N.S.

1 0.88 0.51 0.76 0.00 0.13 0.00 0.00 0.40 1.21

time (sec)

N/A 0.528 8.965 0.533 0.000 0.094 0.000 0.000 0.187 0.138

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

324 360 217 326 0 44 0 0 117 439

N.S.

1 1.11 0.67 1.01 0.00 0.14 0.00 0.00 0.36 1.35

time (sec)

N/A 0.456 6.953 0.388 0.000 0.069 0.000 0.000 0.195 0.028

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

103 143 136 124 0 8 0 0 36 124

N.S.

1 1.39 1.32 1.20 0.00 0.08 0.00 0.00 0.35 1.20

time (sec)

N/A 0.240 10.097 0.277 0.000 0.065 0.000 0.000 0.231 12.344

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

360 363 224 331 0 98 0 0 51 636

N.S.

1 1.01 0.62 0.92 0.00 0.27 0.00 0.00 0.14 1.77

time (sec)

N/A 0.463 7.622 0.401 0.000 0.067 0.000 0.000 0.218 0.128

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

447 426 225 346 0 158 0 0 66 0

N.S.

1 0.95 0.50 0.77 0.00 0.35 0.00 0.00 0.15 0.00

time (sec)

N/A 0.547 9.474 0.398 0.000 0.072 0.000 0.000 0.172 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

158 176 152 0 0 0 0 0 754 0

N.S.

1 1.11 0.96 0.00 0.00 0.00 0.00 0.00 4.77 0.00

time (sec)

N/A 0.380 0.172 0.000 0.000 0.000 0.000 0.000 0.184 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

361 361 653 842 461 727 1018 987 987 787

N.S.

1 1.00 1.81 2.33 1.28 2.01 2.82 2.73 2.73 2.18

time (sec)

N/A 1.020 0.265 0.108 0.041 0.063 0.086 0.115 0.171 0.151

Problem 121

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

193 193 241 188 180 269 345 346 346 270

N.S.

1 1.00 1.25 0.97 0.93 1.39 1.79 1.79 1.79 1.40

time (sec)

N/A 0.526 0.087 0.081 0.029 0.088 0.046 0.114 0.167 13.171

Problem 122

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 76 53 50 52 63 50 59 54

N.S.

1 1.00 1.36 0.95 0.89 0.93 1.12 0.89 1.05 0.96

time (sec)

N/A 0.188 0.000 0.054 0.040 0.057 0.019 0.129 0.169 0.027

Problem 123

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

86 86 80 87 112 112 0 131 125 106

N.S.

1 1.00 0.93 1.01 1.30 1.30 0.00 1.52 1.45 1.23

time (sec)

N/A 0.292 0.057 0.150 0.037 2.650 0.000 0.133 0.164 12.908

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

234 234 232 235 2096 0 0 1435 8516 1940

N.S.

1 1.00 0.99 1.00 8.96 0.00 0.00 6.13 36.39 8.29

time (sec)

N/A 0.629 0.516 0.703 0.142 0.000 0.000 0.136 0.194 17.380

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

495 495 490 514 11005 0 0 7111 42188 82532

N.S.

1 1.00 0.99 1.04 22.23 0.00 0.00 14.37 85.23 166.73

time (sec)

N/A 1.684 1.163 2.490 0.584 0.000 0.000 0.199 0.862 27.756

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

588 0 485 691 0 914 0 0 0 0

N.S.

1 0.00 0.82 1.18 0.00 1.55 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 24.657 0.590 0.000 0.152 0.000 0.000 44.659 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

173 0 137 191 0 233 0 0 71 0

N.S.

1 0.00 0.79 1.10 0.00 1.35 0.00 0.00 0.41 0.00

time (sec)

N/A 0.000 11.353 0.424 0.000 0.161 0.000 0.000 7.946 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

817 0 443 2791 0 3255 0 0 48 0

N.S.

1 0.00 0.54 3.42 0.00 3.98 0.00 0.00 0.06 0.00

time (sec)

N/A 0.000 28.742 0.516 0.000 0.266 0.000 0.000 200.032 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

458 2563 183 186 0 80 0 0 243 338

N.S.

1 5.60 0.40 0.41 0.00 0.17 0.00 0.00 0.53 0.74

time (sec)

N/A 5.349 9.661 0.331 0.000 0.121 0.000 0.000 0.205 0.148

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

337 1952 168 171 0 65 0 0 180 288

N.S.

1 5.79 0.50 0.51 0.00 0.19 0.00 0.00 0.53 0.85

time (sec)

N/A 2.848 8.409 0.230 0.000 0.132 0.000 0.000 0.189 0.026

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

202 1602 153 156 0 50 0 0 117 183

N.S.

1 7.93 0.76 0.77 0.00 0.25 0.00 0.00 0.58 0.91

time (sec)

N/A 2.546 6.690 0.250 0.000 0.110 0.000 0.000 0.192 0.021

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

73 428 76 56 0 11 0 0 36 50

N.S.

1 5.86 1.04 0.77 0.00 0.15 0.00 0.00 0.49 0.68

time (sec)

N/A 1.361 10.053 0.111 0.000 0.106 0.000 0.000 0.183 12.711

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

271 1797 158 161 0 104 0 0 51 212

N.S.

1 6.63 0.58 0.59 0.00 0.38 0.00 0.00 0.19 0.78

time (sec)

N/A 2.977 6.998 0.252 0.000 0.082 0.000 0.000 0.194 12.799

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

397 2489 161 176 0 164 0 0 66 0

N.S.

1 6.27 0.41 0.44 0.00 0.41 0.00 0.00 0.17 0.00

time (sec)

N/A 4.410 9.090 0.250 0.000 0.110 0.000 0.000 0.181 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

123 0 121 0 0 0 0 0 0 0

N.S.

1 0.00 0.98 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.178 0.000 0.000 0.000 0.000 0.000 0.542 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

151 0 121 0 0 0 0 0 0 0

N.S.

1 0.00 0.80 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.014 0.000 0.000 0.000 0.000 0.000 0.660 0.000

Problem 137

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

272 272 372 406 305 367 484 479 481 381

N.S.

1 1.00 1.37 1.49 1.12 1.35 1.78 1.76 1.77 1.40

time (sec)

N/A 0.715 0.150 0.084 0.041 0.084 0.069 0.133 0.172 0.108

Problem 138

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

156 156 153 128 127 146 173 178 180 146

N.S.

1 1.00 0.98 0.82 0.81 0.94 1.11 1.14 1.15 0.94

time (sec)

N/A 0.430 0.054 0.062 0.030 0.090 0.043 0.135 0.162 0.034

Problem 139

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

42 42 50 37 36 36 39 36 39 38

N.S.

1 1.00 1.19 0.88 0.86 0.86 0.93 0.86 0.93 0.90

time (sec)

N/A 0.177 0.000 0.075 0.031 0.091 0.018 0.129 0.174 0.025

Problem 140

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

122 122 105 104 0 305 0 125 182 521

N.S.

1 1.00 0.86 0.85 0.00 2.50 0.00 1.02 1.49 4.27

time (sec)

N/A 0.338 0.103 0.125 0.000 0.329 0.000 0.115 0.166 13.783

Problem 141

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

344 388 339 529 0 5498 0 917 7041 2239

N.S.

1 1.13 0.99 1.54 0.00 15.98 0.00 2.67 20.47 6.51

time (sec)

N/A 0.867 0.639 0.365 0.000 48.381 0.000 0.139 0.203 15.143

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1786 0 23293 10000 0 1776 0 0 34 0

N.S.

1 0.00 13.04 5.60 0.00 0.99 0.00 0.00 0.02 0.00

time (sec)

N/A 0.000 37.051 7.705 0.000 0.155 0.000 0.000 200.038 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

932 0 10867 2818 0 919 0 0 34 0

N.S.

1 0.00 11.66 3.02 0.00 0.99 0.00 0.00 0.04 0.00

time (sec)

N/A 0.000 35.558 3.989 0.000 0.138 0.000 0.000 200.029 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

573 0 695 854 0 494 0 0 34 0

N.S.

1 0.00 1.21 1.49 0.00 0.86 0.00 0.00 0.06 0.00

time (sec)

N/A 0.000 33.405 3.316 0.000 0.120 0.000 0.000 200.026 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

190 0 318 284 0 128 0 0 34 0

N.S.

1 0.00 1.67 1.49 0.00 0.67 0.00 0.00 0.18 0.00

time (sec)

N/A 0.000 11.712 0.301 0.000 0.080 0.000 0.000 200.019 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

695 0 3573 1811 0 1627 0 0 34 0

N.S.

1 0.00 5.14 2.61 0.00 2.34 0.00 0.00 0.05 0.00

time (sec)

N/A 0.000 17.450 0.372 0.000 0.125 0.000 0.000 200.025 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1213 0 11303 3395 0 8140 0 0 494 0

N.S.

1 0.00 9.32 2.80 0.00 6.71 0.00 0.00 0.41 0.00

time (sec)

N/A 0.000 24.370 0.436 0.000 1.285 0.000 0.000 107.177 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

82 99 140 119 0 8 0 0 36 193

N.S.

1 1.21 1.71 1.45 0.00 0.10 0.00 0.00 0.44 2.35

time (sec)

N/A 0.288 10.062 0.329 0.000 0.100 0.000 0.000 0.175 0.141

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

203 0 195 0 0 0 0 0 0 0

N.S.

1 0.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.253 0.000 0.000 0.000 0.000 0.000 0.253 0.000

Problem 150

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 61 49 49 49 56 49 48 49

N.S.

1 1.00 1.00 0.80 0.80 0.80 0.92 0.80 0.79 0.80

time (sec)

N/A 0.214 0.002 0.042 0.029 0.082 0.039 0.112 0.163 0.042

Problem 151

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

44 44 44 34 34 34 39 34 33 34

N.S.

1 1.00 1.00 0.77 0.77 0.77 0.89 0.77 0.75 0.77

time (sec)

N/A 0.196 0.002 0.038 0.032 0.075 0.024 0.125 0.159 0.013

Problem 152

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 19 19 19 20 19 18 19

N.S.

1 1.00 1.00 0.76 0.76 0.76 0.80 0.76 0.72 0.76

time (sec)

N/A 0.156 0.000 0.033 0.038 0.074 0.021 0.129 0.154 0.016

Problem 153

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

163 515 41 37 0 631 29 0 17 52

N.S.

1 3.16 0.25 0.23 0.00 3.87 0.18 0.00 0.10 0.32

time (sec)

N/A 1.600 0.011 0.041 0.000 0.819 0.089 0.000 0.160 0.092

Problem 154

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

382 1162 89 71 0 726 54 0 32 85

N.S.

1 3.04 0.23 0.19 0.00 1.90 0.14 0.00 0.08 0.22

time (sec)

N/A 4.676 0.013 0.056 0.000 0.919 0.153 0.000 0.155 0.080

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

227 718 341 0 0 0 0 0 274 0

N.S.

1 3.16 1.50 0.00 0.00 0.00 0.00 0.00 1.21 0.00

time (sec)

N/A 2.333 0.058 0.000 0.000 0.000 0.000 0.000 0.159 0.000

Problem 156

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 61 49 49 49 56 49 48 49

N.S.

1 1.00 1.00 0.80 0.80 0.80 0.92 0.80 0.79 0.80

time (sec)

N/A 0.212 0.002 0.040 0.036 0.094 0.028 0.130 0.163 0.043

Problem 157

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

42 42 42 34 34 34 37 34 33 34

N.S.

1 1.00 1.00 0.81 0.81 0.81 0.88 0.81 0.79 0.81

time (sec)

N/A 0.190 0.003 0.038 0.030 0.078 0.026 0.120 0.154 0.013

Problem 158

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 19 19 19 20 19 18 19

N.S.

1 1.00 1.00 0.76 0.76 0.76 0.80 0.76 0.72 0.76

time (sec)

N/A 0.156 0.000 0.035 0.044 0.086 0.022 0.126 0.152 0.016

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

355 354 41 37 0 501 5064 0 17 52

N.S.

1 1.00 0.12 0.10 0.00 1.41 14.26 0.00 0.05 0.15

time (sec)

N/A 0.876 0.008 0.042 0.000 0.847 2.984 0.000 0.171 12.335

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

837 816 86 71 0 596 141 0 32 84

N.S.

1 0.97 0.10 0.08 0.00 0.71 0.17 0.00 0.04 0.10

time (sec)

N/A 2.366 0.012 0.054 0.000 0.942 1.404 0.000 0.165 12.195

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

438 462 346 0 0 0 0 0 274 0

N.S.

1 1.05 0.79 0.00 0.00 0.00 0.00 0.00 0.63 0.00

time (sec)

N/A 0.981 0.043 0.000 0.000 0.000 0.000 0.000 0.161 0.000

Problem 162

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

10 10 10 9 8 8 8 8 8 8

N.S.

1 1.00 1.00 0.90 0.80 0.80 0.80 0.80 0.80 0.80

time (sec)

N/A 0.136 0.000 0.029 0.027 0.075 0.019 0.136 0.165 0.021

Problem 163

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 26 28 26 19 30 26 25

N.S.

1 1.00 1.00 0.93 1.00 0.93 0.68 1.07 0.93 0.89

time (sec)

N/A 0.192 0.005 0.163 0.028 0.078 0.111 0.111 0.155 0.038

Problem 164

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

22 26 22 21 20 18 15 24 20 18

N.S.

1 1.18 1.00 0.95 0.91 0.82 0.68 1.09 0.91 0.82

time (sec)

N/A 0.174 0.006 0.168 0.028 0.080 0.128 0.112 0.158 12.106

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

62 63 61 61 0 211 564 62 96 213

N.S.

1 1.02 0.98 0.98 0.00 3.40 9.10 1.00 1.55 3.44

time (sec)

N/A 0.257 0.051 0.104 0.000 0.100 2.424 0.136 0.160 12.594

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

115 111 89 27 98 299 20 112 67 99

N.S.

1 0.97 0.77 0.23 0.85 2.60 0.17 0.97 0.58 0.86

time (sec)

N/A 0.287 0.023 0.177 0.125 0.091 0.078 0.138 0.150 0.131

Problem 167

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

78 136 78 64 0 236 0 46 50 0

N.S.

1 1.74 1.00 0.82 0.00 3.03 0.00 0.59 0.64 0.00

time (sec)

N/A 0.389 0.058 0.375 0.000 0.096 0.000 0.137 0.162 0.000

Problem 168

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

103 161 78 93 0 236 0 46 50 0

N.S.

1 1.56 0.76 0.90 0.00 2.29 0.00 0.45 0.49 0.00

time (sec)

N/A 0.367 0.003 0.301 0.000 0.095 0.000 0.132 0.185 0.000

Problem 169

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

16 16 16 17 17 16 29 16 17 16

N.S.

1 1.00 1.00 1.06 1.06 1.00 1.81 1.00 1.06 1.00

time (sec)

N/A 0.149 0.002 0.042 0.043 0.108 0.300 0.125 0.153 12.296

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

55 55 53 0 0 0 0 0 137 56

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 2.49 1.02

time (sec)

N/A 0.201 0.026 0.000 0.000 0.000 0.000 0.000 0.171 12.121

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

59 59 61 0 0 0 0 0 100 56

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 1.69 0.95

time (sec)

N/A 0.202 0.031 0.000 0.000 0.000 0.000 0.000 0.165 11.860

Problem 172

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

132 132 129 0 0 0 0 0 388 0

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 2.94 0.00

time (sec)

N/A 0.339 0.139 0.000 0.000 0.000 0.000 0.000 0.165 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 44 203 0 0 0 34 0 94 41

N.S.

1 1.26 5.80 0.00 0.00 0.00 0.97 0.00 2.69 1.17

time (sec)

N/A 0.171 0.150 0.000 0.000 0.000 5.356 0.000 0.178 12.009

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