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

Integrals 1901 to 2000

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 1901

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

24 0 22 21 20 20 19 0 22 19

N.S.

1 0.00 0.92 0.88 0.83 0.83 0.79 0.00 0.92 0.79

time (sec)

N/A 0.000 0.026 0.860 0.067 0.087 0.104 0.000 0.172 3.904

Problem 1902

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

26 0 26 24 41 25 24 41 51 38

N.S.

1 0.00 1.00 0.92 1.58 0.96 0.92 1.58 1.96 1.46

time (sec)

N/A 0.000 1.592 0.642 0.161 0.084 0.259 0.178 0.177 4.195

Problem 1903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 81 512 123 110 114 0 27 0

N.S.

1 0.00 2.70 17.07 4.10 3.67 3.80 0.00 0.90 0.00

time (sec)

N/A 0.000 0.093 1.856 0.208 0.079 0.467 0.000 0.178 0.000

Problem 1904

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

N.S.

1 0.92 0.92 0.96 0.80 0.92 0.76 0.80 1.00 0.92

time (sec)

N/A 0.481 0.015 0.892 0.154 0.081 0.117 0.181 0.209 4.134

Problem 1905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 0 45 73 0 54 53 77 72 0

N.S.

1 0.00 1.36 2.21 0.00 1.64 1.61 2.33 2.18 0.00

time (sec)

N/A 0.000 0.194 0.071 0.000 0.098 0.898 0.801 0.226 0.000

Problem 1906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 0 45 43 73 43 37 105 0 0

N.S.

1 0.00 1.41 1.34 2.28 1.34 1.16 3.28 0.00 0.00

time (sec)

N/A 0.000 0.149 3.987 0.229 0.091 0.815 0.724 0.365 0.000

Problem 1907

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

19 39 39 30 39 25 34 29 29 29

N.S.

1 2.05 2.05 1.58 2.05 1.32 1.79 1.53 1.53 1.53

time (sec)

N/A 0.228 0.011 0.215 0.030 0.090 0.083 0.121 0.169 3.795

Problem 1908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

36 0 0 61 174 102 143 198 109 0

N.S.

1 0.00 0.00 1.69 4.83 2.83 3.97 5.50 3.03 0.00

time (sec)

N/A 0.000 0.000 0.046 0.267 0.085 0.449 0.507 0.185 0.000

Problem 1909

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

21 0 19 24 23 23 15 23 28 0

N.S.

1 0.00 0.90 1.14 1.10 1.10 0.71 1.10 1.33 0.00

time (sec)

N/A 0.000 0.252 0.247 0.121 0.075 0.094 0.180 0.180 0.000

Problem 1910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 123 49 257 49 56 51 262 58 57

N.S.

1 3.62 1.44 7.56 1.44 1.65 1.50 7.71 1.71 1.68

time (sec)

N/A 13.493 0.177 0.026 0.398 0.097 4.824 6.691 0.232 5.955

Problem 1911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 0 118 318 110 82 0 1010 192 0

N.S.

1 0.00 3.19 8.59 2.97 2.22 0.00 27.30 5.19 0.00

time (sec)

N/A 0.000 0.248 0.262 0.485 0.099 0.000 0.979 0.237 0.000

Problem 1912

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

24 0 29 43 50 28 53 56 107 33

N.S.

1 0.00 1.21 1.79 2.08 1.17 2.21 2.33 4.46 1.38

time (sec)

N/A 0.000 0.126 23.790 0.079 0.090 0.204 0.247 0.177 4.281

Problem 1913

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 19 19 27 27 15 27 29 18

N.S.

1 0.00 0.76 0.76 1.08 1.08 0.60 1.08 1.16 0.72

time (sec)

N/A 0.000 0.532 0.457 0.080 0.077 0.048 0.158 0.167 0.266

Problem 1914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 247 26 96 0 65 70 79 87 81

N.S.

1 8.82 0.93 3.43 0.00 2.32 2.50 2.82 3.11 2.89

time (sec)

N/A 0.975 0.083 0.066 0.000 0.090 0.254 0.153 0.224 4.000

Problem 1915

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

28 24 19 19 0 18 15 25 19 18

N.S.

1 0.86 0.68 0.68 0.00 0.64 0.54 0.89 0.68 0.64

time (sec)

N/A 0.559 0.126 0.367 0.000 0.077 0.087 0.126 0.186 3.932

Problem 1916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 0 0 18 61 59 20 0 195 17

N.S.

1 0.00 0.00 0.56 1.91 1.84 0.62 0.00 6.09 0.53

time (sec)

N/A 0.000 0.000 1.175 0.295 0.103 0.457 0.000 0.199 4.307

Problem 1917

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 32 26 22 18 26 19 22 28 21

N.S.

1 1.45 1.18 1.00 0.82 1.18 0.86 1.00 1.27 0.95

time (sec)

N/A 0.300 0.019 0.106 0.039 0.071 0.178 0.114 0.176 3.973

Problem 1918

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 30 29 30 31 29 29 29 29 29

N.S.

1 1.07 1.04 1.07 1.11 1.04 1.04 1.04 1.04 1.04

time (sec)

N/A 1.545 0.328 0.371 0.076 0.081 0.200 0.202 0.214 4.076

Problem 1919

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

33 28 28 26 25 23 26 25 32 25

N.S.

1 0.85 0.85 0.79 0.76 0.70 0.79 0.76 0.97 0.76

time (sec)

N/A 0.184 0.007 0.061 0.038 0.070 0.040 0.118 0.176 0.061

Problem 1920

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 25 26 25 24 37 24 43 45 28

N.S.

1 0.93 0.96 0.93 0.89 1.37 0.89 1.59 1.67 1.04

time (sec)

N/A 0.633 0.335 0.478 0.122 0.087 0.178 0.171 0.188 4.132

Problem 1921

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

22 0 26 25 37 37 34 55 34 26

N.S.

1 0.00 1.18 1.14 1.68 1.68 1.55 2.50 1.55 1.18

time (sec)

N/A 0.000 0.135 4.486 0.094 0.072 0.091 0.133 0.172 4.068

Problem 1922

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

32 0 30 25 25 24 20 24 25 24

N.S.

1 0.00 0.94 0.78 0.78 0.75 0.62 0.75 0.78 0.75

time (sec)

N/A 0.000 0.269 0.217 0.084 0.090 0.217 0.154 0.195 4.340

Problem 1923

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 14 14 15 14 14 17 14 24 18

N.S.

1 0.61 0.61 0.65 0.61 0.61 0.74 0.61 1.04 0.78

time (sec)

N/A 0.150 0.015 0.051 0.031 0.084 0.041 0.116 0.163 0.071

Problem 1924

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

N.S.

1 1.00 1.00 0.80 0.70 0.70 0.70 0.70 0.80 0.70

time (sec)

N/A 0.125 0.000 0.032 0.024 0.072 0.023 0.116 0.157 0.022

Problem 1925

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 3 3 4 3 3 2 3 3 3

N.S.

1 0.18 0.18 0.24 0.18 0.18 0.12 0.18 0.18 0.18

time (sec)

N/A 0.125 0.000 0.019 0.035 0.075 0.021 0.124 0.167 0.009

Problem 1926

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 30 31 36 36 32 46 32 0

N.S.

1 0.00 1.00 1.03 1.20 1.20 1.07 1.53 1.07 0.00

time (sec)

N/A 0.000 0.048 106.358 0.170 0.083 0.131 0.160 0.199 0.000

Problem 1927

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

33 49 44 42 44 44 29 50 51 40

N.S.

1 1.48 1.33 1.27 1.33 1.33 0.88 1.52 1.55 1.21

time (sec)

N/A 0.293 0.054 0.421 0.028 0.092 0.113 0.122 0.178 3.980

Problem 1928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 6625 83 108 405 108 85 86 135 89

N.S.

1 265.00 3.32 4.32 16.20 4.32 3.40 3.44 5.40 3.56

time (sec)

N/A 11.853 0.038 5.520 0.163 0.098 0.186 0.143 0.180 4.109

Problem 1929

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

23 31 27 18 0 19 20 19 34 19

N.S.

1 1.35 1.17 0.78 0.00 0.83 0.87 0.83 1.48 0.83

time (sec)

N/A 0.250 0.564 0.108 0.000 0.079 0.103 0.121 0.172 0.096

Problem 1930

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 11 9 7 9 9 5 9 7 6

N.S.

1 0.79 0.64 0.50 0.64 0.64 0.36 0.64 0.50 0.43

time (sec)

N/A 0.124 0.000 0.016 0.029 0.079 0.018 0.119 0.174 0.029

Problem 1931

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 22 17 15 17 17 15 17 28 18

N.S.

1 0.81 0.63 0.56 0.63 0.63 0.56 0.63 1.04 0.67

time (sec)

N/A 0.162 0.017 0.075 0.026 0.087 0.042 0.124 0.172 0.075

Problem 1932

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 19 19 16 17 17 15 20 17 21

N.S.

1 1.19 1.19 1.00 1.06 1.06 0.94 1.25 1.06 1.31

time (sec)

N/A 0.212 0.005 0.046 0.023 0.072 0.064 0.117 0.185 0.070

Problem 1933

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 15 15 17 16 25 14 16 20 16

N.S.

1 0.83 0.83 0.94 0.89 1.39 0.78 0.89 1.11 0.89

time (sec)

N/A 0.195 0.005 0.130 0.027 0.082 0.041 0.123 0.173 0.055

Problem 1934

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

23 34 25 24 48 23 29 27 30 16

N.S.

1 1.48 1.09 1.04 2.09 1.00 1.26 1.17 1.30 0.70

time (sec)

N/A 0.208 0.044 0.174 0.087 0.080 0.067 0.131 0.177 0.077

Problem 1935

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

26 35 22 22 21 22 22 28 26 22

N.S.

1 1.35 0.85 0.85 0.81 0.85 0.85 1.08 1.00 0.85

time (sec)

N/A 0.769 0.085 1.336 0.202 0.076 0.087 0.130 0.181 4.012

Problem 1936

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

32 0 45 30 48 30 24 43 45 293

N.S.

1 0.00 1.41 0.94 1.50 0.94 0.75 1.34 1.41 9.16

time (sec)

N/A 0.000 0.170 4.978 0.494 0.081 0.321 0.242 0.213 0.899

Problem 1937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 30 28 23 61 61 34 31 69 25

N.S.

1 1.00 0.93 0.77 2.03 2.03 1.13 1.03 2.30 0.83

time (sec)

N/A 0.715 0.171 2.710 0.072 0.086 0.060 0.131 0.182 3.942

Problem 1938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 47 22 30 29 29 29 0 21 17

N.S.

1 1.88 0.88 1.20 1.16 1.16 1.16 0.00 0.84 0.68

time (sec)

N/A 0.274 0.018 0.191 0.162 0.073 0.315 0.000 0.185 3.910

Problem 1939

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 18 18 20 32 40 15 19 39 25

N.S.

1 0.90 0.90 1.00 1.60 2.00 0.75 0.95 1.95 1.25

time (sec)

N/A 0.573 0.134 0.273 0.156 0.081 0.054 0.127 0.201 4.108

Problem 1940

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 26 20 23 22 22 22 22 20 18

N.S.

1 1.18 0.91 1.05 1.00 1.00 1.00 1.00 0.91 0.82

time (sec)

N/A 0.246 0.067 0.122 0.033 0.088 0.061 0.124 0.176 3.852

Problem 1941

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

20 39 21 24 38 23 19 26 22 17

N.S.

1 1.95 1.05 1.20 1.90 1.15 0.95 1.30 1.10 0.85

time (sec)

N/A 0.252 0.047 0.143 0.056 0.083 0.117 0.132 0.181 3.932

Problem 1942

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

27 0 27 25 24 25 26 0 28 29

N.S.

1 0.00 1.00 0.93 0.89 0.93 0.96 0.00 1.04 1.07

time (sec)

N/A 0.000 0.387 117.268 0.130 0.083 0.141 0.000 0.203 4.220

Problem 1943

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 41 26 46 69 43 34 38 43 39

N.S.

1 1.32 0.84 1.48 2.23 1.39 1.10 1.23 1.39 1.26

time (sec)

N/A 0.460 0.202 0.293 0.036 0.082 0.116 0.132 0.204 3.972

Problem 1944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 0 18 19 18 18 0 18 18 18

N.S.

1 0.00 1.00 1.06 1.00 1.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.000 0.241 248.575 0.094 0.079 0.000 0.130 0.178 3.956

Problem 1945

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

20 0 24 26 29 25 24 29 25 0

N.S.

1 0.00 1.20 1.30 1.45 1.25 1.20 1.45 1.25 0.00

time (sec)

N/A 0.000 0.037 0.726 0.150 0.079 0.140 0.193 0.176 0.000

Problem 1946

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

23 0 52 93 126 126 136 149 191 0

N.S.

1 0.00 2.26 4.04 5.48 5.48 5.91 6.48 8.30 0.00

time (sec)

N/A 0.000 0.061 0.692 0.093 0.083 0.157 0.146 0.187 0.000

Problem 1947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 139 89 130 243 102 107 129 130 105

N.S.

1 4.09 2.62 3.82 7.15 3.00 3.15 3.79 3.82 3.09

time (sec)

N/A 0.517 0.072 27.231 0.045 0.081 0.154 0.112 0.168 4.003

Problem 1948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 44 23 52 47 31 29 45 32 0

N.S.

1 1.76 0.92 2.08 1.88 1.24 1.16 1.80 1.28 0.00

time (sec)

N/A 0.895 5.037 93.494 0.078 0.089 0.179 0.131 0.171 0.000

Problem 1949

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 18 18 19 18 18 17 19 18 18

N.S.

1 0.95 0.95 1.00 0.95 0.95 0.89 1.00 0.95 0.95

time (sec)

N/A 0.165 0.001 0.036 0.033 0.070 0.027 0.111 0.179 0.031

Problem 1950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 42 50 51 64 0 68 75 43

N.S.

1 0.00 1.40 1.67 1.70 2.13 0.00 2.27 2.50 1.43

time (sec)

N/A 0.000 0.094 0.446 0.077 0.077 0.000 0.111 0.171 3.979

Problem 1951

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

28 0 40 39 78 39 39 0 46 82

N.S.

1 0.00 1.43 1.39 2.79 1.39 1.39 0.00 1.64 2.93

time (sec)

N/A 0.000 0.195 36.406 0.338 0.085 0.655 0.000 0.191 4.251

Problem 1952

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 22 40 42 19 22 38 21

N.S.

1 1.00 1.00 1.16 2.11 2.21 1.00 1.16 2.00 1.11

time (sec)

N/A 0.739 0.225 0.378 0.163 0.078 0.054 0.121 0.172 3.990

Problem 1953

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

18 24 15 12 24 11 15 11 13 11

N.S.

1 1.33 0.83 0.67 1.33 0.61 0.83 0.61 0.72 0.61

time (sec)

N/A 0.193 0.039 0.118 0.063 0.078 0.049 0.110 0.170 3.871

Problem 1954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 0 49 50 186 186 105 240 389 213

N.S.

1 0.00 1.44 1.47 5.47 5.47 3.09 7.06 11.44 6.26

time (sec)

N/A 0.000 0.164 19.375 0.228 0.092 0.227 0.452 200.025 4.341

Problem 1955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 1024 21 25 22 25 17 25 21 0

N.S.

1 40.96 0.84 1.00 0.88 1.00 0.68 1.00 0.84 0.00

time (sec)

N/A 14.351 1.204 0.348 0.092 0.082 0.115 0.114 0.202 0.000

Problem 1956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 27 61 67 43 26 75 58 144

N.S.

1 0.00 1.00 2.26 2.48 1.59 0.96 2.78 2.15 5.33

time (sec)

N/A 0.000 0.298 36.224 0.168 0.094 0.352 0.381 0.356 4.439

Problem 1957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 65 37 32 0 34 71 34 36 33

N.S.

1 3.10 1.76 1.52 0.00 1.62 3.38 1.62 1.71 1.57

time (sec)

N/A 0.693 0.346 1.182 0.000 0.079 0.094 0.116 0.186 0.117

Problem 1958

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

26 0 26 28 21 29 27 31 28 22

N.S.

1 0.00 1.00 1.08 0.81 1.12 1.04 1.19 1.08 0.85

time (sec)

N/A 0.000 0.492 0.217 0.144 0.090 0.152 0.119 0.184 3.968

Problem 1959

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 26 33 35 36 44 35 34 26

N.S.

1 0.00 0.90 1.14 1.21 1.24 1.52 1.21 1.17 0.90

time (sec)

N/A 0.000 0.779 51.108 0.091 0.078 0.380 0.169 0.213 4.315

Problem 1960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 22 20 49 35 35 44 35 42 20

N.S.

1 1.47 1.33 3.27 2.33 2.33 2.93 2.33 2.80 1.33

time (sec)

N/A 0.152 0.004 0.125 0.047 0.075 0.025 0.109 0.187 0.104

Problem 1961

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 17 17 16 15 15 14 15 17 15

N.S.

1 0.71 0.71 0.67 0.62 0.62 0.58 0.62 0.71 0.62

time (sec)

N/A 0.148 0.002 0.113 0.028 0.071 0.038 0.110 0.197 0.052

Problem 1962

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 21 21 18 19 19 19 21 21 21

N.S.

1 0.95 0.95 0.82 0.86 0.86 0.86 0.95 0.95 0.95

time (sec)

N/A 0.886 0.130 0.243 0.165 0.090 0.101 0.116 0.205 3.982

Problem 1963

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 22 24 20 18 19 19 19 17 18

N.S.

1 0.92 1.00 0.83 0.75 0.79 0.79 0.79 0.71 0.75

time (sec)

N/A 0.162 0.001 0.139 0.039 0.081 0.038 0.110 0.231 0.059

Problem 1964

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 28 25 29 28 37 26 38 28 26

N.S.

1 1.27 1.14 1.32 1.27 1.68 1.18 1.73 1.27 1.18

time (sec)

N/A 0.610 0.332 0.386 0.063 0.079 0.069 0.110 0.223 0.088

Problem 1965

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

18 23 19 19 60 30 17 21 40 21

N.S.

1 1.28 1.06 1.06 3.33 1.67 0.94 1.17 2.22 1.17

time (sec)

N/A 0.299 0.036 0.138 0.068 0.084 0.052 0.115 0.196 3.961

Problem 1966

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 31 31 26 33 25 24 25 25 25

N.S.

1 1.29 1.29 1.08 1.38 1.04 1.00 1.04 1.04 1.04

time (sec)

N/A 0.175 0.005 0.131 0.032 0.077 0.059 0.115 0.222 3.827

Problem 1967

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 28 28 23 30 22 20 33 22 22

N.S.

1 0.97 0.97 0.79 1.03 0.76 0.69 1.14 0.76 0.76

time (sec)

N/A 1.138 0.242 16.378 0.159 0.077 0.359 0.144 0.230 4.164

Problem 1968

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

19 19 19 19 101 18 17 18 19 18

N.S.

1 1.00 1.00 1.00 5.32 0.95 0.89 0.95 1.00 0.95

time (sec)

N/A 0.443 0.134 9.757 0.046 0.085 0.860 0.112 0.205 4.177

Problem 1969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 0 78 83 167 79 158 0 88 0

N.S.

1 0.00 2.69 2.86 5.76 2.72 5.45 0.00 3.03 0.00

time (sec)

N/A 0.000 5.089 2.317 0.096 0.088 0.319 0.000 0.211 0.000

Problem 1970

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

20 0 20 17 20 16 19 14 65 16

N.S.

1 0.00 1.00 0.85 1.00 0.80 0.95 0.70 3.25 0.80

time (sec)

N/A 0.000 0.134 0.181 0.149 0.075 0.091 0.145 0.241 3.892

Problem 1971

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 24 17 19 16 15 16 19 16

N.S.

1 1.00 1.26 0.89 1.00 0.84 0.79 0.84 1.00 0.84

time (sec)

N/A 0.770 0.151 0.174 0.072 0.081 0.077 0.115 0.200 3.800

Problem 1972

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 14 12 13 13 10 13 26 13

N.S.

1 0.85 0.70 0.60 0.65 0.65 0.50 0.65 1.30 0.65

time (sec)

N/A 0.154 0.002 0.137 0.030 0.072 0.086 0.111 0.205 3.826

Problem 1973

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 27 29 24 23 23 22 24 23 23

N.S.

1 0.93 1.00 0.83 0.79 0.79 0.76 0.83 0.79 0.79

time (sec)

N/A 0.173 0.001 0.036 0.030 0.072 0.033 0.115 0.205 3.739

Problem 1974

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

27 21 18 19 26 18 17 79 28 20

N.S.

1 0.78 0.67 0.70 0.96 0.67 0.63 2.93 1.04 0.74

time (sec)

N/A 0.200 0.172 0.170 0.159 0.094 0.049 0.124 0.222 3.979

Problem 1975

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

18 16 16 14 0 13 12 13 14 13

N.S.

1 0.89 0.89 0.78 0.00 0.72 0.67 0.72 0.78 0.72

time (sec)

N/A 0.334 0.009 0.149 0.000 0.088 0.066 0.118 0.195 0.080

Problem 1976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 80 51 31 73 30 26 45 38 27

N.S.

1 3.33 2.12 1.29 3.04 1.25 1.08 1.88 1.58 1.12

time (sec)

N/A 0.247 0.093 0.351 0.035 0.077 0.111 0.115 0.207 3.880

Problem 1977

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

31 0 22 22 45 45 17 21 247 21

N.S.

1 0.00 0.71 0.71 1.45 1.45 0.55 0.68 7.97 0.68

time (sec)

N/A 0.000 0.064 2.550 0.084 0.086 0.058 0.141 0.216 3.930

Problem 1978

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

28 0 28 31 50 50 19 54 80 26

N.S.

1 0.00 1.00 1.11 1.79 1.79 0.68 1.93 2.86 0.93

time (sec)

N/A 0.000 0.224 1.162 0.089 0.080 0.081 0.145 0.202 4.030

Problem 1979

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

size

32 92 31 28 28 28 26 52 63 31

N.S.

1 2.88 0.97 0.88 0.88 0.88 0.81 1.62 1.97 0.97

time (sec)

N/A 1.090 5.040 0.317 0.124 0.073 0.189 0.155 200.018 3.841

Problem 1980

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

36 69 58 46 44 43 46 45 56 47

N.S.

1 1.92 1.61 1.28 1.22 1.19 1.28 1.25 1.56 1.31

time (sec)

N/A 0.243 0.201 0.277 0.036 0.084 0.077 0.111 0.215 0.074

Problem 1981

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 26 24 16 19 23 14 19 19 18

N.S.

1 1.62 1.50 1.00 1.19 1.44 0.88 1.19 1.19 1.12

time (sec)

N/A 0.182 0.008 0.135 0.026 0.070 0.066 0.107 0.200 3.719

Problem 1982

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

15 11 11 9 8 8 7 8 10 8

N.S.

1 0.73 0.73 0.60 0.53 0.53 0.47 0.53 0.67 0.53

time (sec)

N/A 0.140 0.010 0.036 0.023 0.072 0.038 0.113 0.247 0.026

Problem 1983

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 20 20 23 23 23 15 23 69 20

N.S.

1 0.74 0.74 0.85 0.85 0.85 0.56 0.85 2.56 0.74

time (sec)

N/A 4.218 0.095 0.438 0.035 0.074 0.077 0.139 0.256 3.826

Problem 1984

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 23 22 19 19 15 19 33 21

N.S.

1 0.00 0.96 0.92 0.79 0.79 0.62 0.79 1.38 0.88

time (sec)

N/A 0.000 0.243 0.364 0.077 0.078 0.072 0.112 0.265 3.732

Problem 1985

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

25 21 21 19 0 18 17 27 19 18

N.S.

1 0.84 0.84 0.76 0.00 0.72 0.68 1.08 0.76 0.72

time (sec)

N/A 0.305 0.014 0.288 0.000 0.078 0.087 0.114 0.274 0.132

Problem 1986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 25 26 27 21 28 26 235 28 27

N.S.

1 0.93 0.96 1.00 0.78 1.04 0.96 8.70 1.04 1.00

time (sec)

N/A 0.509 0.158 2.305 0.171 0.082 0.302 0.157 0.244 5.189

Problem 1987

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 38 42 41 30 40 31 40 44 33

N.S.

1 1.58 1.75 1.71 1.25 1.67 1.29 1.67 1.83 1.38

time (sec)

N/A 0.206 0.007 0.088 0.033 0.067 0.060 0.119 0.244 0.096

Problem 1988

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 13 9 7 6 6 7 6 7 6

N.S.

1 1.08 0.75 0.58 0.50 0.50 0.58 0.50 0.58 0.50

time (sec)

N/A 0.144 0.001 0.039 0.030 0.077 0.032 0.105 0.230 0.026

Problem 1989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 34 33 0 0 35 0 0 77 95

N.S.

1 1.06 1.03 0.00 0.00 1.09 0.00 0.00 2.41 2.97

time (sec)

N/A 6.112 0.084 0.000 0.000 0.084 0.000 0.000 0.275 4.374

Problem 1990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

17 68 17 14 88 17 19 22 55 19

N.S.

1 4.00 1.00 0.82 5.18 1.00 1.12 1.29 3.24 1.12

time (sec)

N/A 0.568 0.037 0.306 0.171 0.077 0.086 0.119 0.233 3.997

Problem 1991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 117 40 35 66 39 32 42 46 42

N.S.

1 3.77 1.29 1.13 2.13 1.26 1.03 1.35 1.48 1.35

time (sec)

N/A 0.453 0.104 0.418 0.067 0.072 0.097 0.118 0.244 3.646

Problem 1992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 82 85 77 73 81 73 84 96 75

N.S.

1 3.57 3.70 3.35 3.17 3.52 3.17 3.65 4.17 3.26

time (sec)

N/A 0.287 0.016 0.143 0.027 0.072 0.312 0.110 0.270 0.106

Problem 1993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 0 34 91 120 97 104 119 101 137

N.S.

1 0.00 1.06 2.84 3.75 3.03 3.25 3.72 3.16 4.28

time (sec)

N/A 0.000 0.135 0.066 0.204 0.089 0.202 0.232 0.273 5.763

Problem 1994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 140 34 34 91 32 31 37 44 37

N.S.

1 4.38 1.06 1.06 2.84 1.00 0.97 1.16 1.38 1.16

time (sec)

N/A 0.577 0.066 1.009 0.280 0.080 1.916 0.290 0.237 6.530

Problem 1995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 129 79 92 370 85 88 123 149 102

N.S.

1 4.96 3.04 3.54 14.23 3.27 3.38 4.73 5.73 3.92

time (sec)

N/A 1.143 4.377 2.871 0.085 0.080 0.110 0.116 0.248 0.151

Problem 1996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 24 131 0 32 0 0 47 38

N.S.

1 0.00 1.00 5.46 0.00 1.33 0.00 0.00 1.96 1.58

time (sec)

N/A 0.000 0.072 0.429 0.000 0.093 0.000 0.000 0.371 4.972

Problem 1997

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

27 0 36 27 56 29 26 0 60 49

N.S.

1 0.00 1.33 1.00 2.07 1.07 0.96 0.00 2.22 1.81

time (sec)

N/A 0.000 1.398 0.688 0.233 0.076 0.149 0.000 0.267 4.668

Problem 1998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 88 59 65 61 80 63 65 233 61

N.S.

1 2.51 1.69 1.86 1.74 2.29 1.80 1.86 6.66 1.74

time (sec)

N/A 0.722 0.058 1.072 0.041 0.085 3.859 0.130 0.258 4.579

Problem 1999

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

23 93 23 25 21 25 27 45 26 21

N.S.

1 4.04 1.00 1.09 0.91 1.09 1.17 1.96 1.13 0.91

time (sec)

N/A 0.362 0.021 3.955 0.161 0.073 3.049 0.141 0.275 4.010

Problem 2000

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 16 16 14 13 13 15 13 12 11

N.S.

1 0.73 0.73 0.64 0.59 0.59 0.68 0.59 0.55 0.50

time (sec)

N/A 0.141 0.001 0.050 0.033 0.071 0.047 0.111 0.233 3.710

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