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

2.2.61 Integrals 6001 to 6100

Detailed conclusion table per each integral is given by 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 just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 6001

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 19 64 0 43 42 74 46

N.S.

1 1.00 1.00 3.37 0.00 2.26 2.21 3.89 2.42

time (sec)

N/A 0.174 0.029 0.570 0.000 0.360 0.173 0.416 0.234

Problem 6002

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 17 15 13 12 12 10 12 11

N.S.

1 0.68 0.60 0.52 0.48 0.48 0.40 0.48 0.44

time (sec)

N/A 0.005 0.004 0.184 0.283 0.409 0.024 0.383 0.053

Problem 6003

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 27 27 33 31 25 27 25 25

N.S.

1 0.84 0.84 1.03 0.97 0.78 0.84 0.78 0.78

time (sec)

N/A 0.056 0.018 0.360 0.545 0.361 0.057 0.431 4.521

Problem 6004

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

23 0 23 126 52 18 0 0 18

N.S.

1 0.00 1.00 5.48 2.26 0.78 0.00 0.00 0.78

time (sec)

N/A 9.032 0.115 1.426 0.642 0.389 0.000 0.000 4.543

Problem 6005

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A B B B

verified

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

size

21 0 26 47 27 32 53 63 27

N.S.

1 0.00 1.24 2.24 1.29 1.52 2.52 3.00 1.29

time (sec)

N/A 1.149 1.644 1.482 0.321 0.384 0.158 0.416 4.757

Problem 6006

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

17 0 17 16 15 15 17 20 18

N.S.

1 0.00 1.00 0.94 0.88 0.88 1.00 1.18 1.06

time (sec)

N/A 0.263 0.361 0.313 0.328 0.399 0.083 0.399 0.134

Problem 6007

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B B B B B A B

verified

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

size

19 0 46 9401 41 45 37 31 29

N.S.

1 0.00 2.42 494.79 2.16 2.37 1.95 1.63 1.53

time (sec)

N/A 0.227 0.103 0.558 0.283 0.366 0.121 0.388 4.433

Problem 6008

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

7 7 7 9 8 8 7 9 8

N.S.

1 1.00 1.00 1.29 1.14 1.14 1.00 1.29 1.14

time (sec)

N/A 0.001 0.001 0.627 0.300 0.349 0.013 0.384 0.033

Problem 6009

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 8 8 9 8 8 7 9 8

N.S.

1 0.42 0.42 0.47 0.42 0.42 0.37 0.47 0.42

time (sec)

N/A 0.002 0.001 0.104 0.268 0.504 0.015 0.373 0.017

Problem 6010

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A F B A A A F

verified

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

size

26 0 26 0 71 31 27 45 -1

N.S.

1 0.00 1.00 0.00 2.73 1.19 1.04 1.73 -0.04

time (sec)

N/A 6.391 0.148 0.019 0.610 0.370 0.152 0.880 0.000

Problem 6011

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 19 19 15 14 41 15 0 14

N.S.

1 0.86 0.86 0.68 0.64 1.86 0.68 0.00 0.64

time (sec)

N/A 0.027 0.029 0.126 0.290 0.350 0.224 0.000 0.128

Problem 6012

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C C A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 24 24 119 162 20 20 68 20

N.S.

1 0.73 0.73 3.61 4.91 0.61 0.61 2.06 0.61

time (sec)

N/A 0.214 0.033 1.070 0.541 0.355 0.098 0.389 4.621

Problem 6013

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 12 60 10 18 8 0 12

N.S.

1 1.00 1.00 5.00 0.83 1.50 0.67 0.00 1.00

time (sec)

N/A 0.133 0.035 5.875 0.349 0.362 0.072 0.000 4.323

Problem 6014

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 139 28 122 576 127 153 126 -1

N.S.

1 6.04 1.22 5.30 25.04 5.52 6.65 5.48 -0.04

time (sec)

N/A 17.625 0.798 0.601 0.595 0.390 0.679 0.414 0.000

Problem 6015

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 33 19 18 231 17 15 17 19

N.S.

1 1.74 1.00 0.95 12.16 0.89 0.79 0.89 1.00

time (sec)

N/A 0.031 0.566 0.120 0.358 0.384 0.037 0.397 4.259

Problem 6016

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 14 14 15 25 14 12 14 11

N.S.

1 0.61 0.61 0.65 1.09 0.61 0.52 0.61 0.48

time (sec)

N/A 0.005 0.006 0.099 0.273 0.380 0.031 0.406 4.234

Problem 6017

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A F(-1) F(-1) F

verified

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

size

24 0 24 52 27 36 0 0 -1

N.S.

1 0.00 1.00 2.17 1.12 1.50 0.00 0.00 -0.04

time (sec)

N/A 4.255 0.105 3.305 1.109 0.369 0.000 0.000 0.000

Problem 6018

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 49 47 39 34 34 37 36 36

N.S.

1 1.63 1.57 1.30 1.13 1.13 1.23 1.20 1.20

time (sec)

N/A 0.061 0.047 0.128 0.286 0.386 0.110 0.390 0.099

Problem 6019

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 38 53 23 45 29 32 29 29

N.S.

1 1.81 2.52 1.10 2.14 1.38 1.52 1.38 1.38

time (sec)

N/A 2.492 8.113 0.155 0.363 0.352 0.092 0.393 4.354

Problem 6020

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

19 0 20 20 25 22 22 19 26

N.S.

1 0.00 1.05 1.05 1.32 1.16 1.16 1.00 1.37

time (sec)

N/A 0.577 0.093 0.444 0.557 0.382 0.131 0.403 4.339

Problem 6021

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 37 17 39 31 31 31 31 13

N.S.

1 2.31 1.06 2.44 1.94 1.94 1.94 1.94 0.81

time (sec)

N/A 0.040 0.073 0.493 0.351 0.389 0.040 0.388 0.188

Problem 6022

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A B A F

verified

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

size

31 0 22 27 54 52 53 53 -1

N.S.

1 0.00 0.71 0.87 1.74 1.68 1.71 1.71 -0.03

time (sec)

N/A 2.479 0.120 0.124 0.576 0.374 0.107 0.425 0.000

Problem 6023

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 35 36 36 34 30 34 36 34

N.S.

1 1.35 1.38 1.38 1.31 1.15 1.31 1.38 1.31

time (sec)

N/A 0.010 0.008 0.179 0.292 0.358 0.041 0.374 0.058

Problem 6024

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B A A A A B

verified

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

size

23 0 22 48 19 22 19 22 28

N.S.

1 0.00 0.96 2.09 0.83 0.96 0.83 0.96 1.22

time (sec)

N/A 1.541 0.072 0.090 0.329 0.382 0.190 0.442 4.644

Problem 6025

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A F(-2) A B

verified

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

size

20 0 20 20 22 34 0 36 19

N.S.

1 0.00 1.00 1.00 1.10 1.70 0.00 1.80 0.95

time (sec)

N/A 1.199 0.122 3.496 0.342 0.412 0.000 0.429 4.908

Problem 6026

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 25 25 21 20 20 22 25 20

N.S.

1 1.25 1.25 1.05 1.00 1.00 1.10 1.25 1.00

time (sec)

N/A 0.065 0.031 0.220 0.309 0.395 0.121 0.394 4.368

Problem 6027

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 134 24 22 20 26 26 37 21

N.S.

1 4.19 0.75 0.69 0.62 0.81 0.81 1.16 0.66

time (sec)

N/A 0.198 0.020 1.424 0.503 0.407 0.042 0.401 4.451

Problem 6028

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B A A F(-2) B

verified

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

size

31 0 31 30 91 32 32 0 32

N.S.

1 0.00 1.00 0.97 2.94 1.03 1.03 0.00 1.03

time (sec)

N/A 32.998 0.111 0.129 0.586 0.372 1.616 0.000 4.677

Problem 6029

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A C A A A B

verified

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

size

31 0 27 29 39 32 22 41 28

N.S.

1 0.00 0.87 0.94 1.26 1.03 0.71 1.32 0.90

time (sec)

N/A 0.693 0.087 0.116 0.307 0.380 0.127 0.405 4.490

Problem 6030

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A A A B

verified

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

size

21 0 28 219 25 24 26 24 24

N.S.

1 0.00 1.33 10.43 1.19 1.14 1.24 1.14 1.14

time (sec)

N/A 2.245 0.049 0.475 0.473 0.387 0.958 0.541 6.135

Problem 6031

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A A A B

verified

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

size

22 0 22 266 20 34 32 19 121

N.S.

1 0.00 1.00 12.09 0.91 1.55 1.45 0.86 5.50

time (sec)

N/A 2.706 0.169 3.765 0.739 0.346 0.928 1.170 4.699

Problem 6032

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 24 24 21 20 20 22 20 22

N.S.

1 0.86 0.86 0.75 0.71 0.71 0.79 0.71 0.79

time (sec)

N/A 0.155 0.985 0.121 0.356 0.364 0.078 0.422 4.551

Problem 6033

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 17 13 17 16 16 15 16 18

N.S.

1 1.13 0.87 1.13 1.07 1.07 1.00 1.07 1.20

time (sec)

N/A 0.029 0.030 0.030 0.282 0.366 0.033 0.383 0.055

Problem 6034

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 34 27 29 22 22 26 22 19

N.S.

1 1.31 1.04 1.12 0.85 0.85 1.00 0.85 0.73

time (sec)

N/A 0.048 0.007 0.204 0.286 0.363 0.138 0.386 0.084

Problem 6035

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B B B B F(-1) F F

verified

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

size

25 0 53 49 48 48 0 0 -1

N.S.

1 0.00 2.12 1.96 1.92 1.92 0.00 0.00 -0.04

time (sec)

N/A 12.577 0.079 0.125 0.314 0.366 0.000 0.000 0.000

Problem 6036

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A F B

verified

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

size

23 0 19 27 17 26 22 0 51

N.S.

1 0.00 0.83 1.17 0.74 1.13 0.96 0.00 2.22

time (sec)

N/A 3.782 0.134 0.471 1.490 0.405 0.165 0.000 4.629

Problem 6037

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 35 37 26 30 30 24 36 35

N.S.

1 1.30 1.37 0.96 1.11 1.11 0.89 1.33 1.30

time (sec)

N/A 0.252 0.208 0.100 0.317 0.356 0.236 0.390 4.531

Problem 6038

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C A C C B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 230 17 379 109 31 34 31 15

N.S.

1 13.53 1.00 22.29 6.41 1.82 2.00 1.82 0.88

time (sec)

N/A 0.385 0.013 0.097 0.333 0.357 0.055 0.392 4.335

Problem 6039

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 24 20 228 28 31 0 0 32

N.S.

1 1.04 0.87 9.91 1.22 1.35 0.00 0.00 1.39

time (sec)

N/A 0.806 0.084 0.257 0.407 0.367 0.000 0.000 4.952

Problem 6040

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 52 52 53 52 37 36 37 47

N.S.

1 1.53 1.53 1.56 1.53 1.09 1.06 1.09 1.38

time (sec)

N/A 4.113 0.083 0.112 0.311 0.366 0.199 0.442 4.556

Problem 6041

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

26 0 25 27 30 23 19 23 25

N.S.

1 0.00 0.96 1.04 1.15 0.88 0.73 0.88 0.96

time (sec)

N/A 0.067 0.028 0.214 0.520 0.359 0.114 0.398 4.376

Problem 6042

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B B F F B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 61 59 0 0 159 0 0 91

N.S.

1 2.10 2.03 0.00 0.00 5.48 0.00 0.00 3.14

time (sec)

N/A 1.844 0.109 0.106 0.000 0.388 0.000 0.000 5.327

Problem 6043

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 22 31 17 16 16 15 18 20

N.S.

1 0.88 1.24 0.68 0.64 0.64 0.60 0.72 0.80

time (sec)

N/A 0.033 0.008 0.823 0.272 0.386 0.168 0.390 0.101

Problem 6044

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 21 19 20 19 22 14 19 18

N.S.

1 1.05 0.95 1.00 0.95 1.10 0.70 0.95 0.90

time (sec)

N/A 0.013 0.007 1.303 0.267 0.383 0.050 0.382 4.221

Problem 6045

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

25 0 22 20 25 27 22 37 800

N.S.

1 0.00 0.88 0.80 1.00 1.08 0.88 1.48 32.00

time (sec)

N/A 0.444 0.329 0.159 0.553 0.370 0.056 0.398 5.044

Problem 6046

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

14 0 12 16 11 11 8 11 12

N.S.

1 0.00 0.86 1.14 0.79 0.79 0.57 0.79 0.86

time (sec)

N/A 0.116 0.017 1.052 0.380 0.372 0.031 0.381 4.632

Problem 6047

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 24 24 18 17 28 17 17 17

N.S.

1 0.89 0.89 0.67 0.63 1.04 0.63 0.63 0.63

time (sec)

N/A 0.011 0.012 0.951 0.278 0.354 0.047 0.394 0.078

Problem 6048

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A F B

verified

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

size

27 0 13 9 8 8 10 0 8

N.S.

1 0.00 0.48 0.33 0.30 0.30 0.37 0.00 0.30

time (sec)

N/A 0.145 0.077 0.095 0.339 0.415 0.172 0.000 4.945

Problem 6049

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 34 110 23 26 27 32 26

N.S.

1 1.00 1.70 5.50 1.15 1.30 1.35 1.60 1.30

time (sec)

N/A 0.115 0.032 1.482 0.515 0.372 0.151 0.387 5.261

Problem 6050

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B B B F(-2) B

verified

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

size

24 0 24 31 63 44 42 0 90

N.S.

1 0.00 1.00 1.29 2.62 1.83 1.75 0.00 3.75

time (sec)

N/A 6.309 0.082 0.293 0.516 0.392 0.300 0.000 4.525

Problem 6051

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A B B B

verified

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

size

31 0 58 179 32 38 58 178 54

N.S.

1 0.00 1.87 5.77 1.03 1.23 1.87 5.74 1.74

time (sec)

N/A 3.188 0.607 1.349 0.603 0.378 0.514 2.000 4.691

Problem 6052

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 29 29 27 52 45 22 48 24

N.S.

1 0.85 0.85 0.79 1.53 1.32 0.65 1.41 0.71

time (sec)

N/A 0.122 0.071 0.715 0.343 0.404 0.108 0.398 4.410

Problem 6053

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 28 28 29 28 31 24 30 26

N.S.

1 1.17 1.17 1.21 1.17 1.29 1.00 1.25 1.08

time (sec)

N/A 0.155 0.010 0.211 0.286 0.349 0.052 0.397 4.229

Problem 6054

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

27 0 26 48 46 41 22 33 85

N.S.

1 0.00 0.96 1.78 1.70 1.52 0.81 1.22 3.15

time (sec)

N/A 0.417 0.082 3.558 0.530 0.359 0.074 0.404 4.540

Problem 6055

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A F(-1) A B

verified

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

size

24 0 26 36 42 42 0 42 23

N.S.

1 0.00 1.08 1.50 1.75 1.75 0.00 1.75 0.96

time (sec)

N/A 7.610 0.204 0.518 0.314 0.361 0.000 0.418 5.256

Problem 6056

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 21 21 22 21 21 19 23 21

N.S.

1 0.91 0.91 0.96 0.91 0.91 0.83 1.00 0.91

time (sec)

N/A 0.036 0.007 0.100 0.284 0.413 0.041 0.397 0.110

Problem 6057

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

21 0 13 12 11 22 8 22 11

N.S.

1 0.00 0.62 0.57 0.52 1.05 0.38 1.05 0.52

time (sec)

N/A 0.172 0.038 0.136 0.341 0.349 0.069 0.386 4.196

Problem 6058

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 26 33 290 58 28 26 69 29

N.S.

1 0.87 1.10 9.67 1.93 0.93 0.87 2.30 0.97

time (sec)

N/A 2.406 0.271 0.407 0.566 0.402 0.333 0.438 5.099

Problem 6059

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 20 20 28 45 18 17 18 20

N.S.

1 0.80 0.80 1.12 1.80 0.72 0.68 0.72 0.80

time (sec)

N/A 0.057 0.029 1.622 0.542 0.383 0.059 0.394 4.542

Problem 6060

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

26 0 19 18 17 21 14 21 17

N.S.

1 0.00 0.73 0.69 0.65 0.81 0.54 0.81 0.65

time (sec)

N/A 0.203 0.880 0.522 0.314 0.392 0.051 0.398 0.144

Problem 6061

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A A A B

verified

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

size

20 0 20 297 25 24 26 30 24

N.S.

1 0.00 1.00 14.85 1.25 1.20 1.30 1.50 1.20

time (sec)

N/A 5.232 0.153 0.437 0.567 0.373 4.263 0.439 4.972

Problem 6062

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

11 11 11 12 11 11 8 11 10

N.S.

1 1.00 1.00 1.09 1.00 1.00 0.73 1.00 0.91

time (sec)

N/A 0.023 0.024 0.100 0.300 0.341 0.090 0.396 4.298

Problem 6063

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C B B B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 62 522 51 63 61 0 55

N.S.

1 1.00 2.38 20.08 1.96 2.42 2.35 0.00 2.12

time (sec)

N/A 0.636 0.112 0.505 0.371 0.391 13.331 0.000 4.838

Problem 6064

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

22 0 27 26 23 25 15 19 21

N.S.

1 0.00 1.23 1.18 1.05 1.14 0.68 0.86 0.95

time (sec)

N/A 0.790 0.162 0.428 0.313 0.431 0.083 0.391 4.398

Problem 6065

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B B B B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 89 35 70 80 59 63 0 58

N.S.

1 2.70 1.06 2.12 2.42 1.79 1.91 0.00 1.76

time (sec)

N/A 0.176 0.305 0.118 0.288 0.383 8.378 0.000 4.543

Problem 6066

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F F A B B A A F

verified

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

size

33 0 0 54 105 103 46 48 -1

N.S.

1 0.00 0.00 1.64 3.18 3.12 1.39 1.45 -0.03

time (sec)

N/A 3.754 4.928 1.869 0.577 0.411 0.175 0.628 0.000

Problem 6067

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 18 21 21 20 19 21 20

N.S.

1 1.00 1.00 1.17 1.17 1.11 1.06 1.17 1.11

time (sec)

N/A 0.924 0.103 0.888 0.419 0.408 0.129 0.399 5.269

Problem 6068

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 29 29 40 189 29 26 29 26

N.S.

1 1.07 1.07 1.48 7.00 1.07 0.96 1.07 0.96

time (sec)

N/A 0.035 0.095 0.209 0.538 0.414 0.100 0.384 0.116

Problem 6069

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A F A A A B

verified

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

size

30 0 52 41 0 40 44 39 39

N.S.

1 0.00 1.73 1.37 0.00 1.33 1.47 1.30 1.30

time (sec)

N/A 1.611 0.274 0.088 0.000 0.361 0.307 0.424 4.792

Problem 6070

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 23 23 22 21 21 20 21 17

N.S.

1 1.28 1.28 1.22 1.17 1.17 1.11 1.17 0.94

time (sec)

N/A 0.012 0.013 0.036 0.283 0.404 0.121 0.385 4.287

Problem 6071

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 26 24 23 25 29 22 35 -1

N.S.

1 1.08 1.00 0.96 1.04 1.21 0.92 1.46 -0.04

time (sec)

N/A 0.472 0.118 0.165 0.321 0.373 0.106 0.397 0.000

Problem 6072

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 27 30 41 66 27 24 27 25

N.S.

1 0.82 0.91 1.24 2.00 0.82 0.73 0.82 0.76

time (sec)

N/A 0.236 0.051 0.977 0.331 0.360 0.093 0.374 0.192

Problem 6073

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A F B

verified

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

size

30 0 49 44 45 38 42 0 42

N.S.

1 0.00 1.63 1.47 1.50 1.27 1.40 0.00 1.40

time (sec)

N/A 0.413 0.167 0.149 0.332 0.408 0.144 0.000 4.548

Problem 6074

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 23 22 21 21 22 19 20 21

N.S.

1 1.05 1.00 0.95 0.95 1.00 0.86 0.91 0.95

time (sec)

N/A 0.008 0.004 0.273 0.293 0.355 0.026 0.386 4.172

Problem 6075

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F(-1) B B B B B F(-1) F

verified

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

size

29 0 242 243 352 352 170 0 -1

N.S.

1 0.00 8.34 8.38 12.14 12.14 5.86 0.00 -0.03

time (sec)

N/A 180.001 0.554 1.733 1.244 0.402 2.155 0.000 0.000

Problem 6076

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 15 15 12 11 12 8 11 12

N.S.

1 0.79 0.79 0.63 0.58 0.63 0.42 0.58 0.63

time (sec)

N/A 0.003 0.002 0.094 0.297 0.392 0.017 0.408 0.023

Problem 6077

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

21 0 18 17 16 26 15 16 16

N.S.

1 0.00 0.86 0.81 0.76 1.24 0.71 0.76 0.76

time (sec)

N/A 0.097 0.044 0.132 0.337 0.377 0.114 0.408 4.211

Problem 6078

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

8 8 8 9 8 8 7 8 8

N.S.

1 1.00 1.00 1.12 1.00 1.00 0.88 1.00 1.00

time (sec)

N/A 0.002 0.000 0.131 0.290 0.339 0.007 0.414 0.031

Problem 6079

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A F A F(-1) F B

verified

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

size

30 0 30 30 0 30 0 0 48

N.S.

1 0.00 1.00 1.00 0.00 1.00 0.00 0.00 1.60

time (sec)

N/A 3.644 0.180 1.121 0.000 0.384 0.000 0.000 0.423

Problem 6080

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B B B B B B

verified

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

size

27 0 49 64 75 75 60 76 68

N.S.

1 0.00 1.81 2.37 2.78 2.78 2.22 2.81 2.52

time (sec)

N/A 0.246 0.038 63.087 0.314 0.382 0.097 0.417 4.529

Problem 6081

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 63 20 66 40 36 42 36 18

N.S.

1 3.00 0.95 3.14 1.90 1.71 2.00 1.71 0.86

time (sec)

N/A 0.058 0.104 0.612 0.280 0.351 0.056 0.402 0.163

Problem 6082

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 35 31 30 28 28 27 28 26

N.S.

1 1.67 1.48 1.43 1.33 1.33 1.29 1.33 1.24

time (sec)

N/A 0.029 0.027 0.023 0.281 0.384 0.036 0.421 4.227

Problem 6083

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A B F

verified

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

size

38 0 41 44 48 40 37 197 -1

N.S.

1 0.00 1.08 1.16 1.26 1.05 0.97 5.18 -0.03

time (sec)

N/A 29.832 0.195 1.695 1.232 0.399 3.725 1.498 0.000

Problem 6084

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 27 26 24 63 65 73 66 118

N.S.

1 1.08 1.04 0.96 2.52 2.60 2.92 2.64 4.72

time (sec)

N/A 0.203 0.043 0.981 0.412 0.396 0.141 0.464 7.788

Problem 6085

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 21 20 18 18 15 19 19

N.S.

1 1.00 0.95 0.91 0.82 0.82 0.68 0.86 0.86

time (sec)

N/A 0.014 0.009 1.010 0.278 0.353 0.057 0.413 0.094

Problem 6086

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 60 63 60 42 42 34 124 57

N.S.

1 1.67 1.75 1.67 1.17 1.17 0.94 3.44 1.58

time (sec)

N/A 1.329 0.127 0.326 0.425 0.449 0.275 0.403 0.433

Problem 6087

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 23 58 29 29 30 27 29 29

N.S.

1 1.44 3.62 1.81 1.81 1.88 1.69 1.81 1.81

time (sec)

N/A 0.006 0.000 0.009 0.276 0.338 0.005 0.387 0.002

Problem 6088

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 37 37 32 31 33 27 28 23

N.S.

1 1.37 1.37 1.19 1.15 1.22 1.00 1.04 0.85

time (sec)

N/A 0.033 0.008 0.456 0.290 0.416 0.055 0.399 4.442

Problem 6089

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 40 23 20 20 20 26 0 19

N.S.

1 1.74 1.00 0.87 0.87 0.87 1.13 0.00 0.83

time (sec)

N/A 0.052 0.051 0.142 0.664 0.414 0.974 0.000 4.594

Problem 6090

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

30 0 40 37 38 41 39 43 55

N.S.

1 0.00 1.33 1.23 1.27 1.37 1.30 1.43 1.83

time (sec)

N/A 2.833 0.077 1.434 0.324 0.401 0.143 0.442 5.000

Problem 6091

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A A A B

verified

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

size

32 0 41 270 48 37 37 47 42

N.S.

1 0.00 1.28 8.44 1.50 1.16 1.16 1.47 1.31

time (sec)

N/A 32.698 0.071 2.043 0.300 0.410 0.396 0.511 4.725

Problem 6092

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

17 0 15 14 13 13 10 13 13

N.S.

1 0.00 0.88 0.82 0.76 0.76 0.59 0.76 0.76

time (sec)

N/A 0.533 0.054 0.132 0.315 0.359 0.053 0.413 4.406

Problem 6093

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 19 19 63 18 18 141 18 18

N.S.

1 1.12 1.12 3.71 1.06 1.06 8.29 1.06 1.06

time (sec)

N/A 0.178 0.043 0.624 0.292 0.457 0.189 0.394 4.556

Problem 6094

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 19 24 23 18 20 15 18 17

N.S.

1 0.70 0.89 0.85 0.67 0.74 0.56 0.67 0.63

time (sec)

N/A 0.017 0.006 0.140 0.265 0.385 0.038 0.410 0.052

Problem 6095

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A B A B B

verified

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

size

31 0 35 29 40 71 31 936 87

N.S.

1 0.00 1.13 0.94 1.29 2.29 1.00 30.19 2.81

time (sec)

N/A 2.673 0.133 0.385 0.320 0.382 0.138 0.439 4.519

Problem 6096

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 34 46 25 42 28 29 0 95

N.S.

1 1.06 1.44 0.78 1.31 0.88 0.91 0.00 2.97

time (sec)

N/A 2.731 0.360 0.127 0.351 0.377 0.123 0.000 4.561

Problem 6097

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 18 22 22 18 18 32 18 15

N.S.

1 0.82 1.00 1.00 0.82 0.82 1.45 0.82 0.68

time (sec)

N/A 0.003 0.002 0.192 0.278 0.349 0.012 0.414 0.061

Problem 6098

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 9 9 12 9 9 10 9 10

N.S.

1 0.56 0.56 0.75 0.56 0.56 0.62 0.56 0.62

time (sec)

N/A 0.003 0.001 0.186 0.255 0.353 0.009 0.395 0.038

Problem 6099

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 11592 5086 38680 39766 124 139 497 127

N.S.

1 351.27 154.12 1172.12 1205.03 3.76 4.21 15.06 3.85

time (sec)

N/A 20.075 17.740 1.225 0.872 0.421 0.237 1.212 4.836

Problem 6100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 18 18 18 61 17 15 17 18

N.S.

1 0.75 0.75 0.75 2.54 0.71 0.62 0.71 0.75

time (sec)

N/A 0.088 0.033 0.238 0.512 0.387 0.033 0.411 0.094

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