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

2.2.7 Integrals 601 to 700

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 601

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 13 13 22 75 102 0 10 19

N.S.

1 1.00 1.00 1.69 5.77 7.85 0.00 0.77 1.46

time (sec)

N/A 0.011 0.008 0.100 1.731 0.662 0.000 0.644 0.311

Problem 602

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

9 9 9 22 6 16 12 6 6

N.S.

1 1.00 1.00 2.44 0.67 1.78 1.33 0.67 0.67

time (sec)

N/A 0.011 0.002 0.060 0.701 0.794 0.203 0.619 0.317

Problem 603

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 19 18 26 0 25 32 16 14

N.S.

1 1.46 1.38 2.00 0.00 1.92 2.46 1.23 1.08

time (sec)

N/A 0.021 0.020 0.094 0.000 0.623 0.212 0.698 0.109

Problem 604

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1 1 1 2 1 1 10 1 1

N.S.

1 1.00 1.00 2.00 1.00 1.00 10.00 1.00 1.00

time (sec)

N/A 0.011 0.001 0.050 1.258 0.577 0.165 0.679 0.288

Problem 605

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 36 24 16 26 0 17 16

N.S.

1 1.00 1.64 1.09 0.73 1.18 0.00 0.77 0.73

time (sec)

N/A 0.017 0.021 0.033 1.740 0.638 0.000 0.616 0.059

Problem 606

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 13 18 18 11 21 0 11 11

N.S.

1 1.00 1.38 1.38 0.85 1.62 0.00 0.85 0.85

time (sec)

N/A 0.021 0.019 0.035 2.635 1.509 0.000 0.651 0.303

Problem 607

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 20 18 11 22 0 11 11

N.S.

1 1.00 1.33 1.20 0.73 1.47 0.00 0.73 0.73

time (sec)

N/A 0.024 0.020 0.049 2.843 0.644 0.000 1.002 0.044

Problem 608

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 19 19 26 25 56 0 32

N.S.

1 1.00 0.73 0.73 1.00 0.96 2.15 0.00 1.23

time (sec)

N/A 0.008 0.007 0.015 2.404 0.767 0.195 0.000 0.401

Problem 609

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 30 41 42 45 155 84 43

N.S.

1 1.00 0.71 0.98 1.00 1.07 3.69 2.00 1.02

time (sec)

N/A 0.017 0.009 0.019 1.489 0.666 0.331 1.268 0.354

Problem 610

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 34 21 23 22 17 34 22 17

N.S.

1 1.00 0.62 0.68 0.65 0.50 1.00 0.65 0.50

time (sec)

N/A 0.013 0.004 0.058 0.552 0.817 0.999 1.010 0.037

Problem 611

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 28 28 27 25 25 22 24 21

N.S.

1 1.00 1.00 0.96 0.89 0.89 0.79 0.86 0.75

time (sec)

N/A 0.007 0.004 0.012 1.462 0.631 0.039 0.929 0.332

Problem 612

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

67 67 81 69 69 69 71 71 71

N.S.

1 1.00 1.21 1.03 1.03 1.03 1.06 1.06 1.06

time (sec)

N/A 0.023 0.013 0.086 0.516 0.919 0.060 1.528 0.381

Problem 613

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 23 23 24 36 23 26 23 20

N.S.

1 1.00 1.00 1.04 1.57 1.00 1.13 1.00 0.87

time (sec)

N/A 0.011 0.005 0.022 1.496 0.856 0.039 1.746 0.294

Problem 614

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

60 60 60 53 66 48 51 52 51

N.S.

1 1.00 1.00 0.88 1.10 0.80 0.85 0.87 0.85

time (sec)

N/A 0.063 0.008 0.014 0.511 0.633 0.062 1.455 0.374

Problem 615

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

43 43 43 37 8 34 32 0 29

N.S.

1 1.00 1.00 0.86 0.19 0.79 0.74 0.00 0.67

time (sec)

N/A 0.048 0.020 0.014 1.490 0.788 0.337 0.000 0.279

Problem 616

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 30 32 25 0 177 0 -1

N.S.

1 1.00 1.03 1.10 0.86 0.00 6.10 0.00 -0.03

time (sec)

N/A 0.016 0.004 0.079 0.500 0.000 3.449 0.000 0.000

Problem 617

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

29 29 27 30 38 34 24 138 35

N.S.

1 1.00 0.93 1.03 1.31 1.17 0.83 4.76 1.21

time (sec)

N/A 0.010 0.010 0.081 1.336 0.662 0.097 1.450 0.392

Problem 618

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

12 12 12 13 12 12 15 12 22

N.S.

1 1.00 1.00 1.08 1.00 1.00 1.25 1.00 1.83

time (sec)

N/A 0.011 0.003 0.018 0.286 0.735 0.410 1.753 0.333

Problem 619

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 19 19 20 19 22 36 19 19

N.S.

1 1.00 1.00 1.05 1.00 1.16 1.89 1.00 1.00

time (sec)

N/A 0.018 0.006 0.024 0.282 0.609 0.581 0.784 0.450

Problem 620

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

11 11 11 12 11 11 8 30 11

N.S.

1 1.00 1.00 1.09 1.00 1.00 0.73 2.73 1.00

time (sec)

N/A 0.017 0.011 0.015 2.175 0.784 0.043 0.812 0.294

Problem 621

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 23 24 0 27 71 22 22

N.S.

1 1.00 1.00 1.04 0.00 1.17 3.09 0.96 0.96

time (sec)

N/A 0.022 0.008 0.023 0.000 0.854 5.603 1.359 0.427

Problem 622

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 46 15 7 18 0 18 14

N.S.

1 1.00 2.88 0.94 0.44 1.12 0.00 1.12 0.88

time (sec)

N/A 0.025 0.015 0.015 1.604 0.736 0.000 1.339 0.430

Problem 623

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 50 17 20 20 0 0 16

N.S.

1 1.00 2.78 0.94 1.11 1.11 0.00 0.00 0.89

time (sec)

N/A 0.027 0.016 0.015 1.222 0.560 0.000 0.000 0.392

Problem 624

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 18 17 7 25 0 10 16

N.S.

1 1.00 1.00 0.94 0.39 1.39 0.00 0.56 0.89

time (sec)

N/A 0.026 0.015 0.014 1.425 0.627 0.000 2.712 0.612

Problem 625

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 22 37 13 44 0 0 27

N.S.

1 1.00 1.00 1.68 0.59 2.00 0.00 0.00 1.23

time (sec)

N/A 0.057 0.010 0.013 2.384 0.665 0.000 0.000 0.581

Problem 626

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 24 39 37 27 0 0 22

N.S.

1 1.00 1.00 1.62 1.54 1.12 0.00 0.00 0.92

time (sec)

N/A 0.064 0.011 0.015 3.411 0.777 0.000 0.000 0.608

Problem 627

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 23 43 13 27 0 21 25

N.S.

1 1.00 1.00 1.87 0.57 1.17 0.00 0.91 1.09

time (sec)

N/A 0.064 0.012 0.014 3.468 0.694 0.000 2.072 0.524

Problem 628

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 10 11 8

N.S.

1 1.00 1.00 1.09 1.00 1.00 0.91 1.00 0.73

time (sec)

N/A 0.005 0.006 0.013 1.589 1.694 0.055 0.997 0.322

Problem 629

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 20 20 21 15 20 24 20 15

N.S.

1 1.00 1.00 1.05 0.75 1.00 1.20 1.00 0.75

time (sec)

N/A 0.012 0.006 0.020 5.289 0.725 0.086 1.531 0.377

Problem 630

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

29 29 29 30 22 29 36 29 29

N.S.

1 1.00 1.00 1.03 0.76 1.00 1.24 1.00 1.00

time (sec)

N/A 0.014 0.006 0.020 2.070 0.824 0.116 1.913 0.361

Problem 631

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

38 38 38 39 29 38 48 38 38

N.S.

1 1.00 1.00 1.03 0.76 1.00 1.26 1.00 1.00

time (sec)

N/A 0.016 0.007 0.024 2.385 0.815 0.148 2.010 0.371

Problem 632

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 24 0 29 14 24 0 24

N.S.

1 1.00 1.00 0.00 1.21 0.58 1.00 0.00 1.00

time (sec)

N/A 0.022 0.021 0.005 0.466 0.254 0.885 0.000 0.451

Problem 633

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

4 4 4 5 4 4 0 5 4

N.S.

1 1.00 1.00 1.25 1.00 1.00 0.00 1.25 1.00

time (sec)

N/A 0.014 0.008 0.115 3.388 1.346 0.000 1.636 0.396

Problem 634

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 10 9 12 7 9 9

N.S.

1 1.00 1.00 1.43 1.29 1.71 1.00 1.29 1.29

time (sec)

N/A 0.030 0.005 0.041 2.578 0.889 0.810 1.356 0.387

Problem 635

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

11 11 11 12 11 46 10 38 8

N.S.

1 1.00 1.00 1.09 1.00 4.18 0.91 3.45 0.73

time (sec)

N/A 0.008 0.007 0.079 1.253 1.025 0.192 1.398 0.365

Problem 636

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

9 9 9 8 7 7 0 0 16

N.S.

1 1.00 1.00 0.89 0.78 0.78 0.00 0.00 1.78

time (sec)

N/A 0.010 0.004 0.086 1.776 0.656 0.000 0.000 0.439

Problem 637

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 26 23 0 22 20 22 22

N.S.

1 1.00 1.00 0.88 0.00 0.85 0.77 0.85 0.85

time (sec)

N/A 0.004 0.015 0.007 0.000 0.942 4.787 1.548 0.078

Problem 638

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

35 35 27 26 25 26 26 27 25

N.S.

1 1.00 0.77 0.74 0.71 0.74 0.74 0.77 0.71

time (sec)

N/A 0.010 0.009 0.026 1.913 0.721 0.055 1.363 0.065

Problem 639

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 24 24 20 26 0 20 24

N.S.

1 1.00 0.75 0.75 0.62 0.81 0.00 0.62 0.75

time (sec)

N/A 0.035 0.018 0.020 2.451 0.501 0.000 1.982 0.380

Problem 640

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 42 43 42 42 0 43 31

N.S.

1 1.00 0.81 0.83 0.81 0.81 0.00 0.83 0.60

time (sec)

N/A 0.029 0.018 0.017 3.059 0.493 0.000 1.155 0.548

Problem 641

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 30 197 25 24 42 26 -1

N.S.

1 1.00 1.00 6.57 0.83 0.80 1.40 0.87 -0.03

time (sec)

N/A 0.025 0.006 0.184 1.314 0.523 0.841 1.390 0.000

Problem 642

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

30 30 29 55 25 39 46 26 148

N.S.

1 1.00 0.97 1.83 0.83 1.30 1.53 0.87 4.93

time (sec)

N/A 0.038 0.045 0.299 1.575 0.492 12.452 0.907 1.803

Problem 643

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 32 164 56 32 0 43 39

N.S.

1 1.00 1.14 5.86 2.00 1.14 0.00 1.54 1.39

time (sec)

N/A 0.027 0.053 0.147 2.341 0.486 0.000 1.251 0.576

Problem 644

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

60 60 56 106 86 53 88 36 164

N.S.

1 1.00 0.93 1.77 1.43 0.88 1.47 0.60 2.73

time (sec)

N/A 0.091 0.096 0.276 2.277 0.523 3.068 0.785 0.787

Problem 645

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 52 52 51 44 0 104 -1

N.S.

1 1.00 0.80 0.80 0.78 0.68 0.00 1.60 -0.02

time (sec)

N/A 0.070 0.023 0.050 1.468 0.464 0.000 1.144 0.000

Problem 646

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

61 61 42 37 47 36 54 57 -1

N.S.

1 1.00 0.69 0.61 0.77 0.59 0.89 0.93 -0.02

time (sec)

N/A 0.059 0.014 0.099 2.212 0.449 0.141 1.065 0.000

Problem 647

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

53 53 37 42 44 36 44 41 41

N.S.

1 1.00 0.70 0.79 0.83 0.68 0.83 0.77 0.77

time (sec)

N/A 0.077 0.010 0.054 1.822 0.429 0.142 0.874 0.344

Problem 648

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

61 61 56 48 64 53 53 0 44

N.S.

1 1.00 0.92 0.79 1.05 0.87 0.87 0.00 0.72

time (sec)

N/A 0.086 0.011 0.079 3.294 0.423 0.256 0.000 0.105

Problem 649

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 42 56 95 35 0 106 -1

N.S.

1 1.00 0.67 0.89 1.51 0.56 0.00 1.68 -0.02

time (sec)

N/A 0.048 0.028 0.048 2.069 0.546 0.000 1.174 0.000

Problem 650

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 92 174 0 77 0 137 -1

N.S.

1 1.00 0.62 1.18 0.00 0.52 0.00 0.93 -0.01

time (sec)

N/A 0.099 0.044 0.151 0.000 0.644 0.000 1.574 0.000

Problem 651

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

34 34 30 31 30 26 39 27 -1

N.S.

1 1.00 0.88 0.91 0.88 0.76 1.15 0.79 -0.03

time (sec)

N/A 0.020 0.007 0.094 2.100 0.517 0.967 1.154 0.000

Problem 652

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

34 34 30 33 30 26 39 27 -1

N.S.

1 1.00 0.88 0.97 0.88 0.76 1.15 0.79 -0.03

time (sec)

N/A 0.020 0.011 0.109 1.729 0.508 1.068 1.401 0.000

Problem 653

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 26 134 22 27 37 22 -1

N.S.

1 1.00 0.87 4.47 0.73 0.90 1.23 0.73 -0.03

time (sec)

N/A 0.019 0.017 0.197 2.067 0.485 0.177 1.702 0.000

Problem 654

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

59 59 42 54 50 39 53 50 -1

N.S.

1 1.00 0.71 0.92 0.85 0.66 0.90 0.85 -0.02

time (sec)

N/A 0.034 0.020 0.133 1.508 0.476 0.329 1.233 0.000

Problem 655

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 33 37 27 37 63 34 -1

N.S.

1 1.00 0.89 1.00 0.73 1.00 1.70 0.92 -0.03

time (sec)

N/A 0.025 0.021 0.108 0.817 0.476 0.488 1.055 0.000

Problem 656

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 47 286 49 47 88 60 -1

N.S.

1 1.00 0.77 4.69 0.80 0.77 1.44 0.98 -0.02

time (sec)

N/A 0.050 0.035 0.312 1.275 0.483 8.600 0.830 0.000

Problem 657

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 119 230 0 0 0 0 -1

N.S.

1 1.00 1.25 2.42 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.106 0.180 0.288 0.000 0.000 0.000 0.000 0.000

Problem 658

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 36 201 35 44 0 135 -1

N.S.

1 1.00 0.88 4.90 0.85 1.07 0.00 3.29 -0.02

time (sec)

N/A 0.040 0.027 0.722 1.322 0.558 0.000 0.877 0.000

Problem 659

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

34 34 28 32 32 26 26 27 -1

N.S.

1 1.00 0.82 0.94 0.94 0.76 0.76 0.79 -0.03

time (sec)

N/A 0.040 0.008 0.100 1.006 0.502 0.100 1.034 0.000

Problem 660

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

61 61 43 54 52 39 53 50 -1

N.S.

1 1.00 0.70 0.89 0.85 0.64 0.87 0.82 -0.02

time (sec)

N/A 0.069 0.015 0.136 1.098 0.519 0.239 0.962 0.000

Problem 661

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 19 46 25 44 20 27 -1

N.S.

1 1.00 1.00 2.42 1.32 2.32 1.05 1.42 -0.05

time (sec)

N/A 0.026 0.008 0.095 0.939 0.541 4.505 0.931 0.000

Problem 662

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 32 47 25 44 20 27 -1

N.S.

1 1.00 1.88 2.76 1.47 2.59 1.18 1.59 -0.06

time (sec)

N/A 0.024 0.030 0.099 0.919 0.537 4.831 1.392 0.000

Problem 663

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

62 62 45 63 48 61 78 54 -1

N.S.

1 1.00 0.73 1.02 0.77 0.98 1.26 0.87 -0.02

time (sec)

N/A 0.025 0.053 0.094 1.246 0.473 15.639 1.101 0.000

Problem 664

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

36 36 40 61 45 57 37 40 -1

N.S.

1 1.00 1.11 1.69 1.25 1.58 1.03 1.11 -0.03

time (sec)

N/A 0.048 0.036 0.419 1.652 0.519 8.398 1.052 0.000

Problem 665

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 112 97 0 0 0 0 -1

N.S.

1 1.00 1.81 1.56 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.080 0.132 0.426 0.000 0.000 0.000 0.000 0.000

Problem 666

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 38 43 42 36 49 95 -1

N.S.

1 1.00 0.70 0.80 0.78 0.67 0.91 1.76 -0.02

time (sec)

N/A 0.061 0.025 0.112 1.340 0.521 6.606 0.777 0.000

Problem 667

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 50 158 52 41 78 53 -1

N.S.

1 1.00 0.76 2.39 0.79 0.62 1.18 0.80 -0.02

time (sec)

N/A 0.053 0.030 0.188 1.351 0.490 0.354 0.785 0.000

Problem 668

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 60 69 0 49 66 60 -1

N.S.

1 1.00 0.82 0.95 0.00 0.67 0.90 0.82 -0.01

time (sec)

N/A 0.105 0.015 0.118 0.000 0.582 0.231 0.739 0.000

Problem 669

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 32 21 27 26 19 31 26 21

N.S.

1 1.00 0.66 0.84 0.81 0.59 0.97 0.81 0.66

time (sec)

N/A 0.019 0.012 0.091 1.580 0.521 0.218 0.646 0.078

Problem 670

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 36 37 39 38 88 34 26

N.S.

1 1.00 0.82 0.84 0.89 0.86 2.00 0.77 0.59

time (sec)

N/A 0.021 0.014 0.093 1.019 0.521 0.330 0.680 0.319

Problem 671

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 23 23 20 24 19 19 19 19

N.S.

1 1.00 1.00 0.87 1.04 0.83 0.83 0.83 0.83

time (sec)

N/A 0.033 0.012 0.069 2.506 0.501 0.110 0.808 0.309

Problem 672

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 57 128 0 0 0 0 -1

N.S.

1 1.00 0.85 1.91 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.067 0.018 0.080 0.000 0.000 0.000 0.000 0.000

Problem 673

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 28 29 40 26 0 0 23

N.S.

1 1.00 0.82 0.85 1.18 0.76 0.00 0.00 0.68

time (sec)

N/A 0.032 0.012 0.108 1.564 0.657 0.000 0.000 0.065

Problem 674

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 64 139 0 0 0 0 -1

N.S.

1 1.00 0.81 1.76 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.083 0.039 0.089 0.000 0.000 0.000 0.000 0.000

Problem 675

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 70 149 0 0 0 0 -1

N.S.

1 1.00 0.79 1.67 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.168 0.127 0.086 0.000 0.000 0.000 0.000 0.000

Problem 676

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 22 23 21 26 19 25 22

N.S.

1 1.00 1.00 1.05 0.95 1.18 0.86 1.14 1.00

time (sec)

N/A 0.025 0.005 0.050 1.136 0.576 0.117 1.283 0.066

Problem 677

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 59 30 31 26 34 31 30

N.S.

1 1.00 1.90 0.97 1.00 0.84 1.10 1.00 0.97

time (sec)

N/A 0.016 0.006 0.050 0.911 0.574 0.254 1.646 0.322

Problem 678

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 81 79 71 0 0 0 53

N.S.

1 1.00 1.29 1.25 1.13 0.00 0.00 0.00 0.84

time (sec)

N/A 0.058 0.009 0.096 1.532 0.000 0.000 0.000 0.498

Problem 679

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

28 28 28 25 27 29 22 0 24

N.S.

1 1.00 1.00 0.89 0.96 1.04 0.79 0.00 0.86

time (sec)

N/A 0.039 0.007 0.115 3.095 0.805 0.173 0.000 0.089

Problem 680

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

39 39 38 34 36 38 32 0 31

N.S.

1 1.00 0.97 0.87 0.92 0.97 0.82 0.00 0.79

time (sec)

N/A 0.048 0.012 0.066 3.769 0.579 0.186 0.000 0.074

Problem 681

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

60 60 56 57 71 54 61 0 51

N.S.

1 1.00 0.93 0.95 1.18 0.90 1.02 0.00 0.85

time (sec)

N/A 0.053 0.020 0.084 3.244 0.669 0.265 0.000 0.120

Problem 682

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 82 47 78 94 51 0 0 56

N.S.

1 1.04 0.59 0.99 1.19 0.65 0.00 0.00 0.71

time (sec)

N/A 0.092 0.020 0.137 3.224 1.011 0.000 0.000 0.360

Problem 683

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 116 116 708 0 0 0 0 -1

N.S.

1 1.08 1.08 6.62 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.102 0.133 0.464 0.000 0.000 0.000 0.000 0.000

Problem 684

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 133 86 305 0 51 0 0 -1

N.S.

1 1.25 0.81 2.88 0.00 0.48 0.00 0.00 -0.01

time (sec)

N/A 0.135 0.230 0.408 0.000 0.994 0.000 0.000 0.000

Problem 685

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 48 329 27 23 0 75 -1

N.S.

1 1.00 1.17 8.02 0.66 0.56 0.00 1.83 -0.02

time (sec)

N/A 0.034 0.032 0.484 3.765 0.751 0.000 0.672 0.000

Problem 686

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 67 67 128 48 75 0 58 -1

N.S.

1 1.03 1.03 1.97 0.74 1.15 0.00 0.89 -0.02

time (sec)

N/A 0.023 0.082 0.417 2.519 1.014 0.000 0.624 0.000

Problem 687

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 53 61 121 46 68 0 53 -1

N.S.

1 1.04 1.20 2.37 0.90 1.33 0.00 1.04 -0.02

time (sec)

N/A 0.044 0.075 0.512 1.707 1.105 0.000 0.688 0.000

Problem 688

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 84 72 197 0 69 0 64 -1

N.S.

1 1.02 0.88 2.40 0.00 0.84 0.00 0.78 -0.01

time (sec)

N/A 0.060 0.120 0.650 0.000 1.191 0.000 0.745 0.000

Problem 689

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

175 232 383 240 0 0 0 0 -1

N.S.

1 1.33 2.19 1.37 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.223 1.254 0.841 0.000 0.000 0.000 0.000 0.000

Problem 690

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 35 178 17 16 0 50 -1

N.S.

1 1.00 1.52 7.74 0.74 0.70 0.00 2.17 -0.04

time (sec)

N/A 0.033 0.023 0.377 1.597 0.801 0.000 0.843 0.000

Problem 691

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 91 79 702 123 81 0 105 -1

N.S.

1 1.30 1.13 10.03 1.76 1.16 0.00 1.50 -0.01

time (sec)

N/A 0.057 0.097 0.633 4.484 0.656 0.000 0.796 0.000

Problem 692

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 101 76 330 58 37 0 0 -1

N.S.

1 1.36 1.03 4.46 0.78 0.50 0.00 0.00 -0.01

time (sec)

N/A 0.125 0.041 0.532 3.628 0.594 0.000 0.000 0.000

Problem 693

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 172 84 386 0 59 0 0 -1

N.S.

1 1.29 0.63 2.90 0.00 0.44 0.00 0.00 -0.01

time (sec)

N/A 0.140 0.186 0.583 0.000 0.595 0.000 0.000 0.000

Problem 694

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 146 92 536 93 57 0 0 -1

N.S.

1 1.33 0.84 4.87 0.85 0.52 0.00 0.00 -0.01

time (sec)

N/A 0.133 0.050 0.540 3.204 0.777 0.000 0.000 0.000

Problem 695

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 125 99 86 103 51 0 0 -1

N.S.

1 2.27 1.80 1.56 1.87 0.93 0.00 0.00 -0.02

time (sec)

N/A 0.436 0.098 0.034 1.671 0.719 0.000 0.000 0.000

Problem 696

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 71 66 89 58 0 49 36

N.S.

1 1.00 1.78 1.65 2.22 1.45 0.00 1.22 0.90

time (sec)

N/A 0.032 0.060 0.051 1.818 0.748 0.000 1.169 0.364

Problem 697

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 35 32 31 50 153 32 31

N.S.

1 1.00 0.90 0.82 0.79 1.28 3.92 0.82 0.79

time (sec)

N/A 0.022 0.022 0.105 1.800 0.533 0.247 0.974 0.359

Problem 698

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 105 102 118 0 0 0 -1

N.S.

1 1.00 0.86 0.84 0.97 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.066 0.019 0.112 1.825 0.000 0.000 0.000 0.000

Problem 699

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 28 0 0 14 22 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.50 0.79 0.00 -0.04

time (sec)

N/A 0.022 0.013 0.065 0.000 0.609 0.407 0.000 0.000

Problem 700

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

31 31 31 26 25 25 26 25 25

N.S.

1 1.00 1.00 0.84 0.81 0.81 0.84 0.81 0.81

time (sec)

N/A 0.026 0.022 0.073 2.348 1.087 0.647 1.067 0.571

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