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

2.2.4 Integrals 301 to 400

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 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 40 27 24 30 23 46 30 24

N.S.

1 1.48 1.00 0.89 1.11 0.85 1.70 1.11 0.89

time (sec)

N/A 0.184 0.027 0.793 0.195 0.255 0.192 0.266 5.382

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 41 27 24 29 23 0 23 35

N.S.

1 1.52 1.00 0.89 1.07 0.85 0.00 0.85 1.30

time (sec)

N/A 0.178 0.148 0.824 0.193 0.243 0.000 0.272 5.287

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 20 37 63 22 23 19

N.S.

1 1.00 1.00 0.74 1.37 2.33 0.81 0.85 0.70

time (sec)

N/A 0.167 0.025 1.253 0.262 0.246 0.521 0.273 5.421

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 41 27 24 37 23 0 23 35

N.S.

1 1.52 1.00 0.89 1.37 0.85 0.00 0.85 1.30

time (sec)

N/A 0.187 10.021 0.887 0.189 0.250 0.000 0.273 6.043

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 21 20 20 85 20 174

N.S.

1 1.00 1.00 0.75 0.71 0.71 3.04 0.71 6.21

time (sec)

N/A 0.164 0.018 2.528 0.295 0.236 0.713 0.276 5.361

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 33 23 20 25 24 134 0 39

N.S.

1 1.18 0.82 0.71 0.89 0.86 4.79 0.00 1.39

time (sec)

N/A 0.160 0.103 0.812 0.193 0.241 1.056 0.000 0.190

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 21 34 34 48 35 174

N.S.

1 1.00 1.00 0.75 1.21 1.21 1.71 1.25 6.21

time (sec)

N/A 0.158 0.021 1.841 0.196 0.236 0.647 0.259 0.060

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 33 28 20 25 24 423 0 39

N.S.

1 1.18 1.00 0.71 0.89 0.86 15.11 0.00 1.39

time (sec)

N/A 0.161 0.105 0.803 0.194 0.250 1.131 0.000 5.459

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 33 28 20 25 24 428 0 24

N.S.

1 1.18 1.00 0.71 0.89 0.86 15.29 0.00 0.86

time (sec)

N/A 0.160 0.126 0.836 0.194 0.245 1.299 0.000 5.416

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 33 28 18 25 22 139 0 22

N.S.

1 1.18 1.00 0.64 0.89 0.79 4.96 0.00 0.79

time (sec)

N/A 0.159 0.097 0.818 0.189 0.248 1.248 0.000 5.247

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 54 28 25 31 24 0 28 24

N.S.

1 1.93 1.00 0.89 1.11 0.86 0.00 1.00 0.86

time (sec)

N/A 0.201 4.880 0.833 0.282 0.249 0.000 0.272 5.249

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 56 70 17 0 18 0 0 17

N.S.

1 2.00 2.50 0.61 0.00 0.64 0.00 0.00 0.61

time (sec)

N/A 0.291 10.026 0.953 0.000 0.265 0.000 0.000 5.635

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B C F A F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

28 547 57 86 0 47 0 0 165

N.S.

1 19.54 2.04 3.07 0.00 1.68 0.00 0.00 5.89

time (sec)

N/A 1.023 0.762 1.188 0.000 0.267 0.000 0.000 5.295

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 49 124 25 0 24 0 23 39

N.S.

1 1.75 4.43 0.89 0.00 0.86 0.00 0.82 1.39

time (sec)

N/A 0.360 10.087 0.826 0.000 0.243 0.000 0.285 5.049

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 54 28 25 25 27 571 0 49

N.S.

1 1.93 1.00 0.89 0.89 0.96 20.39 0.00 1.75

time (sec)

N/A 0.187 0.101 0.836 0.185 0.253 1.519 0.000 5.149

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 33 23 20 25 24 425 0 39

N.S.

1 1.18 0.82 0.71 0.89 0.86 15.18 0.00 1.39

time (sec)

N/A 0.162 0.110 0.776 0.192 0.255 1.237 0.000 5.086

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 49 125 25 0 24 0 23 39

N.S.

1 1.75 4.46 0.89 0.00 0.86 0.00 0.82 1.39

time (sec)

N/A 0.347 10.075 0.811 0.000 0.248 0.000 0.277 5.069

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F B F F B

verified

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

size

28 0 28 19 0 40 0 0 45

N.S.

1 0.00 1.00 0.68 0.00 1.43 0.00 0.00 1.61

time (sec)

N/A 0.000 0.785 1.899 0.000 0.254 0.000 0.000 7.159

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 33 23 20 25 24 428 0 39

N.S.

1 1.18 0.82 0.71 0.89 0.86 15.29 0.00 1.39

time (sec)

N/A 0.164 0.152 0.813 0.180 0.240 1.689 0.000 5.545

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 21 34 34 39 34 20

N.S.

1 1.00 1.00 0.75 1.21 1.21 1.39 1.21 0.71

time (sec)

N/A 0.160 0.018 0.816 0.218 0.253 0.659 0.262 5.385

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 37 25 25 30 24 0 30 24

N.S.

1 1.32 0.89 0.89 1.07 0.86 0.00 1.07 0.86

time (sec)

N/A 0.179 10.023 0.839 0.263 0.235 0.000 0.273 5.242

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 33 28 25 34 24 0 19 22

N.S.

1 1.18 1.00 0.89 1.21 0.86 0.00 0.68 0.79

time (sec)

N/A 0.172 10.021 0.819 0.277 0.243 0.000 0.272 5.478

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

28 534 28 96 0 41 0 0 0

N.S.

1 19.07 1.00 3.43 0.00 1.46 0.00 0.00 0.00

time (sec)

N/A 0.862 0.710 2.155 0.000 0.296 0.000 0.000 0.000

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 50 28 25 42 24 167 0 39

N.S.

1 1.79 1.00 0.89 1.50 0.86 5.96 0.00 1.39

time (sec)

N/A 0.319 3.298 0.855 0.301 0.242 1.945 0.000 5.144

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 52 28 25 42 24 177 0 39

N.S.

1 1.86 1.00 0.89 1.50 0.86 6.32 0.00 1.39

time (sec)

N/A 0.300 0.659 0.963 0.292 0.252 2.506 0.000 0.151

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 52 28 25 40 24 189 0 39

N.S.

1 1.86 1.00 0.89 1.43 0.86 6.75 0.00 1.39

time (sec)

N/A 0.304 0.650 0.984 0.307 0.239 2.544 0.000 5.161

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 18 41 7 0 26 0 22 0

N.S.

1 0.64 1.46 0.25 0.00 0.93 0.00 0.79 0.00

time (sec)

N/A 0.158 0.028 0.822 0.000 0.243 0.000 0.276 0.000

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 55 20 16 0 16 0 19 16

N.S.

1 1.96 0.71 0.57 0.00 0.57 0.00 0.68 0.57

time (sec)

N/A 0.253 0.171 0.926 0.000 0.251 0.000 0.281 5.039

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 50 28 25 42 24 168 0 39

N.S.

1 1.79 1.00 0.89 1.50 0.86 6.00 0.00 1.39

time (sec)

N/A 0.331 3.222 0.777 0.305 0.241 2.038 0.000 0.143

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 49 123 25 0 24 0 0 39

N.S.

1 1.75 4.39 0.89 0.00 0.86 0.00 0.00 1.39

time (sec)

N/A 0.322 10.087 0.896 0.000 0.247 0.000 0.000 5.049

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 21 20 20 88 20 20

N.S.

1 1.00 1.00 0.75 0.71 0.71 3.14 0.71 0.71

time (sec)

N/A 0.155 0.018 0.903 0.302 0.246 0.714 0.274 5.143

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 24 21 34 34 36 34 20

N.S.

1 1.00 0.86 0.75 1.21 1.21 1.29 1.21 0.71

time (sec)

N/A 0.166 0.031 0.846 0.274 0.248 4.207 0.266 5.140

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 21 34 34 39 34 20

N.S.

1 1.00 1.00 0.75 1.21 1.21 1.39 1.21 0.71

time (sec)

N/A 0.158 0.019 0.825 0.197 0.250 0.639 0.260 5.109

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 33 23 20 25 24 423 0 24

N.S.

1 1.18 0.82 0.71 0.89 0.86 15.11 0.00 0.86

time (sec)

N/A 0.156 0.423 0.901 0.187 0.241 2.045 0.000 5.212

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 49 126 25 0 24 0 0 39

N.S.

1 1.75 4.50 0.89 0.00 0.86 0.00 0.00 1.39

time (sec)

N/A 0.350 10.087 0.908 0.000 0.263 0.000 0.000 5.417

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 33 28 25 46 24 143 0 39

N.S.

1 1.18 1.00 0.89 1.64 0.86 5.11 0.00 1.39

time (sec)

N/A 0.285 1.914 0.918 0.317 0.257 2.150 0.000 0.198

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 33 23 20 25 24 425 0 24

N.S.

1 1.18 0.82 0.71 0.89 0.86 15.18 0.00 0.86

time (sec)

N/A 0.154 0.948 0.905 0.202 0.238 2.085 0.000 5.242

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 64 0 53 0 58 236

N.S.

1 1.00 1.00 2.29 0.00 1.89 0.00 2.07 8.43

time (sec)

N/A 0.623 0.072 2.308 0.000 0.240 0.000 0.274 6.337

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 0 0 0 151 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 5.39 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.613 0.000 0.000 0.000

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F F F B F F B

verified

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

size

28 0 0 0 0 146 0 0 48

N.S.

1 0.00 0.00 0.00 0.00 5.21 0.00 0.00 1.71

time (sec)

N/A 0.000 0.000 0.000 0.000 0.359 0.000 0.000 6.066

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 0 0 0 138 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 4.93 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.637 0.000 0.000 0.000

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 75 28 25 37 31 71 0 24

N.S.

1 2.68 1.00 0.89 1.32 1.11 2.54 0.00 0.86

time (sec)

N/A 0.210 0.252 0.859 0.280 0.251 1.541 0.000 5.140

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 264 29 43 0 42 0 0 25

N.S.

1 9.10 1.00 1.48 0.00 1.45 0.00 0.00 0.86

time (sec)

N/A 1.301 0.051 2.539 0.000 0.255 0.000 0.000 5.262

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

29 23 29 43 0 42 0 0 0

N.S.

1 0.79 1.00 1.48 0.00 1.45 0.00 0.00 0.00

time (sec)

N/A 0.177 0.039 2.804 0.000 0.261 0.000 0.000 0.000

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

29 27 29 43 0 42 0 0 0

N.S.

1 0.93 1.00 1.48 0.00 1.45 0.00 0.00 0.00

time (sec)

N/A 0.174 0.041 2.740 0.000 0.251 0.000 0.000 0.000

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 33 29 36 35 35 32 36 21

N.S.

1 1.14 1.00 1.24 1.21 1.21 1.10 1.24 0.72

time (sec)

N/A 0.162 0.021 1.862 0.263 0.253 0.421 0.265 5.046

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 29 22 21 64 60 21 37

N.S.

1 1.00 1.00 0.76 0.72 2.21 2.07 0.72 1.28

time (sec)

N/A 0.158 0.024 2.170 0.272 0.252 0.555 0.261 5.748

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 44 29 26 34 25 48 34 25

N.S.

1 1.52 1.00 0.90 1.17 0.86 1.66 1.17 0.86

time (sec)

N/A 0.173 0.025 0.787 0.187 0.243 0.180 0.265 5.373

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 46 29 27 0 36 0 0 0

N.S.

1 1.59 1.00 0.93 0.00 1.24 0.00 0.00 0.00

time (sec)

N/A 0.352 0.324 1.891 0.000 0.267 0.000 0.000 0.000

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 35 29 24 56 48 0 26 25

N.S.

1 1.21 1.00 0.83 1.93 1.66 0.00 0.90 0.86

time (sec)

N/A 0.226 0.309 0.546 0.252 0.264 0.000 0.274 0.136

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 29 153 0 48 0 0 0

N.S.

1 0.00 1.00 5.28 0.00 1.66 0.00 0.00 0.00

time (sec)

N/A 0.000 2.270 0.967 0.000 0.246 0.000 0.000 0.000

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 39 35 28 0 27 0 61 0

N.S.

1 1.34 1.21 0.97 0.00 0.93 0.00 2.10 0.00

time (sec)

N/A 0.225 0.074 3.585 0.000 0.263 0.000 0.294 0.000

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 29 22 21 64 53 21 21

N.S.

1 1.00 1.00 0.76 0.72 2.21 1.83 0.72 0.72

time (sec)

N/A 0.161 0.022 2.648 0.282 0.253 0.521 0.265 5.455

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 29 27 0 36 0 0 0

N.S.

1 0.00 1.00 0.93 0.00 1.24 0.00 0.00 0.00

time (sec)

N/A 0.000 0.731 2.899 0.000 0.282 0.000 0.000 0.000

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 29 27 0 36 0 0 0

N.S.

1 0.00 1.00 0.93 0.00 1.24 0.00 0.00 0.00

time (sec)

N/A 0.000 0.737 2.865 0.000 0.276 0.000 0.000 0.000

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 44 25 22 28 26 53 28 26

N.S.

1 1.47 0.83 0.73 0.93 0.87 1.77 0.93 0.87

time (sec)

N/A 0.172 0.017 0.846 0.191 0.239 0.148 0.261 5.251

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 44 30 17 28 26 56 28 25

N.S.

1 1.47 1.00 0.57 0.93 0.87 1.87 0.93 0.83

time (sec)

N/A 0.168 0.017 0.819 0.196 0.233 0.820 0.257 5.184

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 60 30 27 34 26 0 41 26

N.S.

1 2.00 1.00 0.90 1.13 0.87 0.00 1.37 0.87

time (sec)

N/A 0.217 4.944 0.844 0.192 0.247 0.000 0.272 5.274

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 66 28 25 0 26 0 41 49

N.S.

1 2.20 0.93 0.83 0.00 0.87 0.00 1.37 1.63

time (sec)

N/A 0.214 0.120 0.855 0.000 0.256 0.000 0.272 5.204

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 55 119 27 0 26 0 0 45

N.S.

1 1.83 3.97 0.90 0.00 0.87 0.00 0.00 1.50

time (sec)

N/A 0.369 10.088 0.937 0.000 0.255 0.000 0.000 5.329

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 54 52 20 0 25 0 0 206

N.S.

1 1.80 1.73 0.67 0.00 0.83 0.00 0.00 6.87

time (sec)

N/A 0.405 0.214 2.416 0.000 0.260 0.000 0.000 0.141

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 62 23 20 0 25 0 19 26

N.S.

1 2.07 0.77 0.67 0.00 0.83 0.00 0.63 0.87

time (sec)

N/A 0.297 10.020 1.030 0.000 0.258 0.000 0.278 4.941

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 41 30 27 27 26 0 30 26

N.S.

1 1.37 1.00 0.90 0.90 0.87 0.00 1.00 0.87

time (sec)

N/A 0.172 0.112 0.884 0.199 0.241 0.000 0.278 6.047

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 21 28 17 0 26 0 66 0

N.S.

1 0.70 0.93 0.57 0.00 0.87 0.00 2.20 0.00

time (sec)

N/A 0.207 0.066 1.845 0.000 0.269 0.000 0.286 0.000

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 59 20 17 0 18 0 23 18

N.S.

1 1.97 0.67 0.57 0.00 0.60 0.00 0.77 0.60

time (sec)

N/A 0.266 0.202 1.050 0.000 0.242 0.000 0.277 5.308

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 55 117 27 0 26 0 0 45

N.S.

1 1.83 3.90 0.90 0.00 0.87 0.00 0.00 1.50

time (sec)

N/A 0.348 10.087 0.895 0.000 0.262 0.000 0.000 5.318

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 55 117 27 0 26 0 0 45

N.S.

1 1.83 3.90 0.90 0.00 0.87 0.00 0.00 1.50

time (sec)

N/A 0.344 10.067 0.855 0.000 0.259 0.000 0.000 5.350

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 30 23 0 127 0 0 37

N.S.

1 0.00 1.00 0.77 0.00 4.23 0.00 0.00 1.23

time (sec)

N/A 0.000 10.508 0.909 0.000 0.275 0.000 0.000 5.505

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 30 23 0 137 0 0 38

N.S.

1 0.00 1.00 0.77 0.00 4.57 0.00 0.00 1.27

time (sec)

N/A 0.000 10.818 0.871 0.000 0.290 0.000 0.000 5.539

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 30 49 0 53 0 0 0

N.S.

1 0.00 1.00 1.63 0.00 1.77 0.00 0.00 0.00

time (sec)

N/A 0.000 5.321 1.970 0.000 0.272 0.000 0.000 0.000

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 30 32 0 42 0 0 0

N.S.

1 0.00 1.00 1.07 0.00 1.40 0.00 0.00 0.00

time (sec)

N/A 0.000 2.825 3.328 0.000 0.521 0.000 0.000 0.000

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 28 28 24 23 25 80 23 177

N.S.

1 0.90 0.90 0.77 0.74 0.81 2.58 0.74 5.71

time (sec)

N/A 0.166 0.022 1.981 0.273 0.232 0.949 0.271 5.329

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 27 31 57 0 65 0 0 275

N.S.

1 0.87 1.00 1.84 0.00 2.10 0.00 0.00 8.87

time (sec)

N/A 0.225 1.205 6.193 0.000 0.252 0.000 0.000 5.577

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 27 31 58 0 26 0 0 273

N.S.

1 0.87 1.00 1.87 0.00 0.84 0.00 0.00 8.81

time (sec)

N/A 0.224 1.285 2.923 0.000 0.252 0.000 0.000 0.107

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 29 31 24 23 27 82 23 177

N.S.

1 0.94 1.00 0.77 0.74 0.87 2.65 0.74 5.71

time (sec)

N/A 0.156 0.023 1.962 0.286 0.244 0.824 0.265 5.270

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 29 31 24 37 44 26 38 176

N.S.

1 0.94 1.00 0.77 1.19 1.42 0.84 1.23 5.68

time (sec)

N/A 0.158 0.034 2.077 0.194 0.248 0.917 0.261 0.171

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 23 31 42 0 44 0 0 204

N.S.

1 0.74 1.00 1.35 0.00 1.42 0.00 0.00 6.58

time (sec)

N/A 0.196 0.937 2.490 0.000 0.250 0.000 0.000 5.160

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 24 37 44 27 38 177

N.S.

1 1.00 1.00 0.77 1.19 1.42 0.87 1.23 5.71

time (sec)

N/A 0.157 0.026 2.060 0.196 0.244 0.810 0.260 0.067

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 31 46 0 48 0 0 0

N.S.

1 0.00 1.00 1.48 0.00 1.55 0.00 0.00 0.00

time (sec)

N/A 0.000 10.926 2.758 0.000 0.271 0.000 0.000 0.000

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

31 29 31 28 0 27 0 49 0

N.S.

1 0.94 1.00 0.90 0.00 0.87 0.00 1.58 0.00

time (sec)

N/A 0.207 0.158 3.185 0.000 0.274 0.000 0.285 0.000

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 23 31 13 0 27 0 48 0

N.S.

1 0.74 1.00 0.42 0.00 0.87 0.00 1.55 0.00

time (sec)

N/A 0.211 0.191 1.721 0.000 0.269 0.000 0.271 0.000

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 30 31 23 45 63 20 25 0

N.S.

1 0.97 1.00 0.74 1.45 2.03 0.65 0.81 0.00

time (sec)

N/A 0.159 0.238 1.122 0.281 0.255 0.483 0.269 0.000

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 28 28 27 23 25 71 23 23

N.S.

1 0.90 0.90 0.87 0.74 0.81 2.29 0.74 0.74

time (sec)

N/A 0.156 0.024 1.233 0.275 0.248 0.981 0.258 5.408

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 29 31 29 23 27 73 23 23

N.S.

1 0.94 1.00 0.94 0.74 0.87 2.35 0.74 0.74

time (sec)

N/A 0.151 0.023 1.216 0.282 0.243 0.854 0.257 5.162

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 30 31 27 37 45 53 37 23

N.S.

1 0.97 1.00 0.87 1.19 1.45 1.71 1.19 0.74

time (sec)

N/A 0.164 0.035 1.147 0.281 0.255 16.620 0.264 5.212

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 29 37 44 24 37 23

N.S.

1 1.00 1.00 0.94 1.19 1.42 0.77 1.19 0.74

time (sec)

N/A 0.152 0.024 1.129 0.198 0.233 0.856 0.269 5.230

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 28 58 27 139 0 49

N.S.

1 1.00 1.00 0.90 1.87 0.87 4.48 0.00 1.58

time (sec)

N/A 0.290 5.297 0.956 0.353 0.255 2.802 0.000 5.327

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 56 63 0 28 0 0 0

N.S.

1 0.00 1.75 1.97 0.00 0.88 0.00 0.00 0.00

time (sec)

N/A 0.000 24.433 5.259 0.000 0.277 0.000 0.000 0.000

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 63 25 22 0 29 0 23 28

N.S.

1 1.97 0.78 0.69 0.00 0.91 0.00 0.72 0.88

time (sec)

N/A 0.304 10.015 1.006 0.000 0.250 0.000 0.275 5.116

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 55 56 0 68 0 0 0

N.S.

1 0.00 1.72 1.75 0.00 2.12 0.00 0.00 0.00

time (sec)

N/A 0.000 24.355 3.841 0.000 0.275 0.000 0.000 0.000

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 64 25 22 0 27 0 19 28

N.S.

1 2.00 0.78 0.69 0.00 0.84 0.00 0.59 0.88

time (sec)

N/A 0.301 0.230 0.987 0.000 0.234 0.000 0.274 4.948

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 37 75 25 0 30 0 64 0

N.S.

1 1.16 2.34 0.78 0.00 0.94 0.00 2.00 0.00

time (sec)

N/A 0.218 3.837 2.572 0.000 0.266 0.000 0.273 0.000

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A A A B

verified

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

size

33 0 33 46 0 45 44 46 29

N.S.

1 0.00 1.00 1.39 0.00 1.36 1.33 1.39 0.88

time (sec)

N/A 0.000 0.043 2.742 0.000 0.242 4.209 0.296 5.352

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 54 33 25 37 29 571 0 49

N.S.

1 1.64 1.00 0.76 1.12 0.88 17.30 0.00 1.48

time (sec)

N/A 0.175 0.111 0.873 0.198 0.243 1.683 0.000 5.379

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 26 33 58 0 63 0 0 272

N.S.

1 0.79 1.00 1.76 0.00 1.91 0.00 0.00 8.24

time (sec)

N/A 0.214 1.289 3.234 0.000 0.257 0.000 0.000 5.421

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 26 33 60 0 28 0 0 274

N.S.

1 0.79 1.00 1.82 0.00 0.85 0.00 0.00 8.30

time (sec)

N/A 0.220 1.247 6.495 0.000 0.274 0.000 0.000 5.213

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 26 33 62 0 66 0 0 274

N.S.

1 0.79 1.00 1.88 0.00 2.00 0.00 0.00 8.30

time (sec)

N/A 0.215 1.200 6.717 0.000 0.259 0.000 0.000 4.982

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 54 28 25 37 29 199 0 49

N.S.

1 1.64 0.85 0.76 1.12 0.88 6.03 0.00 1.48

time (sec)

N/A 0.172 0.107 0.871 0.212 0.252 1.344 0.000 5.141

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 54 28 25 37 29 570 0 49

N.S.

1 1.64 0.85 0.76 1.12 0.88 17.27 0.00 1.48

time (sec)

N/A 0.172 0.102 0.844 0.190 0.237 1.424 0.000 5.013

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 61 31 28 72 42 0 0 41

N.S.

1 1.85 0.94 0.85 2.18 1.27 0.00 0.00 1.24

time (sec)

N/A 0.228 0.034 0.074 0.217 0.249 0.000 0.000 5.217

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