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

Integrals 101 to 151

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

verified

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

size

11 11 11 12 22 22 19 11 22 11

N.S.

1 1.00 1.00 1.09 2.00 2.00 1.73 1.00 2.00 1.00

time (sec)

N/A 0.139 0.006 0.641 0.030 0.065 0.128 0.120 0.158 0.045

Problem 102

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

13 13 13 12 11 41 58 44 39 11

N.S.

1 1.00 1.00 0.92 0.85 3.15 4.46 3.38 3.00 0.85

time (sec)

N/A 0.138 0.071 0.528 0.045 0.076 0.406 0.133 0.167 0.396

Problem 103

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

13 13 13 12 11 30 44 31 28 11

N.S.

1 1.00 1.00 0.92 0.85 2.31 3.38 2.38 2.15 0.85

time (sec)

N/A 0.138 0.057 0.490 0.030 0.079 0.330 0.132 0.160 0.366

Problem 104

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

13 13 13 12 11 19 34 11 17 11

N.S.

1 1.00 1.00 0.92 0.85 1.46 2.62 0.85 1.31 0.85

time (sec)

N/A 0.138 0.042 0.518 0.043 0.071 0.254 0.118 0.174 0.350

Problem 105

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

13 13 13 12 11 11 27 11 10 11

N.S.

1 1.00 1.00 0.92 0.85 0.85 2.08 0.85 0.77 0.85

time (sec)

N/A 0.137 0.026 0.519 0.030 0.067 0.235 0.129 0.169 0.426

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

13 47 13 12 11 31 146 11 68 11

N.S.

1 3.62 1.00 0.92 0.85 2.38 11.23 0.85 5.23 0.85

time (sec)

N/A 0.154 0.057 0.509 0.028 0.070 3.830 0.136 0.163 0.423

Problem 107

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

13 13 13 12 11 42 568 11 41 11

N.S.

1 1.00 1.00 0.92 0.85 3.23 43.69 0.85 3.15 0.85

time (sec)

N/A 0.134 0.067 0.520 0.043 0.078 9.906 0.135 0.164 0.445

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 85 90 0 0 0 53 0 301 0

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.62 0.00 3.54 0.00

time (sec)

N/A 0.198 0.072 0.000 0.000 0.000 4.277 0.000 0.156 0.000

Problem 109

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

103 103 104 102 102 102 112 111 84 101

N.S.

1 1.00 1.01 0.99 0.99 0.99 1.09 1.08 0.82 0.98

time (sec)

N/A 0.282 0.019 0.477 0.032 0.064 0.026 0.122 0.160 0.052

Problem 110

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 73 70 69 69 78 76 61 70

N.S.

1 1.00 1.00 0.96 0.95 0.95 1.07 1.04 0.84 0.96

time (sec)

N/A 0.239 0.010 0.500 0.043 0.061 0.024 0.119 0.156 0.335

Problem 111

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 37 36 36 39 40 38 38

N.S.

1 1.00 1.00 0.88 0.86 0.86 0.93 0.95 0.90 0.90

time (sec)

N/A 0.192 0.005 0.132 0.027 0.058 0.018 0.111 0.152 0.048

Problem 112

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

66 66 65 57 58 159 117 62 46 57

N.S.

1 1.00 0.98 0.86 0.88 2.41 1.77 0.94 0.70 0.86

time (sec)

N/A 0.214 0.040 0.522 0.107 0.075 0.224 0.127 0.158 0.378

Problem 113

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

83 97 88 79 84 268 153 83 128 77

N.S.

1 1.17 1.06 0.95 1.01 3.23 1.84 1.00 1.54 0.93

time (sec)

N/A 0.250 0.038 0.503 0.112 0.076 0.407 0.120 0.154 0.411

Problem 114

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

115 122 109 107 121 391 196 109 214 111

N.S.

1 1.06 0.95 0.93 1.05 3.40 1.70 0.95 1.86 0.97

time (sec)

N/A 0.277 0.077 0.496 0.118 0.084 0.716 0.118 0.155 0.445

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

175 153 140 124 207 304 274 155 183 0

N.S.

1 0.87 0.80 0.71 1.18 1.74 1.57 0.89 1.05 0.00

time (sec)

N/A 0.259 0.229 0.557 0.036 0.104 0.425 0.133 0.161 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

134 131 112 96 153 232 153 113 144 0

N.S.

1 0.98 0.84 0.72 1.14 1.73 1.14 0.84 1.07 0.00

time (sec)

N/A 0.253 0.170 0.546 0.035 0.091 0.382 0.126 0.156 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

98 106 92 72 100 174 114 81 105 0

N.S.

1 1.08 0.94 0.73 1.02 1.78 1.16 0.83 1.07 0.00

time (sec)

N/A 0.225 0.292 0.538 0.038 0.090 0.317 0.131 0.160 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

90 96 87 83 97 249 134 82 176 0

N.S.

1 1.07 0.97 0.92 1.08 2.77 1.49 0.91 1.96 0.00

time (sec)

N/A 0.229 0.161 0.572 0.029 0.089 3.780 0.133 0.153 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

101 108 95 97 135 289 450 93 214 0

N.S.

1 1.07 0.94 0.96 1.34 2.86 4.46 0.92 2.12 0.00

time (sec)

N/A 0.257 0.173 0.596 0.038 0.092 6.185 0.130 0.150 0.000

Problem 120

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

115 99 65 58 173 93 639 81 198 133

N.S.

1 0.86 0.57 0.50 1.50 0.81 5.56 0.70 1.72 1.16

time (sec)

N/A 0.296 0.153 0.515 0.037 0.084 14.884 0.140 0.151 0.552

Problem 121

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

155 129 93 83 227 136 1989 123 275 154

N.S.

1 0.83 0.60 0.54 1.46 0.88 12.83 0.79 1.77 0.99

time (sec)

N/A 0.321 0.217 0.522 0.041 0.100 38.413 0.136 0.154 0.554

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

353 351 98 0 0 0 92 0 126 0

N.S.

1 0.99 0.28 0.00 0.00 0.00 0.26 0.00 0.36 0.00

time (sec)

N/A 0.362 5.628 0.000 0.000 0.000 1.286 0.000 0.239 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

317 326 98 0 0 0 87 0 48 0

N.S.

1 1.03 0.31 0.00 0.00 0.00 0.27 0.00 0.15 0.00

time (sec)

N/A 0.342 10.072 0.000 0.000 0.000 1.170 0.000 0.186 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

676 677 98 0 0 0 92 0 126 0

N.S.

1 1.00 0.14 0.00 0.00 0.00 0.14 0.00 0.19 0.00

time (sec)

N/A 0.563 6.691 0.000 0.000 0.000 1.311 0.000 0.256 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

638 652 98 0 0 0 87 0 48 0

N.S.

1 1.02 0.15 0.00 0.00 0.00 0.14 0.00 0.08 0.00

time (sec)

N/A 0.565 10.072 0.000 0.000 0.000 1.154 0.000 0.214 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

165 156 101 0 0 0 82 0 990 0

N.S.

1 0.95 0.61 0.00 0.00 0.00 0.50 0.00 6.00 0.00

time (sec)

N/A 0.300 0.097 0.000 0.000 0.000 9.113 0.000 0.153 0.000

Problem 127

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

136 136 136 133 132 132 148 149 122 149

N.S.

1 1.00 1.00 0.98 0.97 0.97 1.09 1.10 0.90 1.10

time (sec)

N/A 0.365 0.025 0.505 0.035 0.063 0.028 0.120 0.152 0.728

Problem 128

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

96 96 96 91 90 90 104 102 87 106

N.S.

1 1.00 1.00 0.95 0.94 0.94 1.08 1.06 0.91 1.10

time (sec)

N/A 0.297 0.013 0.484 0.035 0.061 0.024 0.121 0.149 0.604

Problem 129

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 49 48 48 53 54 52 54

N.S.

1 1.00 1.00 0.88 0.86 0.86 0.95 0.96 0.93 0.96

time (sec)

N/A 0.230 0.006 0.089 0.025 0.064 0.019 0.119 0.152 0.641

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

100 100 98 94 95 236 160 104 99 0

N.S.

1 1.00 0.98 0.94 0.95 2.36 1.60 1.04 0.99 0.00

time (sec)

N/A 0.262 0.069 0.477 0.111 0.077 0.338 0.123 0.150 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

118 126 122 112 118 364 201 123 211 0

N.S.

1 1.07 1.03 0.95 1.00 3.08 1.70 1.04 1.79 0.00

time (sec)

N/A 0.357 0.069 0.530 0.110 0.077 0.739 0.122 0.157 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

147 160 141 137 155 511 243 147 327 0

N.S.

1 1.09 0.96 0.93 1.05 3.48 1.65 1.00 2.22 0.00

time (sec)

N/A 0.388 0.083 0.476 0.112 0.083 3.155 0.123 0.149 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

241 209 185 170 319 413 396 216 304 0

N.S.

1 0.87 0.77 0.71 1.32 1.71 1.64 0.90 1.26 0.00

time (sec)

N/A 0.359 0.341 0.593 0.038 0.143 0.523 0.145 0.171 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

191 187 153 135 246 327 216 167 245 0

N.S.

1 0.98 0.80 0.71 1.29 1.71 1.13 0.87 1.28 0.00

time (sec)

N/A 0.329 0.246 0.582 0.035 0.112 0.454 0.138 0.175 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

146 162 129 107 174 249 155 126 186 0

N.S.

1 1.11 0.88 0.73 1.19 1.71 1.06 0.86 1.27 0.00

time (sec)

N/A 0.326 0.382 0.559 0.033 0.096 0.408 0.132 0.155 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

137 149 120 114 171 352 238 134 313 0

N.S.

1 1.09 0.88 0.83 1.25 2.57 1.74 0.98 2.28 0.00

time (sec)

N/A 0.358 0.273 0.610 0.046 0.098 7.611 0.136 0.162 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

149 154 128 128 227 415 821 133 398 0

N.S.

1 1.03 0.86 0.86 1.52 2.79 5.51 0.89 2.67 0.00

time (sec)

N/A 0.368 0.273 0.647 0.037 0.103 10.275 0.141 0.159 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

167 180 132 134 317 419 1690 145 429 0

N.S.

1 1.08 0.79 0.80 1.90 2.51 10.12 0.87 2.57 0.00

time (sec)

N/A 0.403 0.526 0.747 0.046 0.119 21.648 0.137 0.164 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

190 183 98 89 335 141 2088 131 360 0

N.S.

1 0.96 0.52 0.47 1.76 0.74 10.99 0.69 1.89 0.00

time (sec)

N/A 0.518 0.432 0.529 0.036 0.117 53.227 0.141 0.164 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

238 212 131 120 408 192 5440 181 471 0

N.S.

1 0.89 0.55 0.50 1.71 0.81 22.86 0.76 1.98 0.00

time (sec)

N/A 0.519 0.493 0.528 0.037 0.159 120.466 0.137 0.194 0.000

Problem 141

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

268 237 132 0 0 0 124 0 219 0

N.S.

1 0.88 0.49 0.00 0.00 0.00 0.46 0.00 0.82 0.00

time (sec)

N/A 0.382 8.668 0.000 0.000 0.000 2.085 0.000 0.245 0.000

Problem 142

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

220 216 133 0 0 0 124 0 219 0

N.S.

1 0.98 0.60 0.00 0.00 0.00 0.56 0.00 1.00 0.00

time (sec)

N/A 0.361 7.482 0.000 0.000 0.000 1.710 0.000 0.240 0.000

Problem 143

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

221 214 132 0 0 0 117 0 65 0

N.S.

1 0.97 0.60 0.00 0.00 0.00 0.53 0.00 0.29 0.00

time (sec)

N/A 0.357 10.106 0.000 0.000 0.000 1.554 0.000 0.194 0.000

Problem 144

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

176 192 132 0 0 0 117 0 65 0

N.S.

1 1.09 0.75 0.00 0.00 0.00 0.66 0.00 0.37 0.00

time (sec)

N/A 0.345 10.115 0.000 0.000 0.000 1.537 0.000 0.199 0.000

Problem 145

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

173 216 135 0 0 0 117 0 141 0

N.S.

1 1.25 0.78 0.00 0.00 0.00 0.68 0.00 0.82 0.00

time (sec)

N/A 0.456 10.110 0.000 0.000 0.000 3.317 0.000 0.201 0.000

Problem 146

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

179 193 137 0 0 0 117 0 141 0

N.S.

1 1.08 0.77 0.00 0.00 0.00 0.65 0.00 0.79 0.00

time (sec)

N/A 0.432 10.109 0.000 0.000 0.000 3.733 0.000 0.210 0.000

Problem 147

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

177 230 161 0 0 0 117 0 221 0

N.S.

1 1.30 0.91 0.00 0.00 0.00 0.66 0.00 1.25 0.00

time (sec)

N/A 0.483 10.136 0.000 0.000 0.000 7.729 0.000 0.201 0.000

Problem 148

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

198 212 161 0 0 0 117 0 221 0

N.S.

1 1.07 0.81 0.00 0.00 0.00 0.59 0.00 1.12 0.00

time (sec)

N/A 0.453 10.127 0.000 0.000 0.000 12.953 0.000 0.205 0.000

Problem 149

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

196 264 193 0 0 0 117 0 301 0

N.S.

1 1.35 0.98 0.00 0.00 0.00 0.60 0.00 1.54 0.00

time (sec)

N/A 0.514 10.163 0.000 0.000 0.000 19.540 0.000 0.215 0.000

Problem 150

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

227 242 193 0 0 0 117 0 301 0

N.S.

1 1.07 0.85 0.00 0.00 0.00 0.52 0.00 1.33 0.00

time (sec)

N/A 0.494 10.190 0.000 0.000 0.000 37.915 0.000 0.217 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

262 251 126 0 0 0 110 0 0 0

N.S.

1 0.96 0.48 0.00 0.00 0.00 0.42 0.00 0.00 0.00

time (sec)

N/A 0.444 0.274 0.000 0.000 0.000 18.438 0.000 0.178 0.000

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