[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 B B F B B F F(-1)

verified

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

size

26 0 88 140 0 72 117 0 0

N.S.

1 0.00 3.38 5.38 0.00 2.77 4.50 0.00 0.00

time (sec)

N/A 0.000 0.119 96.526 0.000 0.259 3.425 0.000 0.000

Problem 1902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 62 25 29 0 28 22 0 24

N.S.

1 2.14 0.86 1.00 0.00 0.97 0.76 0.00 0.83

time (sec)

N/A 0.213 0.397 3.980 0.000 0.250 0.770 0.000 12.687

Problem 1903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A F B

verified

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

size

26 0 25 32 33 32 29 0 23

N.S.

1 0.00 0.96 1.23 1.27 1.23 1.12 0.00 0.88

time (sec)

N/A 0.000 0.175 12.706 0.254 0.259 29.106 0.000 12.470

Problem 1904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 24 36 44 36 22 36 0

N.S.

1 0.00 0.86 1.29 1.57 1.29 0.79 1.29 0.00

time (sec)

N/A 0.000 0.407 0.255 0.332 0.244 0.108 0.371 0.000

Problem 1905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 29 58 47 38 0 0 53

N.S.

1 0.00 1.00 2.00 1.62 1.31 0.00 0.00 1.83

time (sec)

N/A 0.000 0.277 6.376 0.212 0.271 0.000 0.000 18.322

Problem 1906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

24 0 20 19 16 18 17 26 18

N.S.

1 0.00 0.83 0.79 0.67 0.75 0.71 1.08 0.75

time (sec)

N/A 0.000 0.196 1.239 0.309 0.246 0.048 0.278 13.011

Problem 1907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 34 25 33 47 33 29 26 37

N.S.

1 1.21 0.89 1.18 1.68 1.18 1.04 0.93 1.32

time (sec)

N/A 0.451 0.061 0.260 0.255 0.262 0.109 0.281 13.607

Problem 1908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 153 98 38 37 75 73 0

N.S.

1 0.00 4.78 3.06 1.19 1.16 2.34 2.28 0.00

time (sec)

N/A 0.000 0.250 0.814 0.382 0.267 10.658 0.347 0.000

Problem 1909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A A B

verified

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

size

30 0 37 36 579 30 31 32 30

N.S.

1 0.00 1.23 1.20 19.30 1.00 1.03 1.07 1.00

time (sec)

N/A 0.000 0.679 0.186 0.298 0.268 0.621 0.290 1.041

Problem 1910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

34 0 33 44 0 29 29 58 0

N.S.

1 0.00 0.97 1.29 0.00 0.85 0.85 1.71 0.00

time (sec)

N/A 0.000 0.435 0.681 0.000 0.251 0.123 0.281 0.000

Problem 1911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 318 34 66 41 64 102 64 62

N.S.

1 12.72 1.36 2.64 1.64 2.56 4.08 2.56 2.48

time (sec)

N/A 10.264 0.121 9.668 0.236 0.260 0.661 0.934 12.951

Problem 1912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 16 14 16 15 24 14 16 15

N.S.

1 0.67 0.58 0.67 0.62 1.00 0.58 0.67 0.62

time (sec)

N/A 0.219 0.015 0.047 0.204 0.225 0.086 0.290 0.067

Problem 1913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B B B B B B

verified

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

size

28 0 39 103 1994 279 333 2318 367

N.S.

1 0.00 1.39 3.68 71.21 9.96 11.89 82.79 13.11

time (sec)

N/A 0.000 0.776 3.388 0.345 0.248 0.614 0.909 16.082

Problem 1914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 53 56 29 45 43 51 45 29

N.S.

1 1.89 2.00 1.04 1.61 1.54 1.82 1.61 1.04

time (sec)

N/A 0.339 0.024 0.152 0.194 0.273 0.100 0.266 0.133

Problem 1915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A F B

verified

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

size

24 0 24 25 46 24 19 0 24

N.S.

1 0.00 1.00 1.04 1.92 1.00 0.79 0.00 1.00

time (sec)

N/A 0.000 0.298 0.225 0.189 0.254 0.101 0.000 13.549

Problem 1916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 20 20 15 14 14 14 14 14

N.S.

1 1.18 1.18 0.88 0.82 0.82 0.82 0.82 0.82

time (sec)

N/A 0.503 0.072 0.226 0.223 0.239 0.071 0.282 12.949

Problem 1917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 73 26 21 0 20 51 20 21

N.S.

1 3.17 1.13 0.91 0.00 0.87 2.22 0.87 0.91

time (sec)

N/A 0.340 0.027 0.199 0.000 0.232 0.705 0.283 12.251

Problem 1918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B B B B B B

verified

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

size

36 0 61 69 83 83 75 85 76

N.S.

1 0.00 1.69 1.92 2.31 2.31 2.08 2.36 2.11

time (sec)

N/A 0.000 10.147 0.219 0.334 0.247 0.269 0.317 12.674

Problem 1919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

28 0 29 30 36 29 19 38 30

N.S.

1 0.00 1.04 1.07 1.29 1.04 0.68 1.36 1.07

time (sec)

N/A 0.000 3.204 0.198 0.262 0.248 0.085 0.287 0.207

Problem 1920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

21 0 30 26 67 67 32 128 0

N.S.

1 0.00 1.43 1.24 3.19 3.19 1.52 6.10 0.00

time (sec)

N/A 0.000 0.046 1.918 0.325 0.258 0.085 0.351 0.000

Problem 1921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 123 46 35 67 39 29 52 48

N.S.

1 4.92 1.84 1.40 2.68 1.56 1.16 2.08 1.92

time (sec)

N/A 0.691 0.123 3.914 0.320 0.249 0.251 0.287 12.802

Problem 1922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 38 212 35 33 32 31 36 9651

N.S.

1 1.46 8.15 1.35 1.27 1.23 1.19 1.38 371.19

time (sec)

N/A 0.304 0.202 0.102 0.189 0.265 5.475 0.303 43.316

Problem 1923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 34 35 31 59 35 27 36 30

N.S.

1 0.94 0.97 0.86 1.64 0.97 0.75 1.00 0.83

time (sec)

N/A 0.273 0.032 0.130 0.228 0.255 0.066 0.268 0.110

Problem 1924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

25 0 26 23 23 18 22 22 17

N.S.

1 0.00 1.04 0.92 0.92 0.72 0.88 0.88 0.68

time (sec)

N/A 0.000 0.190 0.373 0.309 0.257 0.114 0.326 14.039

Problem 1925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

24 0 35 25 20 18 12 18 38

N.S.

1 0.00 1.46 1.04 0.83 0.75 0.50 0.75 1.58

time (sec)

N/A 0.000 2.514 0.192 0.255 0.251 0.100 0.329 13.787

Problem 1926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 15 15 12 15 11 10 11 11

N.S.

1 0.56 0.56 0.44 0.56 0.41 0.37 0.41 0.41

time (sec)

N/A 0.217 0.012 0.151 0.216 0.256 0.043 0.275 13.954

Problem 1927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 20 20 19 18 20 15 18 18

N.S.

1 1.11 1.11 1.06 1.00 1.11 0.83 1.00 1.00

time (sec)

N/A 0.262 0.025 0.054 0.189 0.273 0.055 0.282 0.155

Problem 1928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 36 14 14 0 13 10 37 13

N.S.

1 2.57 1.00 1.00 0.00 0.93 0.71 2.64 0.93

time (sec)

N/A 0.309 0.077 0.370 0.000 0.248 0.067 0.274 14.199

Problem 1929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 59 51 56 55 49 54 0

N.S.

1 0.00 2.27 1.96 2.15 2.12 1.88 2.08 0.00

time (sec)

N/A 0.000 10.130 2.786 0.281 0.264 0.691 1.501 0.000

Problem 1930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 28 21 24 23 23 20 25 20

N.S.

1 1.33 1.00 1.14 1.10 1.10 0.95 1.19 0.95

time (sec)

N/A 2.484 0.324 0.198 0.222 0.267 0.872 0.309 14.906

Problem 1931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

21 0 18 17 16 16 15 30 16

N.S.

1 0.00 0.86 0.81 0.76 0.76 0.71 1.43 0.76

time (sec)

N/A 0.000 0.169 0.114 0.229 0.263 0.134 0.282 14.458

Problem 1932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 46 16 24 41 21 24 21 12

N.S.

1 2.88 1.00 1.50 2.56 1.31 1.50 1.31 0.75

time (sec)

N/A 0.213 0.176 0.049 0.186 0.255 0.059 0.277 0.065

Problem 1933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 14 14 15 14 11 15 14 14

N.S.

1 0.93 0.93 1.00 0.93 0.73 1.00 0.93 0.93

time (sec)

N/A 0.334 0.027 0.050 0.217 0.264 0.109 0.279 14.430

Problem 1934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B B B B B B

verified

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

size

32 0 109 114 323 136 136 246 218

N.S.

1 0.00 3.41 3.56 10.09 4.25 4.25 7.69 6.81

time (sec)

N/A 0.000 0.991 0.602 0.363 0.267 0.355 0.343 14.069

Problem 1935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

22 0 30 34 33 33 0 41 41

N.S.

1 0.00 1.36 1.55 1.50 1.50 0.00 1.86 1.86

time (sec)

N/A 0.000 0.416 6.894 0.235 0.258 0.000 0.306 13.981

Problem 1936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 46 38 32 45 32 44 39 24

N.S.

1 1.59 1.31 1.10 1.55 1.10 1.52 1.34 0.83

time (sec)

N/A 0.245 0.256 0.133 0.216 0.253 0.081 0.286 13.668

Problem 1937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 15 25 16 14 16 14

N.S.

1 1.00 1.00 1.07 1.79 1.14 1.00 1.14 1.00

time (sec)

N/A 1.033 0.141 0.138 0.253 0.243 0.065 0.308 13.900

Problem 1938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B B B B B B

verified

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

size

27 0 51 50 60 60 53 64 61

N.S.

1 0.00 1.89 1.85 2.22 2.22 1.96 2.37 2.26

time (sec)

N/A 0.000 10.074 0.167 0.257 0.250 0.169 0.907 0.570

Problem 1939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 16 15 15 0 18 15 33 0

N.S.

1 0.89 0.83 0.83 0.00 1.00 0.83 1.83 0.00

time (sec)

N/A 0.468 0.012 0.652 0.000 0.242 11.656 0.296 0.000

Problem 1940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 69 33 26 25 25 26 0 25

N.S.

1 3.00 1.43 1.13 1.09 1.09 1.13 0.00 1.09

time (sec)

N/A 0.350 5.067 0.267 0.279 0.252 0.108 0.000 13.272

Problem 1941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 26 26 24 34 22 27 26 16

N.S.

1 1.44 1.44 1.33 1.89 1.22 1.50 1.44 0.89

time (sec)

N/A 0.191 0.008 0.033 0.189 0.257 0.069 0.301 13.277

Problem 1942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A B A B

verified

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

size

19 0 19 22 20 20 27 21 31

N.S.

1 0.00 1.00 1.16 1.05 1.05 1.42 1.11 1.63

time (sec)

N/A 0.000 1.639 0.085 0.235 0.260 0.118 0.296 0.198

Problem 1943

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 213 323 53 269 51 46 56 53

N.S.

1 5.76 8.73 1.43 7.27 1.38 1.24 1.51 1.43

time (sec)

N/A 0.834 0.350 0.508 0.369 0.268 0.138 0.478 3.782

Problem 1944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

24 0 52 47 53 43 51 46 0

N.S.

1 0.00 2.17 1.96 2.21 1.79 2.12 1.92 0.00

time (sec)

N/A 0.000 0.083 0.398 0.310 0.264 0.161 0.287 0.000

Problem 1945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 548 22 20 19 19 15 19 18

N.S.

1 22.83 0.92 0.83 0.79 0.79 0.62 0.79 0.75

time (sec)

N/A 1.233 0.167 0.101 0.249 0.269 0.052 0.306 13.531

Problem 1946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 31 22 22 26 25 24 26 19

N.S.

1 1.41 1.00 1.00 1.18 1.14 1.09 1.18 0.86

time (sec)

N/A 0.194 0.014 0.069 0.197 0.261 0.065 0.288 0.099

Problem 1947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 17 17 18 17 19 17 16 19

N.S.

1 1.21 1.21 1.29 1.21 1.36 1.21 1.14 1.36

time (sec)

N/A 0.197 0.013 0.024 0.201 0.247 0.054 0.293 12.912

Problem 1948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B F B B B B B B

verified

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

size

17 56 0 52 57 52 54 57 65

N.S.

1 3.29 0.00 3.06 3.35 3.06 3.18 3.35 3.82

time (sec)

N/A 1.323 0.000 0.204 0.430 0.261 0.094 0.287 13.172

Problem 1949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 53 84 57 61 63 85 0

N.S.

1 0.00 1.96 3.11 2.11 2.26 2.33 3.15 0.00

time (sec)

N/A 0.000 0.095 0.660 0.353 0.259 0.410 0.646 0.000

Problem 1950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 0 58 55 77 0 57 57

N.S.

1 0.00 0.00 1.81 1.72 2.41 0.00 1.78 1.78

time (sec)

N/A 0.000 0.000 0.243 0.461 0.275 0.000 0.308 50.196

Problem 1951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 30 32 29 30 28 29 30 30

N.S.

1 1.36 1.45 1.32 1.36 1.27 1.32 1.36 1.36

time (sec)

N/A 0.191 0.009 0.061 0.179 0.267 0.098 0.274 11.866

Problem 1952

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 27 28 29 28 27 24 28 27

N.S.

1 1.08 1.12 1.16 1.12 1.08 0.96 1.12 1.08

time (sec)

N/A 0.276 0.016 0.086 0.199 0.262 0.177 0.299 0.080

Problem 1953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B A F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

21 19 21 48 20 96 34 0 22

N.S.

1 0.90 1.00 2.29 0.95 4.57 1.62 0.00 1.05

time (sec)

N/A 1.436 0.379 100.454 0.235 0.327 0.655 0.000 13.635

Problem 1954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 11 9 9 9 9 7 9 8

N.S.

1 0.61 0.50 0.50 0.50 0.50 0.39 0.50 0.44

time (sec)

N/A 0.120 0.000 0.011 0.178 0.298 0.019 0.273 0.031

Problem 1955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A F B

verified

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

size

26 0 25 24 28 25 20 0 28

N.S.

1 0.00 0.96 0.92 1.08 0.96 0.77 0.00 1.08

time (sec)

N/A 0.000 0.212 1.813 0.344 0.278 0.483 0.000 14.673

Problem 1956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 40 32 52 106 65 131 46 75

N.S.

1 1.43 1.14 1.86 3.79 2.32 4.68 1.64 2.68

time (sec)

N/A 0.213 0.017 0.395 0.188 0.257 0.641 0.298 12.709

Problem 1957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 23 23 19 21 21 20 21 19

N.S.

1 0.96 0.96 0.79 0.88 0.88 0.83 0.88 0.79

time (sec)

N/A 0.134 0.002 0.040 0.195 0.273 0.022 0.276 12.800

Problem 1958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

23 0 23 22 23 23 19 26 23

N.S.

1 0.00 1.00 0.96 1.00 1.00 0.83 1.13 1.00

time (sec)

N/A 0.000 0.312 1.496 0.314 0.267 0.840 0.462 14.050

Problem 1959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

30 0 33 30 33 38 20 40 26

N.S.

1 0.00 1.10 1.00 1.10 1.27 0.67 1.33 0.87

time (sec)

N/A 0.000 0.668 0.133 0.253 0.283 0.081 0.316 13.485

Problem 1960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

7 7 7 7 6 6 5 6 6

N.S.

1 1.00 1.00 1.00 0.86 0.86 0.71 0.86 0.86

time (sec)

N/A 0.131 0.003 0.236 0.180 0.291 0.043 0.283 0.099

Problem 1961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 47 34 49 49 31 49 0

N.S.

1 0.00 1.62 1.17 1.69 1.69 1.07 1.69 0.00

time (sec)

N/A 0.000 0.063 0.375 0.212 0.287 0.249 0.301 0.000

Problem 1962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

28 0 24 34 36 36 31 44 28

N.S.

1 0.00 0.86 1.21 1.29 1.29 1.11 1.57 1.00

time (sec)

N/A 0.000 0.278 0.291 0.312 0.271 0.073 0.289 0.241

Problem 1963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 23 12 16 17 13 17 13 17

N.S.

1 1.05 0.55 0.73 0.77 0.59 0.77 0.59 0.77

time (sec)

N/A 0.185 0.071 0.058 0.180 0.248 0.051 0.272 0.067

Problem 1964

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 12 16 8 7 9 12 7 8

N.S.

1 0.80 1.07 0.53 0.47 0.60 0.80 0.47 0.53

time (sec)

N/A 0.124 0.000 0.018 0.181 0.236 0.016 0.276 0.002

Problem 1965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

21 0 30 38 35 33 34 36 21

N.S.

1 0.00 1.43 1.81 1.67 1.57 1.62 1.71 1.00

time (sec)

N/A 0.000 0.261 5.168 0.225 0.244 0.165 0.284 13.886

Problem 1966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B A A B B B

verified

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

size

24 0 40 49 38 44 41 131 97

N.S.

1 0.00 1.67 2.04 1.58 1.83 1.71 5.46 4.04

time (sec)

N/A 0.000 0.183 8.812 0.410 0.271 0.291 0.459 12.902

Problem 1967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B B B B

verified

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

size

18 0 28 35 305 46 41 126 130

N.S.

1 0.00 1.56 1.94 16.94 2.56 2.28 7.00 7.22

time (sec)

N/A 0.000 0.101 0.448 0.452 0.243 0.090 0.483 13.023

Problem 1968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

16 0 27 18 25 24 20 18 18

N.S.

1 0.00 1.69 1.12 1.56 1.50 1.25 1.12 1.12

time (sec)

N/A 0.000 0.521 0.083 0.211 0.249 0.119 0.280 0.129

Problem 1969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 104 230 0 172 231 717 0

N.S.

1 0.00 3.85 8.52 0.00 6.37 8.56 26.56 0.00

time (sec)

N/A 0.000 0.231 0.280 0.000 0.257 0.343 0.317 0.000

Problem 1970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A F B

verified

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

size

31 0 28 31 83 34 32 0 87

N.S.

1 0.00 0.90 1.00 2.68 1.10 1.03 0.00 2.81

time (sec)

N/A 0.000 0.199 1.963 0.348 0.256 0.250 0.000 13.367

Problem 1971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 65 65 56 0 61 70 61 0

N.S.

1 2.60 2.60 2.24 0.00 2.44 2.80 2.44 0.00

time (sec)

N/A 0.488 0.094 0.170 0.000 0.257 0.173 0.348 0.000

Problem 1972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 53 22 28 57 27 32 27 24

N.S.

1 2.41 1.00 1.27 2.59 1.23 1.45 1.23 1.09

time (sec)

N/A 1.557 6.391 0.184 0.249 0.270 0.071 0.288 0.215

Problem 1973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 79 24 18 0 20 0 0 18

N.S.

1 3.04 0.92 0.69 0.00 0.77 0.00 0.00 0.69

time (sec)

N/A 0.311 0.099 0.816 0.000 0.247 0.000 0.000 12.033

Problem 1974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A C A A B B

verified

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

size

32 0 28 25 70 41 19 86 25

N.S.

1 0.00 0.88 0.78 2.19 1.28 0.59 2.69 0.78

time (sec)

N/A 0.000 0.336 4.682 0.332 0.240 0.063 0.329 12.114

Problem 1975

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 121 85 109 104 104 112 104 114

N.S.

1 5.26 3.70 4.74 4.52 4.52 4.87 4.52 4.96

time (sec)

N/A 0.609 0.141 0.131 0.264 0.255 0.076 0.293 0.232

Problem 1976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 36 36 31 34 32 29 33 34

N.S.

1 1.33 1.33 1.15 1.26 1.19 1.07 1.22 1.26

time (sec)

N/A 0.201 0.012 0.069 0.176 0.250 0.052 0.274 0.084

Problem 1977

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A B B

verified

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

size

24 0 36 45 43 21 32 43 36

N.S.

1 0.00 1.50 1.88 1.79 0.88 1.33 1.79 1.50

time (sec)

N/A 0.000 0.202 0.965 0.285 0.256 0.177 0.313 12.850

Problem 1978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 29 28 24 23 23 24 24 22

N.S.

1 1.26 1.22 1.04 1.00 1.00 1.04 1.04 0.96

time (sec)

N/A 0.230 0.029 0.111 0.232 0.244 0.134 0.283 12.357

Problem 1979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F B A F B

verified

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

size

26 0 25 34 0 49 32 0 25

N.S.

1 0.00 0.96 1.31 0.00 1.88 1.23 0.00 0.96

time (sec)

N/A 0.000 2.115 0.074 0.000 0.255 0.156 0.000 12.316

Problem 1980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A B B

verified

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

size

23 0 28 28 110 25 26 49 25

N.S.

1 0.00 1.22 1.22 4.78 1.09 1.13 2.13 1.09

time (sec)

N/A 0.000 0.173 1.730 0.289 0.250 0.142 0.378 19.194

Problem 1981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 140 55 54 49 46 49 48 48

N.S.

1 6.09 2.39 2.35 2.13 2.00 2.13 2.09 2.09

time (sec)

N/A 10.894 0.052 0.496 0.183 0.254 1.506 0.320 12.956

Problem 1982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 54 16 15 14 14 14 0 14

N.S.

1 3.38 1.00 0.94 0.88 0.88 0.88 0.00 0.88

time (sec)

N/A 0.186 0.027 0.711 0.214 0.248 1.453 0.000 0.137

Problem 1983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 17 10 11 17 10 7 10 10

N.S.

1 1.70 1.00 1.10 1.70 1.00 0.70 1.00 1.00

time (sec)

N/A 0.392 0.040 0.250 0.209 0.233 0.036 0.286 12.462

Problem 1984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F B A B B B B

verified

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

size

27 0 0 52 43 51 46 149 120

N.S.

1 0.00 0.00 1.93 1.59 1.89 1.70 5.52 4.44

time (sec)

N/A 0.000 0.000 9.496 0.547 0.277 0.752 0.527 12.984

Problem 1985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 8 8 9 8 8 5 9 8

N.S.

1 0.38 0.38 0.43 0.38 0.38 0.24 0.43 0.38

time (sec)

N/A 0.138 0.001 0.033 0.169 0.236 0.029 0.274 0.020

Problem 1986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 115 70 51 117 46 53 122 49

N.S.

1 4.60 2.80 2.04 4.68 1.84 2.12 4.88 1.96

time (sec)

N/A 0.284 0.035 0.091 0.187 0.262 0.091 0.314 12.422

Problem 1987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 16 16 14 15 15 14 15 13

N.S.

1 0.76 0.76 0.67 0.71 0.71 0.67 0.71 0.62

time (sec)

N/A 0.379 0.240 0.176 0.209 0.241 0.066 0.280 0.147

Problem 1988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A C A A A A B

verified

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

size

28 0 28 260 27 25 22 25 24

N.S.

1 0.00 1.00 9.29 0.96 0.89 0.79 0.89 0.86

time (sec)

N/A 0.000 0.279 228.461 0.333 0.253 0.870 0.398 12.528

Problem 1989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B A B B

verified

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

size

25 0 24 24 74 74 37 78 191

N.S.

1 0.00 0.96 0.96 2.96 2.96 1.48 3.12 7.64

time (sec)

N/A 0.000 0.264 47.196 0.349 0.255 0.177 0.467 12.730

Problem 1990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 14 14 16 14 15 15 16 14

N.S.

1 0.70 0.70 0.80 0.70 0.75 0.75 0.80 0.70

time (sec)

N/A 0.152 0.011 0.044 0.187 0.238 0.041 0.298 0.046

Problem 1991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

23 0 23 27 36 36 15 22 28

N.S.

1 0.00 1.00 1.17 1.57 1.57 0.65 0.96 1.22

time (sec)

N/A 0.000 0.167 0.231 0.219 0.243 0.058 0.279 12.303

Problem 1992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 93 26 25 52 24 24 0 25

N.S.

1 3.00 0.84 0.81 1.68 0.77 0.77 0.00 0.81

time (sec)

N/A 2.230 0.065 3.449 0.360 0.256 11.360 0.000 13.548

Problem 1993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 27 27 23 46 27 20 31 30

N.S.

1 1.12 1.12 0.96 1.92 1.12 0.83 1.29 1.25

time (sec)

N/A 0.264 0.171 0.168 0.211 0.253 0.065 0.298 12.964

Problem 1994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A A F B

verified

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

size

19 0 19 16 0 27 19 0 22

N.S.

1 0.00 1.00 0.84 0.00 1.42 1.00 0.00 1.16

time (sec)

N/A 0.000 0.346 0.143 0.000 0.269 0.106 0.000 12.915

Problem 1995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 24 20 21 20 20 19 20 19

N.S.

1 1.60 1.33 1.40 1.33 1.33 1.27 1.33 1.27

time (sec)

N/A 0.134 0.006 0.047 0.175 0.237 0.021 0.275 13.007

Problem 1996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

7 13 5 5 9 4 3 4 4

N.S.

1 1.86 0.71 0.71 1.29 0.57 0.43 0.57 0.57

time (sec)

N/A 0.158 0.001 0.032 0.183 0.263 0.034 0.278 0.017

Problem 1997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 0 40 54 38 36 38 0

N.S.

1 0.00 0.00 1.29 1.74 1.23 1.16 1.23 0.00

time (sec)

N/A 0.000 0.000 0.287 0.205 0.263 0.155 0.353 0.000

Problem 1998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 74 199 217 195 201 0 1346

N.S.

1 0.00 2.74 7.37 8.04 7.22 7.44 0.00 49.85

time (sec)

N/A 0.000 7.142 19.425 2.184 0.326 49.583 0.000 15.809

Problem 1999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A B A B

verified

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

size

29 0 24 26 26 24 41 23 21

N.S.

1 0.00 0.83 0.90 0.90 0.83 1.41 0.79 0.72

time (sec)

N/A 0.000 0.064 3.437 0.305 0.248 0.735 0.477 13.653

Problem 2000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 18 18 19 25 18 14 284 18

N.S.

1 0.82 0.82 0.86 1.14 0.82 0.64 12.91 0.82

time (sec)

N/A 0.394 0.028 5.040 0.303 0.243 0.083 0.392 13.898

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