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

2.2.20 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 Mupad

grade

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

verified

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

size

132 0 132 455 0 123 0 0 0

N.S.

1 0.00 1.00 3.45 0.00 0.93 0.00 0.00 0.00

time (sec)

N/A 0.000 0.233 0.793 0.000 0.382 0.000 0.000 0.000

Problem 1902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

132 0 116 130 0 0 0 0 0

N.S.

1 0.00 0.88 0.98 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.418 0.285 0.000 0.000 0.000 0.000 0.000

Problem 1903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

132 189 144 63 65 367 24 65 65

N.S.

1 1.43 1.09 0.48 0.49 2.78 0.18 0.49 0.49

time (sec)

N/A 1.316 0.133 0.016 0.308 0.298 2.830 0.449 5.771

Problem 1904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

132 0 138 0 0 93 0 0 0

N.S.

1 0.00 1.05 0.00 0.00 0.70 0.00 0.00 0.00

time (sec)

N/A 0.000 3.362 0.000 0.000 0.282 0.000 0.000 0.000

Problem 1905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

132 161 130 0 0 397 0 0 0

N.S.

1 1.22 0.98 0.00 0.00 3.01 0.00 0.00 0.00

time (sec)

N/A 0.835 0.427 0.000 0.000 4.550 0.000 0.000 0.000

Problem 1906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

133 84 116 89 0 124 0 0 0

N.S.

1 0.63 0.87 0.67 0.00 0.93 0.00 0.00 0.00

time (sec)

N/A 0.221 0.186 6.584 0.000 0.234 0.000 0.000 0.000

Problem 1907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

133 3580 162 150 34 22662 27 3 35

N.S.

1 26.92 1.22 1.13 0.26 170.39 0.20 0.02 0.26

time (sec)

N/A 7.631 0.670 0.571 0.249 1.304 2.852 3.172 6.232

Problem 1908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

133 3580 162 150 34 22662 27 3 35

N.S.

1 26.92 1.22 1.13 0.26 170.39 0.20 0.02 0.26

time (sec)

N/A 6.984 0.001 0.003 0.215 1.280 2.886 3.098 0.003

Problem 1909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

133 0 0 0 0 0 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A B F B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

133 985 135 225 0 324 0 0 533

N.S.

1 7.41 1.02 1.69 0.00 2.44 0.00 0.00 4.01

time (sec)

N/A 1.725 0.551 5.373 0.000 0.293 0.000 0.000 0.060

Problem 1911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

133 0 129 119 0 378 0 0 0

N.S.

1 0.00 0.97 0.89 0.00 2.84 0.00 0.00 0.00

time (sec)

N/A 0.000 0.971 3.164 0.000 0.406 0.000 0.000 0.000

Problem 1912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 144 113 139 0 293 0 0 0

N.S.

1 1.08 0.85 1.05 0.00 2.20 0.00 0.00 0.00

time (sec)

N/A 0.286 0.614 0.419 0.000 0.268 0.000 0.000 0.000

Problem 1913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No No Yes TBD TBD TBD TBD TBD

size

133 70 78 122 0 581 0 215 0

N.S.

1 0.53 0.59 0.92 0.00 4.37 0.00 1.62 0.00

time (sec)

N/A 0.514 10.037 0.496 0.000 48.590 0.000 0.293 0.000

Problem 1914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 150 108 136 0 237 0 0 0

N.S.

1 1.13 0.81 1.02 0.00 1.78 0.00 0.00 0.00

time (sec)

N/A 0.293 0.451 0.580 0.000 0.253 0.000 0.000 0.000

Problem 1915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

133 2667 117 0 0 0 0 0 0

N.S.

1 20.05 0.88 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 21.615 0.292 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 980 127 204 0 0 0 0 0

N.S.

1 7.37 0.95 1.53 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.671 1.490 3.100 0.000 0.000 0.000 0.000 0.000

Problem 1917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

133 0 133 168 0 384 0 0 0

N.S.

1 0.00 1.00 1.26 0.00 2.89 0.00 0.00 0.00

time (sec)

N/A 0.000 1.864 54.505 0.000 62.473 0.000 0.000 0.000

Problem 1918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

133 0 116 154 0 0 0 0 0

N.S.

1 0.00 0.87 1.16 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 7.160 1.153 0.000 0.000 0.000 0.000 0.000

Problem 1919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

133 241 129 0 0 349 0 0 0

N.S.

1 1.81 0.97 0.00 0.00 2.62 0.00 0.00 0.00

time (sec)

N/A 0.907 1.070 0.000 0.000 89.278 0.000 0.000 0.000

Problem 1920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

133 0 116 154 0 0 0 0 0

N.S.

1 0.00 0.87 1.16 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 8.332 1.187 0.000 0.000 0.000 0.000 0.000

Problem 1921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

133 0 120 0 0 81 0 0 0

N.S.

1 0.00 0.90 0.00 0.00 0.61 0.00 0.00 0.00

time (sec)

N/A 0.000 0.192 0.000 0.000 0.558 0.000 0.000 0.000

Problem 1922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

133 54 72 47 46 44 230 312 0

N.S.

1 0.41 0.54 0.35 0.35 0.33 1.73 2.35 0.00

time (sec)

N/A 0.280 0.062 0.140 0.191 0.249 1.310 0.349 0.000

Problem 1923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

133 0 133 36 38 4633 51 0 38

N.S.

1 0.00 1.00 0.27 0.29 34.83 0.38 0.00 0.29

time (sec)

N/A 0.000 0.207 0.025 0.607 1.109 5.132 0.000 6.272

Problem 1924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

133 0 133 36 38 4633 51 0 38

N.S.

1 0.00 1.00 0.27 0.29 34.83 0.38 0.00 0.29

time (sec)

N/A 0.000 0.001 0.002 0.618 1.074 5.163 0.000 0.002

Problem 1925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 119 134 128 0 274 0 0 0

N.S.

1 0.89 1.00 0.96 0.00 2.04 0.00 0.00 0.00

time (sec)

N/A 0.269 0.318 13.491 0.000 1.550 0.000 0.000 0.000

Problem 1926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

134 3620 163 149 32 24830 27 3 32

N.S.

1 27.01 1.22 1.11 0.24 185.30 0.20 0.02 0.24

time (sec)

N/A 7.506 0.695 0.594 0.273 1.177 2.856 3.208 6.529

Problem 1927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

134 3620 163 149 32 24830 27 3 32

N.S.

1 27.01 1.22 1.11 0.24 185.30 0.20 0.02 0.24

time (sec)

N/A 6.892 0.002 0.001 0.225 1.131 2.824 3.087 0.002

Problem 1928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 184 172 199 0 207 0 184 0

N.S.

1 1.37 1.28 1.49 0.00 1.54 0.00 1.37 0.00

time (sec)

N/A 0.737 0.716 7.344 0.000 0.270 0.000 0.349 0.000

Problem 1929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

134 0 128 118 0 391 0 0 0

N.S.

1 0.00 0.96 0.88 0.00 2.92 0.00 0.00 0.00

time (sec)

N/A 0.000 1.250 74.035 0.000 64.748 0.000 0.000 0.000

Problem 1930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 154 134 151 0 593 0 0 0

N.S.

1 1.15 1.00 1.13 0.00 4.43 0.00 0.00 0.00

time (sec)

N/A 0.326 0.633 0.694 0.000 55.911 0.000 0.000 0.000

Problem 1931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 154 134 151 0 594 0 0 0

N.S.

1 1.15 1.00 1.13 0.00 4.43 0.00 0.00 0.00

time (sec)

N/A 0.317 0.596 0.385 0.000 52.671 0.000 0.000 0.000

Problem 1932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 236 162 132 0 275 0 295 0

N.S.

1 1.76 1.21 0.99 0.00 2.05 0.00 2.20 0.00

time (sec)

N/A 0.424 0.298 0.406 0.000 0.275 0.000 0.291 0.000

Problem 1933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 50 50 38 0 132 0 0 0

N.S.

1 0.37 0.37 0.28 0.00 0.99 0.00 0.00 0.00

time (sec)

N/A 0.234 0.534 2.362 0.000 0.295 0.000 0.000 0.000

Problem 1934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

134 0 116 0 0 536 0 0 0

N.S.

1 0.00 0.87 0.00 0.00 4.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.372 0.000 0.000 2.609 0.000 0.000 0.000

Problem 1935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 74 118 107 108 350 37 0 39

N.S.

1 0.55 0.87 0.79 0.80 2.59 0.27 0.00 0.29

time (sec)

N/A 0.170 0.051 0.678 0.251 0.249 0.485 0.000 5.995

Problem 1936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

135 0 0 0 0 0 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

135 0 135 166 0 364 0 0 0

N.S.

1 0.00 1.00 1.23 0.00 2.70 0.00 0.00 0.00

time (sec)

N/A 0.000 1.141 51.300 0.000 59.863 0.000 0.000 0.000

Problem 1938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 156 174 44 0 118 0 88 54

N.S.

1 1.16 1.29 0.33 0.00 0.87 0.00 0.65 0.40

time (sec)

N/A 0.335 2.476 1.019 0.000 0.733 0.000 0.282 6.385

Problem 1939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

135 121 125 0 0 83 0 0 0

N.S.

1 0.90 0.93 0.00 0.00 0.61 0.00 0.00 0.00

time (sec)

N/A 0.248 0.160 0.000 0.000 0.274 0.000 0.000 0.000

Problem 1940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

136 115 121 0 0 198 0 0 0

N.S.

1 0.85 0.89 0.00 0.00 1.46 0.00 0.00 0.00

time (sec)

N/A 0.204 1.922 0.000 0.000 0.258 0.000 0.000 0.000

Problem 1941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 76 124 108 108 181 41 0 0

N.S.

1 0.56 0.91 0.79 0.79 1.33 0.30 0.00 0.00

time (sec)

N/A 0.175 0.241 0.232 0.260 0.255 0.490 0.000 0.000

Problem 1942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

136 74 128 111 0 128 0 0 0

N.S.

1 0.54 0.94 0.82 0.00 0.94 0.00 0.00 0.00

time (sec)

N/A 0.237 10.236 17.356 0.000 0.293 0.000 0.000 0.000

Problem 1943

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No No Yes TBD TBD TBD TBD TBD

size

136 137 123 142 0 616 0 233 0

N.S.

1 1.01 0.90 1.04 0.00 4.53 0.00 1.71 0.00

time (sec)

N/A 3.861 14.669 0.562 0.000 82.930 0.000 0.308 0.000

Problem 1944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

136 0 148 190 0 407 0 0 0

N.S.

1 0.00 1.09 1.40 0.00 2.99 0.00 0.00 0.00

time (sec)

N/A 0.000 0.660 5.532 0.000 7.734 0.000 0.000 0.000

Problem 1945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

136 0 148 190 0 407 0 0 0

N.S.

1 0.00 1.09 1.40 0.00 2.99 0.00 0.00 0.00

time (sec)

N/A 0.000 0.001 4.546 0.000 7.251 0.000 0.000 0.000

Problem 1946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 164 130 182 0 0 167 112 0

N.S.

1 1.21 0.96 1.34 0.00 0.00 1.23 0.82 0.00

time (sec)

N/A 0.599 0.229 0.157 0.000 0.000 0.505 0.612 0.000

Problem 1947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 164 132 182 0 0 165 181 0

N.S.

1 1.21 0.97 1.34 0.00 0.00 1.21 1.33 0.00

time (sec)

N/A 0.547 0.259 0.261 0.000 0.000 0.600 0.930 0.000

Problem 1948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

136 511 136 24 26 3169 31 26 26

N.S.

1 3.76 1.00 0.18 0.19 23.30 0.23 0.19 0.19

time (sec)

N/A 1.680 0.156 0.020 0.308 1.128 11.274 0.409 6.319

Problem 1949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

136 511 136 24 26 3169 31 26 26

N.S.

1 3.76 1.00 0.18 0.19 23.30 0.23 0.19 0.19

time (sec)

N/A 1.473 0.003 0.001 0.299 1.143 11.318 0.418 0.002

Problem 1950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

137 244 162 0 21 1469 32 244 21

N.S.

1 1.78 1.18 0.00 0.15 10.72 0.23 1.78 0.15

time (sec)

N/A 0.559 0.352 0.000 0.301 3.833 0.874 0.330 5.801

Problem 1951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

137 244 162 136 21 1469 32 244 21

N.S.

1 1.78 1.18 0.99 0.15 10.72 0.23 1.78 0.15

time (sec)

N/A 0.507 0.001 264.956 0.297 3.866 0.875 0.333 0.002

Problem 1952

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 193 126 167 0 502 0 0 0

N.S.

1 1.41 0.92 1.22 0.00 3.66 0.00 0.00 0.00

time (sec)

N/A 0.507 0.384 6.163 0.000 6.178 0.000 0.000 0.000

Problem 1953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

137 0 115 0 0 0 0 0 0

N.S.

1 0.00 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.284 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

138 224 132 167 175 120 48 175 64

N.S.

1 1.62 0.96 1.21 1.27 0.87 0.35 1.27 0.46

time (sec)

N/A 0.371 0.177 0.517 0.282 0.262 0.612 0.263 5.502

Problem 1955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

138 123 208 68 0 123 0 105 0

N.S.

1 0.89 1.51 0.49 0.00 0.89 0.00 0.76 0.00

time (sec)

N/A 0.285 1.065 1.916 0.000 45.930 0.000 0.293 0.000

Problem 1956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

138 126 138 0 213 0 76 0 160

N.S.

1 0.91 1.00 0.00 1.54 0.00 0.55 0.00 1.16

time (sec)

N/A 0.364 0.685 0.000 0.264 0.000 1.935 0.000 5.894

Problem 1957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 195 162 223 0 204 0 149 0

N.S.

1 1.41 1.17 1.62 0.00 1.48 0.00 1.08 0.00

time (sec)

N/A 0.369 0.485 6.688 0.000 0.288 0.000 0.325 0.000

Problem 1958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

138 0 0 2145 0 278 0 0 0

N.S.

1 0.00 0.00 15.54 0.00 2.01 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 3.158 0.000 2.113 0.000 0.000 0.000

Problem 1959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

138 422 135 98 30 0 60 29 1622

N.S.

1 3.06 0.98 0.71 0.22 0.00 0.43 0.21 11.75

time (sec)

N/A 1.248 0.090 1.497 0.208 0.000 122.848 0.324 6.387

Problem 1960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 407 138 128 0 301 0 0 0

N.S.

1 2.95 1.00 0.93 0.00 2.18 0.00 0.00 0.00

time (sec)

N/A 0.991 0.341 14.225 0.000 1.664 0.000 0.000 0.000

Problem 1961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

138 0 138 113 42 0 0 0 42

N.S.

1 0.00 1.00 0.82 0.30 0.00 0.00 0.00 0.30

time (sec)

N/A 0.000 0.194 0.184 0.581 0.000 0.000 0.000 6.066

Problem 1962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

138 0 138 113 42 0 0 0 42

N.S.

1 0.00 1.00 0.82 0.30 0.00 0.00 0.00 0.30

time (sec)

N/A 0.000 0.001 0.279 0.626 0.000 0.000 0.000 0.002

Problem 1963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 139 152 132 0 338 0 107 0

N.S.

1 1.00 1.09 0.95 0.00 2.43 0.00 0.77 0.00

time (sec)

N/A 0.320 0.326 0.788 0.000 0.243 0.000 0.306 0.000

Problem 1964

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

139 211 133 159 178 152 48 175 63

N.S.

1 1.52 0.96 1.14 1.28 1.09 0.35 1.26 0.45

time (sec)

N/A 0.364 0.180 0.421 0.259 0.234 0.649 0.267 5.544

Problem 1965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

139 851 121 593 0 483 0 0 0

N.S.

1 6.12 0.87 4.27 0.00 3.47 0.00 0.00 0.00

time (sec)

N/A 1.883 8.016 7.811 0.000 7.263 0.000 0.000 0.000

Problem 1966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 493 102 100 0 286 0 0 0

N.S.

1 3.55 0.73 0.72 0.00 2.06 0.00 0.00 0.00

time (sec)

N/A 2.067 12.724 1.154 0.000 0.299 0.000 0.000 0.000

Problem 1967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

139 825 134 156 35 0 0 0 35

N.S.

1 5.94 0.96 1.12 0.25 0.00 0.00 0.00 0.25

time (sec)

N/A 2.266 15.896 0.646 0.233 0.000 0.000 0.000 5.852

Problem 1968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

139 825 134 156 35 0 0 0 35

N.S.

1 5.94 0.96 1.12 0.25 0.00 0.00 0.00 0.25

time (sec)

N/A 1.883 0.001 0.534 0.212 0.000 0.000 0.000 0.003

Problem 1969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

139 0 136 195 0 430 0 0 0

N.S.

1 0.00 0.98 1.40 0.00 3.09 0.00 0.00 0.00

time (sec)

N/A 0.000 1.634 6.217 0.000 14.109 0.000 0.000 0.000

Problem 1970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 139 150 132 0 153 0 100 0

N.S.

1 0.99 1.07 0.94 0.00 1.09 0.00 0.71 0.00

time (sec)

N/A 0.270 0.317 0.273 0.000 0.262 0.000 0.308 0.000

Problem 1971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

140 87 136 103 0 102 0 0 0

N.S.

1 0.62 0.97 0.74 0.00 0.73 0.00 0.00 0.00

time (sec)

N/A 0.231 0.204 13.957 0.000 0.257 0.000 0.000 0.000

Problem 1972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

140 94 137 113 124 196 60 0 100

N.S.

1 0.67 0.98 0.81 0.89 1.40 0.43 0.00 0.71

time (sec)

N/A 0.281 4.290 4.837 0.279 0.516 1.294 0.000 5.809

Problem 1973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 125 136 158 0 266 0 0 0

N.S.

1 0.89 0.97 1.13 0.00 1.90 0.00 0.00 0.00

time (sec)

N/A 0.258 0.300 14.104 0.000 1.997 0.000 0.000 0.000

Problem 1974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

140 153 193 153 0 288 0 97 0

N.S.

1 1.09 1.38 1.09 0.00 2.06 0.00 0.69 0.00

time (sec)

N/A 0.415 1.687 15.342 0.000 1.490 0.000 0.311 0.000

Problem 1975

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

140 275 158 119 26 360 20 26 26

N.S.

1 1.96 1.13 0.85 0.19 2.57 0.14 0.19 0.19

time (sec)

N/A 0.629 0.255 17.814 0.285 0.263 1.427 0.292 5.688

Problem 1976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 297 125 161 0 615 0 0 0

N.S.

1 2.12 0.89 1.15 0.00 4.39 0.00 0.00 0.00

time (sec)

N/A 0.757 0.418 1.095 0.000 0.354 0.000 0.000 0.000

Problem 1977

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 150 125 155 0 581 0 0 0

N.S.

1 1.07 0.89 1.11 0.00 4.15 0.00 0.00 0.00

time (sec)

N/A 0.361 0.295 0.538 0.000 0.314 0.000 0.000 0.000

Problem 1978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 297 125 161 0 615 0 0 0

N.S.

1 2.12 0.89 1.15 0.00 4.39 0.00 0.00 0.00

time (sec)

N/A 0.794 0.391 0.477 0.000 0.335 0.000 0.000 0.000

Problem 1979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

140 0 140 169 0 399 0 0 0

N.S.

1 0.00 1.00 1.21 0.00 2.85 0.00 0.00 0.00

time (sec)

N/A 0.000 2.496 224.969 0.000 116.412 0.000 0.000 0.000

Problem 1980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

140 0 135 132 0 0 0 0 0

N.S.

1 0.00 0.96 0.94 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 1.569 0.852 0.000 0.000 0.000 0.000 0.000

Problem 1981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

140 0 140 134 0 166 0 0 0

N.S.

1 0.00 1.00 0.96 0.00 1.19 0.00 0.00 0.00

time (sec)

N/A 0.000 0.320 2.615 0.000 0.309 0.000 0.000 0.000

Problem 1982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

140 745 135 157 35 0 0 0 35

N.S.

1 5.32 0.96 1.12 0.25 0.00 0.00 0.00 0.25

time (sec)

N/A 2.218 15.866 0.697 0.237 0.000 0.000 0.000 5.950

Problem 1983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

140 745 135 157 35 0 0 0 35

N.S.

1 5.32 0.96 1.12 0.25 0.00 0.00 0.00 0.25

time (sec)

N/A 1.875 0.009 0.746 0.255 0.000 0.000 0.000 0.003

Problem 1984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

140 513 140 24 26 3125 31 26 26

N.S.

1 3.66 1.00 0.17 0.19 22.32 0.22 0.19 0.19

time (sec)

N/A 1.465 0.159 0.020 0.346 1.557 11.026 0.298 5.963

Problem 1985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

140 513 140 24 26 3125 31 26 26

N.S.

1 3.66 1.00 0.17 0.19 22.32 0.22 0.19 0.19

time (sec)

N/A 1.291 0.001 0.001 0.360 1.644 11.402 0.298 0.002

Problem 1986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

140 0 160 0 0 128 0 0 0

N.S.

1 0.00 1.14 0.00 0.00 0.91 0.00 0.00 0.00

time (sec)

N/A 0.000 3.032 0.000 0.000 0.305 0.000 0.000 0.000

Problem 1987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

140 525 140 29 31 1625 29 31 31

N.S.

1 3.75 1.00 0.21 0.22 11.61 0.21 0.22 0.22

time (sec)

N/A 1.839 0.148 0.025 0.271 0.464 1.502 0.740 6.009

Problem 1988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

140 525 140 29 31 1625 29 31 31

N.S.

1 3.75 1.00 0.21 0.22 11.61 0.21 0.22 0.22

time (sec)

N/A 1.524 0.001 0.002 0.294 0.415 1.422 0.766 0.002

Problem 1989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

140 0 140 32 34 785 41 33 34

N.S.

1 0.00 1.00 0.23 0.24 5.61 0.29 0.24 0.24

time (sec)

N/A 0.000 0.177 0.037 0.650 0.400 3.635 124.915 6.000

Problem 1990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

140 0 140 32 34 785 41 33 34

N.S.

1 0.00 1.00 0.23 0.24 5.61 0.29 0.24 0.24

time (sec)

N/A 0.000 0.001 0.002 0.574 0.370 3.471 126.616 0.003

Problem 1991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

140 0 140 39 41 0 34 41 43

N.S.

1 0.00 1.00 0.28 0.29 0.00 0.24 0.29 0.31

time (sec)

N/A 0.000 2.875 0.204 0.277 0.000 0.912 25.727 5.878

Problem 1992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

140 0 140 39 41 0 34 41 43

N.S.

1 0.00 1.00 0.28 0.29 0.00 0.24 0.29 0.31

time (sec)

N/A 0.000 1.408 0.297 0.286 0.000 0.905 1.228 5.575

Problem 1993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

141 90 136 102 0 102 0 0 0

N.S.

1 0.64 0.96 0.72 0.00 0.72 0.00 0.00 0.00

time (sec)

N/A 0.234 0.204 9.534 0.000 0.434 0.000 0.000 0.000

Problem 1994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 118 159 422 0 161 0 0 0

N.S.

1 0.84 1.13 2.99 0.00 1.14 0.00 0.00 0.00

time (sec)

N/A 0.228 0.111 0.545 0.000 0.323 0.000 0.000 0.000

Problem 1995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 115 146 403 0 151 0 0 0

N.S.

1 0.82 1.04 2.86 0.00 1.07 0.00 0.00 0.00

time (sec)

N/A 0.216 0.192 0.538 0.000 0.315 0.000 0.000 0.000

Problem 1996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

141 0 141 130 0 380 0 0 0

N.S.

1 0.00 1.00 0.92 0.00 2.70 0.00 0.00 0.00

time (sec)

N/A 0.000 0.400 15.457 0.000 8.100 0.000 0.000 0.000

Problem 1997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

141 0 0 82 0 0 0 0 0

N.S.

1 0.00 0.00 0.58 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 2.036 0.000 0.000 0.000 0.000 0.000

Problem 1998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 152 121 151 0 309 0 0 0

N.S.

1 1.08 0.86 1.07 0.00 2.19 0.00 0.00 0.00

time (sec)

N/A 0.282 0.681 0.760 0.000 0.281 0.000 0.000 0.000

Problem 1999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 173 161 160 0 0 0 377 0

N.S.

1 1.23 1.14 1.13 0.00 0.00 0.00 2.67 0.00

time (sec)

N/A 0.514 0.477 0.471 0.000 0.000 0.000 0.302 0.000

Problem 2000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 160 128 160 0 237 0 0 0

N.S.

1 1.13 0.91 1.13 0.00 1.68 0.00 0.00 0.00

time (sec)

N/A 0.307 0.532 0.851 0.000 0.287 0.000 0.000 0.000

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