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

Integrals 2601 to 2700

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 2601

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 32 35 32 28 31 37 28 57 31

N.S.

1 1.23 1.35 1.23 1.08 1.19 1.42 1.08 2.19 1.19

time (sec)

N/A 0.334 0.009 0.796 0.033 0.090 0.143 0.114 0.160 3.617

Problem 2602

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 243 36 178 210 166 204 227 200 32

N.S.

1 7.84 1.16 5.74 6.77 5.35 6.58 7.32 6.45 1.03

time (sec)

N/A 0.747 0.030 240.444 0.033 0.092 0.164 0.117 0.167 3.678

Problem 2603

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 41 18 17 16 16 15 16 18 16

N.S.

1 2.05 0.90 0.85 0.80 0.80 0.75 0.80 0.90 0.80

time (sec)

N/A 0.304 0.049 0.363 0.115 0.092 0.147 0.122 0.162 3.717

Problem 2604

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 25 36 41 30 32 39 330 32

N.S.

1 0.00 1.04 1.50 1.71 1.25 1.33 1.62 13.75 1.33

time (sec)

N/A 0.000 0.067 6.052 0.167 0.096 0.244 0.269 0.178 3.783

Problem 2605

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 25 25 51 24 22 43 28 24

N.S.

1 0.00 0.96 0.96 1.96 0.92 0.85 1.65 1.08 0.92

time (sec)

N/A 0.000 0.034 3.665 0.206 0.078 0.110 0.202 0.176 5.201

Problem 2606

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 33 27 34 29 29 34 38 30

N.S.

1 0.00 1.38 1.12 1.42 1.21 1.21 1.42 1.58 1.25

time (sec)

N/A 0.000 1.069 2.145 0.144 0.098 0.352 0.127 3.218 3.776

Problem 2607

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 367 128 39 546 40 36 40 39 40

N.S.

1 14.12 4.92 1.50 21.00 1.54 1.38 1.54 1.50 1.54

time (sec)

N/A 0.811 0.077 1.980 0.156 0.090 0.132 0.119 0.152 0.070

Problem 2608

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

13 13 13 13 12 12 12 13 13 12

N.S.

1 1.00 1.00 1.00 0.92 0.92 0.92 1.00 1.00 0.92

time (sec)

N/A 0.486 0.138 0.126 0.056 0.083 0.075 0.124 0.154 3.714

Problem 2609

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

36 0 38 29 0 31 39 79 616 39

N.S.

1 0.00 1.06 0.81 0.00 0.86 1.08 2.19 17.11 1.08

time (sec)

N/A 0.000 2.512 0.210 0.000 0.089 0.125 0.178 1.981 3.802

Problem 2610

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 0 34 77 58 52 0 58 66 51

N.S.

1 0.00 1.21 2.75 2.07 1.86 0.00 2.07 2.36 1.82

time (sec)

N/A 0.000 0.168 0.129 0.145 0.099 0.000 0.128 0.166 3.787

Problem 2611

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 67 23 22 32 24 29 24 38 34

N.S.

1 2.58 0.88 0.85 1.23 0.92 1.12 0.92 1.46 1.31

time (sec)

N/A 1.973 0.581 0.230 0.095 0.081 0.109 0.129 0.176 3.753

Problem 2612

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

20 25 19 16 15 15 17 15 17 15

N.S.

1 1.25 0.95 0.80 0.75 0.75 0.85 0.75 0.85 0.75

time (sec)

N/A 0.255 0.005 0.077 0.025 0.098 0.046 0.117 0.166 0.032

Problem 2613

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

11 11 11 9 8 8 7 8 9 8

N.S.

1 1.00 1.00 0.82 0.73 0.73 0.64 0.73 0.82 0.73

time (sec)

N/A 0.211 0.001 0.048 0.026 0.092 0.034 0.112 0.168 0.015

Problem 2614

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

17 25 17 18 17 17 14 17 17 17

N.S.

1 1.47 1.00 1.06 1.00 1.00 0.82 1.00 1.00 1.00

time (sec)

N/A 0.779 0.068 0.163 0.055 0.094 0.044 0.123 0.169 3.607

Problem 2615

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 47 21 23 0 37 20 18 35 18

N.S.

1 1.81 0.81 0.88 0.00 1.42 0.77 0.69 1.35 0.69

time (sec)

N/A 1.023 0.832 0.226 0.000 0.099 0.057 0.115 0.163 3.590

Problem 2616

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 43 59 43 56 23 19 86 26 23

N.S.

1 1.95 2.68 1.95 2.55 1.05 0.86 3.91 1.18 1.05

time (sec)

N/A 0.310 0.035 0.214 0.033 0.095 0.061 0.120 0.160 0.095

Problem 2617

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 133 40 43 0 45 0 80 117 0

N.S.

1 4.16 1.25 1.34 0.00 1.41 0.00 2.50 3.66 0.00

time (sec)

N/A 9.166 0.047 1.038 0.000 0.114 0.000 0.312 0.159 0.000

Problem 2618

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 67 51 45 65 18 27 41 27 18

N.S.

1 2.58 1.96 1.73 2.50 0.69 1.04 1.58 1.04 0.69

time (sec)

N/A 0.864 0.045 0.681 0.154 0.115 0.139 0.135 0.167 4.056

Problem 2619

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 889 23 24 29 26 19 80 39 26

N.S.

1 34.19 0.88 0.92 1.12 1.00 0.73 3.08 1.50 1.00

time (sec)

N/A 2.834 0.316 0.580 0.171 0.101 0.090 0.123 0.163 4.032

Problem 2620

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 21 21 21 0 20 0 20 23 20

N.S.

1 0.95 0.95 0.95 0.00 0.91 0.00 0.91 1.05 0.91

time (sec)

N/A 0.922 0.221 6.778 0.000 0.095 0.000 0.161 0.163 4.036

Problem 2621

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 59 20 44 35 39 36 35 36

N.S.

1 0.00 2.46 0.83 1.83 1.46 1.62 1.50 1.46 1.50

time (sec)

N/A 0.000 0.280 0.754 0.076 0.106 0.238 0.118 0.165 4.323

Problem 2622

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 33 37 54 52 36 54 54 0

N.S.

1 0.00 1.10 1.23 1.80 1.73 1.20 1.80 1.80 0.00

time (sec)

N/A 0.000 0.074 9.426 0.083 0.092 0.112 0.143 0.161 0.000

Problem 2623

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

21 21 21 20 21 21 15 23 27 19

N.S.

1 1.00 1.00 0.95 1.00 1.00 0.71 1.10 1.29 0.90

time (sec)

N/A 0.250 0.006 0.131 0.026 0.076 0.039 0.113 0.162 0.036

Problem 2624

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 26 27 32 27 20 699 32 0

N.S.

1 0.00 0.96 1.00 1.19 1.00 0.74 25.89 1.19 0.00

time (sec)

N/A 0.000 0.073 1.332 0.165 0.086 0.145 2.393 0.165 0.000

Problem 2625

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 0 22 20 19 19 15 19 106 85

N.S.

1 0.00 1.00 0.91 0.86 0.86 0.68 0.86 4.82 3.86

time (sec)

N/A 0.000 0.369 0.721 0.073 0.109 0.095 0.142 200.018 4.304

Problem 2626

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 0 22 20 19 19 19 19 22 19

N.S.

1 0.00 1.16 1.05 1.00 1.00 1.00 1.00 1.16 1.00

time (sec)

N/A 0.000 0.639 0.178 0.071 0.099 0.083 0.122 0.157 0.062

Problem 2627

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

16 23 16 15 14 20 14 20 16 14

N.S.

1 1.44 1.00 0.94 0.88 1.25 0.88 1.25 1.00 0.88

time (sec)

N/A 0.314 0.046 0.152 0.079 0.091 0.062 0.116 0.166 4.247

Problem 2628

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

21 19 13 11 10 10 7 15 11 10

N.S.

1 0.90 0.62 0.52 0.48 0.48 0.33 0.71 0.52 0.48

time (sec)

N/A 0.218 0.005 0.141 0.031 0.093 0.046 0.113 0.168 4.165

Problem 2629

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 24 0 29 47 47 32 28 237 28

N.S.

1 1.00 0.00 1.21 1.96 1.96 1.33 1.17 9.88 1.17

time (sec)

N/A 0.250 0.000 0.296 0.061 0.098 0.360 0.136 0.168 4.070

Problem 2630

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 987 24 43 42 42 0 47 46 42

N.S.

1 42.91 1.04 1.87 1.83 1.83 0.00 2.04 2.00 1.83

time (sec)

N/A 3.492 0.082 0.706 0.148 0.083 0.000 0.153 0.161 4.285

Problem 2631

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 56 21 21 20 20 17 20 24 22

N.S.

1 3.11 1.17 1.17 1.11 1.11 0.94 1.11 1.33 1.22

time (sec)

N/A 0.387 0.469 0.086 0.124 0.097 0.050 0.116 0.230 4.001

Problem 2632

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 0 57 53 264 203 48 0 0 130

N.S.

1 0.00 1.63 1.51 7.54 5.80 1.37 0.00 0.00 3.71

time (sec)

N/A 0.000 0.703 221.012 0.347 0.103 3.291 0.000 1.740 5.098

Problem 2633

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 0 18 42 22 20 0 29 19

N.S.

1 0.00 0.00 0.58 1.35 0.71 0.65 0.00 0.94 0.61

time (sec)

N/A 0.000 0.000 0.036 0.202 0.107 9.338 0.000 0.158 3.997

Problem 2634

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

12 16 13 14 17 17 14 18 14 28

N.S.

1 1.33 1.08 1.17 1.42 1.42 1.17 1.50 1.17 2.33

time (sec)

N/A 0.236 0.006 0.163 0.031 0.090 0.101 0.115 0.155 3.934

Problem 2635

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 0 17 18 18 18 14 19 17 34

N.S.

1 0.00 0.74 0.78 0.78 0.78 0.61 0.83 0.74 1.48

time (sec)

N/A 0.000 0.095 0.238 0.059 0.073 0.075 0.114 0.156 3.925

Problem 2636

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

8 8 8 7 6 6 5 7 6 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.62 0.88 0.75 0.75

time (sec)

N/A 0.157 0.000 0.066 0.029 0.081 0.020 0.106 0.159 0.017

Problem 2637

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

9 8 8 9 8 8 7 9 8 8

N.S.

1 0.89 0.89 1.00 0.89 0.89 0.78 1.00 0.89 0.89

time (sec)

N/A 0.175 0.001 0.033 0.024 0.081 0.028 0.119 0.157 0.010

Problem 2638

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 54 33 33 47 47 36 47 39 30

N.S.

1 2.70 1.65 1.65 2.35 2.35 1.80 2.35 1.95 1.50

time (sec)

N/A 0.250 0.005 0.106 0.030 0.097 0.022 0.109 0.159 0.052

Problem 2639

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A C A A F B B

verified

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

size

21 19 17 17 30 18 19 0 17 16

N.S.

1 0.90 0.81 0.81 1.43 0.86 0.90 0.00 0.81 0.76

time (sec)

N/A 0.264 0.015 0.311 0.135 0.098 0.058 0.000 0.156 3.842

Problem 2640

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 0 20 24 29 35 17 20 42 23

N.S.

1 0.00 0.69 0.83 1.00 1.21 0.59 0.69 1.45 0.79

time (sec)

N/A 0.000 0.135 1.957 0.057 0.077 0.055 0.135 0.158 3.979

Problem 2641

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

25 50 26 26 27 28 22 28 29 29

N.S.

1 2.00 1.04 1.04 1.08 1.12 0.88 1.12 1.16 1.16

time (sec)

N/A 0.313 0.779 0.222 0.089 0.085 0.055 0.119 0.174 4.032

Problem 2642

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 0 24 22 31 21 17 21 24 21

N.S.

1 0.00 1.14 1.05 1.48 1.00 0.81 1.00 1.14 1.00

time (sec)

N/A 0.000 0.152 0.278 0.155 0.096 0.084 0.129 0.159 4.162

Problem 2643

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 35 48 31 30 33 29 35 36 33

N.S.

1 1.09 1.50 0.97 0.94 1.03 0.91 1.09 1.12 1.03

time (sec)

N/A 0.682 0.047 0.238 0.031 0.091 0.682 0.113 0.155 4.074

Problem 2644

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

23 31 21 23 23 23 22 23 22 21

N.S.

1 1.35 0.91 1.00 1.00 1.00 0.96 1.00 0.96 0.91

time (sec)

N/A 0.264 0.007 0.116 0.034 0.080 0.201 0.113 0.156 3.935

Problem 2645

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 0 19 22 28 25 20 28 21 0

N.S.

1 0.00 1.00 1.16 1.47 1.32 1.05 1.47 1.11 0.00

time (sec)

N/A 0.000 0.514 4.306 0.174 0.081 0.117 0.264 0.165 0.000

Problem 2646

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 42 70 54 52 37 76 82 57

N.S.

1 0.00 1.62 2.69 2.08 2.00 1.42 2.92 3.15 2.19

time (sec)

N/A 0.000 0.073 0.032 0.077 0.104 0.111 0.139 0.159 4.085

Problem 2647

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

19 19 19 19 17 17 19 17 20 18

N.S.

1 1.00 1.00 1.00 0.89 0.89 1.00 0.89 1.05 0.95

time (sec)

N/A 0.242 0.002 0.372 0.027 0.076 0.042 0.114 0.154 0.046

Problem 2648

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

25 11 12 12 11 10 10 11 11 11

N.S.

1 0.44 0.48 0.48 0.44 0.40 0.40 0.44 0.44 0.44

time (sec)

N/A 0.154 0.000 0.092 0.027 0.057 0.019 0.104 0.158 0.001

Problem 2649

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 26 20 25 18 26 22 18 42 22

N.S.

1 1.24 0.95 1.19 0.86 1.24 1.05 0.86 2.00 1.05

time (sec)

N/A 0.429 0.055 0.237 0.187 0.092 0.064 0.115 79.626 4.266

Problem 2650

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

27 30 29 27 32 30 22 26 36 26

N.S.

1 1.11 1.07 1.00 1.19 1.11 0.81 0.96 1.33 0.96

time (sec)

N/A 0.306 0.414 0.261 0.032 0.092 0.073 0.110 0.161 0.044

Problem 2651

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 59 52 49 67 56 44 90 98 56

N.S.

1 2.36 2.08 1.96 2.68 2.24 1.76 3.60 3.92 2.24

time (sec)

N/A 0.710 9.012 0.627 0.096 0.108 0.091 0.131 0.172 3.954

Problem 2652

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 0 42 21 41 41 17 41 50 23

N.S.

1 0.00 1.27 0.64 1.24 1.24 0.52 1.24 1.52 0.70

time (sec)

N/A 0.000 4.713 0.457 0.100 0.098 0.067 0.122 0.158 4.036

Problem 2653

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 0 226 38 53 53 51 50 52 229

N.S.

1 0.00 10.27 1.73 2.41 2.41 2.32 2.27 2.36 10.41

time (sec)

N/A 0.000 6.089 1.055 0.167 0.097 0.072 0.122 0.159 4.248

Problem 2654

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 39 25 39 68 36 39 38 27 22

N.S.

1 1.26 0.81 1.26 2.19 1.16 1.26 1.23 0.87 0.71

time (sec)

N/A 0.555 0.049 1.412 0.033 0.118 2.943 0.118 0.168 4.056

Problem 2655

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 43 38 43 35 32 43 55 49

N.S.

1 0.00 1.43 1.27 1.43 1.17 1.07 1.43 1.83 1.63

time (sec)

N/A 0.000 0.107 0.396 0.346 0.092 0.456 0.274 0.181 4.112

Problem 2656

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

10 6 6 7 6 6 5 7 6 6

N.S.

1 0.60 0.60 0.70 0.60 0.60 0.50 0.70 0.60 0.60

time (sec)

N/A 0.211 0.001 0.065 0.032 0.083 0.018 0.116 0.170 0.013

Problem 2657

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

16 14 14 13 14 14 10 14 12 13

N.S.

1 0.88 0.88 0.81 0.88 0.88 0.62 0.88 0.75 0.81

time (sec)

N/A 0.230 0.000 0.036 0.031 0.075 0.017 0.110 0.169 0.014

Problem 2658

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

19 26 23 24 25 17 17 25 28 23

N.S.

1 1.37 1.21 1.26 1.32 0.89 0.89 1.32 1.47 1.21

time (sec)

N/A 0.684 0.074 0.489 0.081 0.098 1.203 0.117 0.821 3.936

Problem 2659

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 22 20 18 24 17 17 74 18 17

N.S.

1 1.00 0.91 0.82 1.09 0.77 0.77 3.36 0.82 0.77

time (sec)

N/A 0.463 0.025 0.864 0.198 0.083 0.767 0.174 0.169 4.210

Problem 2660

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

14 12 12 13 12 12 12 14 12 12

N.S.

1 0.86 0.86 0.93 0.86 0.86 0.86 1.00 0.86 0.86

time (sec)

N/A 0.292 0.003 0.091 0.031 0.098 0.044 0.116 0.165 0.030

Problem 2661

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 33 25 25 29 20 31 35 25

N.S.

1 0.00 1.32 1.00 1.00 1.16 0.80 1.24 1.40 1.00

time (sec)

N/A 0.000 6.308 0.237 0.085 0.081 0.110 0.117 0.168 0.126

Problem 2662

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

20 17 17 18 17 17 17 18 17 17

N.S.

1 0.85 0.85 0.90 0.85 0.85 0.85 0.90 0.85 0.85

time (sec)

N/A 0.175 0.001 0.068 0.037 0.088 0.033 0.111 0.166 0.020

Problem 2663

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 96 40 36 35 35 37 35 68 40

N.S.

1 2.91 1.21 1.09 1.06 1.06 1.12 1.06 2.06 1.21

time (sec)

N/A 0.442 6.493 0.165 0.209 0.085 0.071 0.155 200.009 3.752

Problem 2664

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 53 15 36 13 19 25 37 24

N.S.

1 0.00 2.21 0.62 1.50 0.54 0.79 1.04 1.54 1.00

time (sec)

N/A 0.000 0.302 0.375 0.160 0.095 86.413 0.143 200.025 3.365

Problem 2665

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 49 43 79 166 191 0 89 228 33761

N.S.

1 1.88 1.65 3.04 6.38 7.35 0.00 3.42 8.77 1298.50

time (sec)

N/A 11.641 0.057 0.951 0.061 0.102 0.000 0.216 0.172 8.953

Problem 2666

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 0 22 22 38 38 17 38 35 65

N.S.

1 0.00 1.10 1.10 1.90 1.90 0.85 1.90 1.75 3.25

time (sec)

N/A 0.000 0.188 248.564 0.067 0.089 0.093 0.118 0.161 3.555

Problem 2667

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 33 27 18 21 20 14 25 28 21

N.S.

1 1.27 1.04 0.69 0.81 0.77 0.54 0.96 1.08 0.81

time (sec)

N/A 0.453 0.019 0.210 0.057 0.105 0.049 0.114 0.155 3.551

Problem 2668

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 35 32 21 20 49 20 76 53 20

N.S.

1 1.35 1.23 0.81 0.77 1.88 0.77 2.92 2.04 0.77

time (sec)

N/A 0.841 0.091 0.424 0.118 0.097 0.154 0.125 0.159 0.184

Problem 2669

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

22 34 19 21 15 27 26 20 25 15

N.S.

1 1.55 0.86 0.95 0.68 1.23 1.18 0.91 1.14 0.68

time (sec)

N/A 0.237 0.026 0.185 0.101 0.087 0.066 0.119 0.165 3.407

Problem 2670

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 0 38 38 51 49 32 37 357 0

N.S.

1 0.00 1.90 1.90 2.55 2.45 1.60 1.85 17.85 0.00

time (sec)

N/A 0.000 0.379 54.855 0.079 0.095 0.492 0.220 0.213 0.000

Problem 2671

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

24 14 14 12 14 14 12 14 12 11

N.S.

1 0.58 0.58 0.50 0.58 0.58 0.50 0.58 0.50 0.46

time (sec)

N/A 0.146 0.000 0.046 0.027 0.076 0.017 0.108 0.153 0.015

Problem 2672

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

22 31 31 40 28 23 32 35 35 35

N.S.

1 1.41 1.41 1.82 1.27 1.05 1.45 1.59 1.59 1.59

time (sec)

N/A 0.900 0.119 1.086 0.121 0.110 0.133 0.125 0.161 3.638

Problem 2673

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 28 21 19 44 20 15 18 17 16

N.S.

1 1.27 0.95 0.86 2.00 0.91 0.68 0.82 0.77 0.73

time (sec)

N/A 0.206 0.005 0.402 0.037 0.090 0.068 0.120 0.157 3.517

Problem 2674

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 0 23 28 87 87 34 68 90 0

N.S.

1 0.00 0.72 0.88 2.72 2.72 1.06 2.12 2.81 0.00

time (sec)

N/A 0.000 0.029 3.569 0.075 0.092 0.083 0.132 0.159 0.000

Problem 2675

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

25 30 38 25 24 24 26 24 33 28

N.S.

1 1.20 1.52 1.00 0.96 0.96 1.04 0.96 1.32 1.12

time (sec)

N/A 0.500 0.127 0.125 0.033 0.085 0.057 0.113 0.163 0.096

Problem 2676

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 0 17 16 40 34 15 0 21 19

N.S.

1 0.00 0.81 0.76 1.90 1.62 0.71 0.00 1.00 0.90

time (sec)

N/A 0.000 0.702 0.845 0.198 0.083 0.167 0.000 0.209 3.690

Problem 2677

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 26 54 68 66 71 140 153 70

N.S.

1 0.00 0.87 1.80 2.27 2.20 2.37 4.67 5.10 2.33

time (sec)

N/A 0.000 0.062 4.217 0.072 0.119 0.297 0.194 0.158 3.757

Problem 2678

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 22 12 12 27 14 10 14 12 11

N.S.

1 1.83 1.00 1.00 2.25 1.17 0.83 1.17 1.00 0.92

time (sec)

N/A 0.960 0.176 0.161 0.055 0.097 0.046 0.111 0.153 3.442

Problem 2679

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 55 42 48 26 40 20 0 150 0

N.S.

1 1.83 1.40 1.60 0.87 1.33 0.67 0.00 5.00 0.00

time (sec)

N/A 2.919 0.086 33.092 0.095 0.121 0.201 0.000 200.022 0.000

Problem 2680

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

27 24 24 25 29 24 22 24 20 24

N.S.

1 0.89 0.89 0.93 1.07 0.89 0.81 0.89 0.74 0.89

time (sec)

N/A 0.474 0.050 0.246 0.132 0.098 0.099 0.124 0.152 3.419

Problem 2681

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 0 48 52 39 43 146 55 40 0

N.S.

1 0.00 1.71 1.86 1.39 1.54 5.21 1.96 1.43 0.00

time (sec)

N/A 0.000 5.077 0.377 0.073 0.086 0.288 0.115 0.151 0.000

Problem 2682

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

29 17 17 14 13 17 14 14 17 13

N.S.

1 0.59 0.59 0.48 0.45 0.59 0.48 0.48 0.59 0.45

time (sec)

N/A 0.159 0.002 0.039 0.025 0.081 0.030 0.113 0.153 3.327

Problem 2683

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 0 20 17 16 16 17 16 21 63

N.S.

1 0.00 1.11 0.94 0.89 0.89 0.94 0.89 1.17 3.50

time (sec)

N/A 0.000 0.087 0.331 0.064 0.084 0.083 0.132 0.151 3.795

Problem 2684

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

25 16 16 16 39 17 14 15 20 15

N.S.

1 0.64 0.64 0.64 1.56 0.68 0.56 0.60 0.80 0.60

time (sec)

N/A 0.342 0.025 0.129 0.032 0.105 0.041 0.112 0.150 3.435

Problem 2685

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 79 28 39 34 40 34 51 41 44

N.S.

1 3.16 1.12 1.56 1.36 1.60 1.36 2.04 1.64 1.76

time (sec)

N/A 2.305 0.886 20.589 0.092 0.106 0.137 0.128 0.149 3.668

Problem 2686

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

28 36 29 23 36 28 31 30 26 21

N.S.

1 1.29 1.04 0.82 1.29 1.00 1.11 1.07 0.93 0.75

time (sec)

N/A 0.337 0.068 0.220 0.032 0.100 0.075 0.109 0.150 0.091

Problem 2687

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 39 29 54 51 73 71 226 562

N.S.

1 0.00 1.50 1.12 2.08 1.96 2.81 2.73 8.69 21.62

time (sec)

N/A 0.000 5.031 1.079 0.167 0.104 0.101 0.187 0.152 4.667

Problem 2688

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 0 27 25 24 24 26 24 28 27

N.S.

1 0.00 0.79 0.74 0.71 0.71 0.76 0.71 0.82 0.79

time (sec)

N/A 0.000 1.398 0.707 0.123 0.085 0.125 0.116 0.447 3.627

Problem 2689

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 0 66 55 51 52 65 57 66 0

N.S.

1 0.00 3.00 2.50 2.32 2.36 2.95 2.59 3.00 0.00

time (sec)

N/A 0.000 0.334 0.623 0.063 0.083 0.145 0.117 0.165 0.000

Problem 2690

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 0 153 136 138 173 150 150 0

N.S.

1 0.00 0.00 6.38 5.67 5.75 7.21 6.25 6.25 0.00

time (sec)

N/A 0.000 0.000 0.367 0.186 0.111 0.929 0.958 0.166 0.000

Problem 2691

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 0 20 20 17 17 22 0 18 17

N.S.

1 0.00 0.91 0.91 0.77 0.77 1.00 0.00 0.82 0.77

time (sec)

N/A 0.000 0.230 2.628 0.069 0.091 0.326 0.000 0.159 3.617

Problem 2692

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 22 28 27 28 19 50 39 25

N.S.

1 0.00 0.85 1.08 1.04 1.08 0.73 1.92 1.50 0.96

time (sec)

N/A 0.000 2.393 72.155 0.179 0.089 0.144 0.118 0.160 3.627

Problem 2693

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 18 16 15 74 16 15 24 41 16

N.S.

1 0.72 0.64 0.60 2.96 0.64 0.60 0.96 1.64 0.64

time (sec)

N/A 0.287 0.045 0.434 0.074 0.106 0.082 0.113 0.155 0.054

Problem 2694

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

20 27 20 19 18 26 15 18 21 18

N.S.

1 1.35 1.00 0.95 0.90 1.30 0.75 0.90 1.05 0.90

time (sec)

N/A 0.258 0.006 0.152 0.031 0.077 0.052 0.103 0.156 3.357

Problem 2695

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 68 20 29 101 28 42 38 29 47

N.S.

1 3.09 0.91 1.32 4.59 1.27 1.91 1.73 1.32 2.14

time (sec)

N/A 1.297 0.083 0.280 0.076 0.089 0.059 0.121 0.155 3.367

Problem 2696

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 0 39 26 31 25 24 25 38 0

N.S.

1 0.00 1.39 0.93 1.11 0.89 0.86 0.89 1.36 0.00

time (sec)

N/A 0.000 0.662 0.671 0.078 0.101 0.093 0.174 0.729 0.000

Problem 2697

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

20 40 27 16 40 40 37 40 38 39

N.S.

1 2.00 1.35 0.80 2.00 2.00 1.85 2.00 1.90 1.95

time (sec)

N/A 0.211 0.007 0.358 0.032 0.086 0.024 0.107 0.165 0.029

Problem 2698

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 0 51 45 43 43 42 47 487 47

N.S.

1 0.00 1.46 1.29 1.23 1.23 1.20 1.34 13.91 1.34

time (sec)

N/A 0.000 4.132 0.453 0.066 0.102 0.117 0.131 0.175 3.477

Problem 2699

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

18 11 13 9 9 9 10 9 8 8

N.S.

1 0.61 0.72 0.50 0.50 0.50 0.56 0.50 0.44 0.44

time (sec)

N/A 0.220 0.000 0.048 0.029 0.067 0.017 0.108 0.166 0.018

Problem 2700

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

18 20 15 20 19 19 17 19 16 17

N.S.

1 1.11 0.83 1.11 1.06 1.06 0.94 1.06 0.89 0.94

time (sec)

N/A 0.342 0.079 0.194 0.028 0.098 0.043 0.113 0.171 3.468

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