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

Integrals 201 to 270

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 201

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

220 187 153 136 230 313 624 279 271 0

N.S.

1 0.85 0.70 0.62 1.05 1.42 2.84 1.27 1.23 0.00

time (sec)

N/A 0.459 0.784 0.589 0.036 0.106 2.827 0.154 0.178 0.000

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

195 170 136 129 178 318 483 412 241 0

N.S.

1 0.87 0.70 0.66 0.91 1.63 2.48 2.11 1.24 0.00

time (sec)

N/A 0.404 0.902 0.582 0.036 0.104 3.195 0.154 0.184 0.000

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

168 169 145 142 170 318 765 747 228 0

N.S.

1 1.01 0.86 0.85 1.01 1.89 4.55 4.45 1.36 0.00

time (sec)

N/A 0.401 0.812 0.627 0.036 0.114 3.849 0.154 0.185 0.000

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

158 177 163 155 183 352 1593 886 244 0

N.S.

1 1.12 1.03 0.98 1.16 2.23 10.08 5.61 1.54 0.00

time (sec)

N/A 0.429 0.887 0.570 0.035 0.139 4.350 0.158 0.182 0.000

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

141 157 102 92 193 181 2932 996 274 0

N.S.

1 1.11 0.72 0.65 1.37 1.28 20.79 7.06 1.94 0.00

time (sec)

N/A 0.459 0.803 0.617 0.071 0.195 5.266 0.157 0.183 0.000

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

191 187 141 123 275 225 4896 1108 333 0

N.S.

1 0.98 0.74 0.64 1.44 1.18 25.63 5.80 1.74 0.00

time (sec)

N/A 0.499 0.953 0.716 0.037 0.280 6.915 0.154 0.187 0.000

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

243 217 168 153 359 266 7166 1194 392 0

N.S.

1 0.89 0.69 0.63 1.48 1.09 29.49 4.91 1.61 0.00

time (sec)

N/A 0.545 1.007 0.694 0.038 0.440 9.364 0.166 0.202 0.000

Problem 208

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

216 221 158 142 347 177 442 260 159 245

N.S.

1 1.02 0.73 0.66 1.61 0.82 2.05 1.20 0.74 1.13

time (sec)

N/A 0.560 0.209 0.687 0.041 0.087 0.430 0.133 0.157 2.043

Problem 209

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

168 172 122 111 263 135 340 192 124 206

N.S.

1 1.02 0.73 0.66 1.57 0.80 2.02 1.14 0.74 1.23

time (sec)

N/A 0.464 0.147 1.306 0.037 0.084 0.343 0.126 0.163 1.885

Problem 210

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

121 126 92 79 180 94 238 128 89 132

N.S.

1 1.04 0.76 0.65 1.49 0.78 1.97 1.06 0.74 1.09

time (sec)

N/A 0.384 0.118 0.539 0.036 0.084 0.271 0.127 0.167 1.827

Problem 211

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 108 86 82 122 210 134 125 154 96

N.S.

1 1.05 0.83 0.80 1.18 2.04 1.30 1.21 1.50 0.93

time (sec)

N/A 0.397 0.173 0.506 0.038 0.094 4.896 0.116 0.167 1.893

Problem 212

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

size

100 101 88 88 104 214 138 114 139 104

N.S.

1 1.01 0.88 0.88 1.04 2.14 1.38 1.14 1.39 1.04

time (sec)

N/A 0.472 0.298 0.516 0.028 0.091 14.929 0.115 0.169 1.908

Problem 213

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

size

114 145 102 97 128 226 194 141 187 162

N.S.

1 1.27 0.89 0.85 1.12 1.98 1.70 1.24 1.64 1.42

time (sec)

N/A 0.482 0.331 0.516 0.036 0.104 37.967 0.121 0.173 1.991

Problem 214

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

size

147 182 126 116 193 265 303 214 267 202

N.S.

1 1.24 0.86 0.79 1.31 1.80 2.06 1.46 1.82 1.37

time (sec)

N/A 0.518 0.427 0.532 0.037 0.096 47.331 0.124 0.183 2.302

Problem 215

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

size

197 218 160 148 275 344 444 356 327 277

N.S.

1 1.11 0.81 0.75 1.40 1.75 2.25 1.81 1.66 1.41

time (sec)

N/A 0.524 0.599 0.530 0.039 0.122 116.022 0.130 0.213 2.385

Problem 216

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

248 222 218 168 339 413 243 219 304 0

N.S.

1 0.90 0.88 0.68 1.37 1.67 0.98 0.88 1.23 0.00

time (sec)

N/A 0.483 1.550 0.589 0.037 0.144 0.671 0.132 0.176 0.000

Problem 217

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

196 192 162 136 255 330 199 171 245 0

N.S.

1 0.98 0.83 0.69 1.30 1.68 1.02 0.87 1.25 0.00

time (sec)

N/A 0.456 1.051 0.575 0.036 0.112 0.561 0.133 0.167 0.000

Problem 218

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.352 0.548 0.542 0.034 0.102 0.470 0.142 0.160 0.000

Problem 219

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

117 132 101 96 118 218 246 114 178 0

N.S.

1 1.13 0.86 0.82 1.01 1.86 2.10 0.97 1.52 0.00

time (sec)

N/A 0.371 0.313 0.550 0.036 0.088 0.865 0.143 0.162 0.000

Problem 220

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

110 120 95 94 102 207 196 170 137 149

N.S.

1 1.09 0.86 0.85 0.93 1.88 1.78 1.55 1.25 1.35

time (sec)

N/A 0.363 0.318 0.587 0.034 0.089 1.164 0.139 0.161 2.275

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

118 136 98 97 128 219 427 319 125 105

N.S.

1 1.15 0.83 0.82 1.08 1.86 3.62 2.70 1.06 0.89

time (sec)

N/A 0.388 0.369 0.539 0.027 0.091 1.504 0.140 0.164 1.860

Problem 222

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

141 157 103 92 193 99 891 548 153 163

N.S.

1 1.11 0.73 0.65 1.37 0.70 6.32 3.89 1.09 1.16

time (sec)

N/A 0.485 0.335 0.520 0.038 0.101 2.097 0.136 0.166 1.881

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

191 187 134 123 275 141 1642 660 213 0

N.S.

1 0.98 0.70 0.64 1.44 0.74 8.60 3.46 1.12 0.00

time (sec)

N/A 0.506 0.489 0.557 0.037 0.124 3.226 0.144 0.165 0.000

Problem 224

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

215 219 155 144 347 188 442 282 168 0

N.S.

1 1.02 0.72 0.67 1.61 0.87 2.06 1.31 0.78 0.00

time (sec)

N/A 0.557 0.205 0.503 0.038 0.088 0.497 0.125 0.160 0.000

Problem 225

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

164 170 122 113 262 146 337 211 133 0

N.S.

1 1.04 0.74 0.69 1.60 0.89 2.05 1.29 0.81 0.00

time (sec)

N/A 0.485 0.163 0.514 0.033 0.087 0.441 0.135 0.157 0.000

Problem 226

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

119 124 92 82 180 106 235 140 98 0

N.S.

1 1.04 0.77 0.69 1.51 0.89 1.97 1.18 0.82 0.00

time (sec)

N/A 0.393 0.120 0.500 0.036 0.084 0.312 0.131 0.156 0.000

Problem 227

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

108 132 96 98 136 284 141 120 224 109

N.S.

1 1.22 0.89 0.91 1.26 2.63 1.31 1.11 2.07 1.01

time (sec)

N/A 0.450 0.233 0.631 0.039 0.093 12.977 0.130 0.162 1.943

Problem 228

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

size

119 119 112 114 134 320 333 166 235 128

N.S.

1 1.00 0.94 0.96 1.13 2.69 2.80 1.39 1.97 1.08

time (sec)

N/A 0.521 0.364 0.649 0.036 0.097 40.668 0.127 0.171 2.012

Problem 229

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

size

141 159 128 118 177 367 394 160 371 183

N.S.

1 1.13 0.91 0.84 1.26 2.60 2.79 1.13 2.63 1.30

time (sec)

N/A 0.541 0.420 0.533 0.037 0.109 80.285 0.130 0.169 2.179

Problem 230

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

size

188 219 159 152 259 440 500 253 536 267

N.S.

1 1.16 0.85 0.81 1.38 2.34 2.66 1.35 2.85 1.42

time (sec)

N/A 0.644 0.578 0.532 0.035 0.141 134.279 0.131 0.195 2.454

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

238 279 193 182 345 528 0 384 603 0

N.S.

1 1.17 0.81 0.76 1.45 2.22 0.00 1.61 2.53 0.00

time (sec)

N/A 0.733 0.671 0.680 0.074 0.145 0.000 0.126 0.240 0.000

Problem 232

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 227 193 175 337 512 466 216 475 0

N.S.

1 0.95 0.81 0.74 1.42 2.15 1.96 0.91 2.00 0.00

time (sec)

N/A 0.579 1.467 0.727 0.039 0.126 98.008 0.133 0.187 0.000

Problem 233

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

188 198 159 142 251 419 348 167 412 0

N.S.

1 1.05 0.85 0.76 1.34 2.23 1.85 0.89 2.19 0.00

time (sec)

N/A 0.550 0.999 0.583 0.036 0.106 22.479 0.136 0.164 0.000

Problem 234

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.399 0.407 0.539 0.036 0.101 8.512 0.134 0.163 0.000

Problem 235

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

123 128 114 115 132 305 184 127 285 0

N.S.

1 1.04 0.93 0.93 1.07 2.48 1.50 1.03 2.32 0.00

time (sec)

N/A 0.405 0.385 0.652 0.036 0.092 7.551 0.144 0.165 0.000

Problem 236

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

123 138 112 117 137 293 345 224 234 130

N.S.

1 1.12 0.91 0.95 1.11 2.38 2.80 1.82 1.90 1.06

time (sec)

N/A 0.403 0.390 0.782 0.036 0.097 6.580 0.142 0.162 1.650

Problem 237

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

134 151 103 92 184 112 663 427 209 141

N.S.

1 1.13 0.77 0.69 1.37 0.84 4.95 3.19 1.56 1.05

time (sec)

N/A 0.467 0.489 0.527 0.036 0.092 8.608 0.149 0.162 1.795

Problem 238

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

183 179 136 125 267 151 1316 776 256 221

N.S.

1 0.98 0.74 0.68 1.46 0.83 7.19 4.24 1.40 1.21

time (sec)

N/A 0.514 0.603 0.543 0.034 0.112 12.356 0.153 0.169 2.097

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

235 209 168 156 351 195 2134 1001 320 0

N.S.

1 0.89 0.71 0.66 1.49 0.83 9.08 4.26 1.36 0.00

time (sec)

N/A 0.546 0.679 0.577 0.035 0.160 17.365 0.159 0.176 0.000

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

289 245 215 201 986 816 9649 265 32 0

N.S.

1 0.85 0.74 0.70 3.41 2.82 33.39 0.92 0.11 0.00

time (sec)

N/A 0.579 1.416 0.658 0.064 0.198 128.106 0.132 200.015 0.000

Problem 241

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

249 231 178 173 753 653 6467 203 728 0

N.S.

1 0.93 0.71 0.69 3.02 2.62 25.97 0.82 2.92 0.00

time (sec)

N/A 0.633 1.453 0.760 0.058 0.160 86.914 0.147 8.849 0.000

Problem 242

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

219 221 147 146 533 491 3803 160 519 0

N.S.

1 1.01 0.67 0.67 2.43 2.24 17.37 0.73 2.37 0.00

time (sec)

N/A 0.589 0.765 0.578 0.062 0.142 74.112 0.139 0.319 0.000

Problem 243

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

191 184 99 89 335 141 2088 131 351 222

N.S.

1 0.96 0.52 0.47 1.75 0.74 10.93 0.69 1.84 1.16

time (sec)

N/A 0.556 0.499 0.541 0.036 0.108 62.264 0.135 0.207 1.481

Problem 244

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

217 186 131 123 313 182 2392 211 414 243

N.S.

1 0.86 0.60 0.57 1.44 0.84 11.02 0.97 1.91 1.12

time (sec)

N/A 0.503 0.596 0.572 0.040 0.124 115.872 0.139 0.166 1.620

Problem 245

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

246 216 162 154 337 225 0 349 474 294

N.S.

1 0.88 0.66 0.63 1.37 0.91 0.00 1.42 1.93 1.20

time (sec)

N/A 0.562 0.657 0.584 0.041 0.167 0.000 0.146 0.179 1.572

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

277 233 203 185 398 270 0 592 521 541

N.S.

1 0.84 0.73 0.67 1.44 0.97 0.00 2.14 1.88 1.95

time (sec)

N/A 0.547 0.761 0.585 0.041 0.240 0.000 0.142 0.194 1.678

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

330 261 231 218 489 311 0 938 585 522

N.S.

1 0.79 0.70 0.66 1.48 0.94 0.00 2.84 1.77 1.58

time (sec)

N/A 0.588 0.858 0.941 0.048 0.326 0.000 0.148 5.335 2.490

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

388 289 269 249 579 354 0 1162 647 594

N.S.

1 0.74 0.69 0.64 1.49 0.91 0.00 2.99 1.67 1.53

time (sec)

N/A 0.627 0.996 0.674 0.070 0.534 0.000 0.161 0.263 3.120

Problem 249

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

216 221 158 142 347 177 442 260 159 245

N.S.

1 1.02 0.73 0.66 1.61 0.82 2.05 1.20 0.74 1.13

time (sec)

N/A 0.589 0.057 0.606 0.037 0.083 0.445 0.127 0.156 1.272

Problem 250

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

168 172 122 111 263 135 340 192 124 206

N.S.

1 1.02 0.73 0.66 1.57 0.80 2.02 1.14 0.74 1.23

time (sec)

N/A 0.501 0.035 0.604 0.034 0.081 0.368 0.129 0.153 1.366

Problem 251

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

121 126 92 79 180 94 238 128 89 132

N.S.

1 1.04 0.76 0.65 1.49 0.78 1.97 1.06 0.74 1.09

time (sec)

N/A 0.416 0.030 0.617 0.036 0.083 0.310 0.120 0.157 1.976

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

204 204 159 1335 322 962 7201 1895 1072 0

N.S.

1 1.00 0.78 6.54 1.58 4.72 35.30 9.29 5.25 0.00

time (sec)

N/A 0.515 1.299 0.553 0.070 0.087 1.094 0.154 0.157 0.000

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

155 155 117 793 230 575 4068 1152 661 0

N.S.

1 1.00 0.75 5.12 1.48 3.71 26.25 7.43 4.26 0.00

time (sec)

N/A 0.421 0.957 0.506 0.059 0.086 0.866 0.149 0.151 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

106 106 75 371 138 272 1911 569 338 0

N.S.

1 1.00 0.71 3.50 1.30 2.57 18.03 5.37 3.19 0.00

time (sec)

N/A 0.330 0.508 0.117 0.046 0.084 0.609 0.132 0.154 0.000

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

69 69 45 68 66 117 624 214 137 0

N.S.

1 1.00 0.65 0.99 0.96 1.70 9.04 3.10 1.99 0.00

time (sec)

N/A 0.256 0.069 0.070 0.040 0.077 0.450 0.125 0.152 0.000

Problem 256

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

155 155 123 0 0 0 405 0 417 0

N.S.

1 1.00 0.79 0.00 0.00 0.00 2.61 0.00 2.69 0.00

time (sec)

N/A 0.382 0.900 0.000 0.000 0.000 4.555 0.000 0.155 0.000

Problem 257

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

186 195 146 0 0 0 2062 0 0 0

N.S.

1 1.05 0.78 0.00 0.00 0.00 11.09 0.00 0.00 0.00

time (sec)

N/A 0.529 1.104 0.000 0.000 0.000 38.211 0.000 0.164 0.000

Problem 258

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

242 219 154 0 0 0 6484 0 0 0

N.S.

1 0.90 0.64 0.00 0.00 0.00 26.79 0.00 0.00 0.00

time (sec)

N/A 0.556 1.300 0.000 0.000 0.000 107.428 0.000 0.172 0.000

Problem 259

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

295 302 179 0 0 0 495 0 145 0

N.S.

1 1.02 0.61 0.00 0.00 0.00 1.68 0.00 0.49 0.00

time (sec)

N/A 0.591 2.041 0.000 0.000 0.000 17.089 0.000 7.140 0.000

Problem 260

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

294 301 178 0 0 0 243 0 78 0

N.S.

1 1.02 0.61 0.00 0.00 0.00 0.83 0.00 0.27 0.00

time (sec)

N/A 0.597 1.319 0.000 0.000 0.000 5.937 0.000 1.046 0.000

Problem 261

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

294 301 178 0 0 0 236 0 86 0

N.S.

1 1.02 0.61 0.00 0.00 0.00 0.80 0.00 0.29 0.00

time (sec)

N/A 0.578 2.539 0.000 0.000 0.000 4.575 0.000 0.372 0.000

Problem 262

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

290 280 181 0 0 0 236 0 150 0

N.S.

1 0.97 0.62 0.00 0.00 0.00 0.81 0.00 0.52 0.00

time (sec)

N/A 0.629 2.402 0.000 0.000 0.000 23.206 0.000 0.325 0.000

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

301 316 181 0 0 0 0 0 226 0

N.S.

1 1.05 0.60 0.00 0.00 0.00 0.00 0.00 0.75 0.00

time (sec)

N/A 0.724 3.025 0.000 0.000 0.000 0.000 0.000 0.458 0.000

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

278 316 181 0 0 0 0 0 302 0

N.S.

1 1.14 0.65 0.00 0.00 0.00 0.00 0.00 1.09 0.00

time (sec)

N/A 0.732 2.991 0.000 0.000 0.000 0.000 0.000 0.709 0.000

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

346 350 176 0 0 0 0 0 0 0

N.S.

1 1.01 0.51 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.711 0.322 0.000 0.000 0.000 0.000 0.000 0.224 0.000

Problem 266

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

285 285 205 195 826 705 6987 224 861 0

N.S.

1 1.00 0.72 0.68 2.90 2.47 24.52 0.79 3.02 0.00

time (sec)

N/A 1.208 1.639 0.879 0.060 0.193 92.603 0.137 0.193 0.000

Problem 267

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

251 269 176 177 597 567 5071 204 660 0

N.S.

1 1.07 0.70 0.71 2.38 2.26 20.20 0.81 2.63 0.00

time (sec)

N/A 0.883 0.862 1.123 0.060 0.199 73.193 0.139 0.169 0.000

Problem 268

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

253 246 138 131 421 187 2490 220 512 0

N.S.

1 0.97 0.55 0.52 1.66 0.74 9.84 0.87 2.02 0.00

time (sec)

N/A 0.696 0.652 0.625 0.043 0.135 106.666 0.143 0.170 0.000

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

286 257 179 166 426 240 0 367 599 0

N.S.

1 0.90 0.63 0.58 1.49 0.84 0.00 1.28 2.09 0.00

time (sec)

N/A 0.815 0.727 0.631 0.047 0.209 0.000 0.145 0.180 0.000

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

324 284 219 203 471 289 0 618 678 478

N.S.

1 0.88 0.68 0.63 1.45 0.89 0.00 1.91 2.09 1.48

time (sec)

N/A 0.775 0.890 0.648 0.043 0.302 0.000 0.148 0.200 2.472

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