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

2.2.30 Integrals 2901 to 3000

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 2901

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

17 0 17 19 18 18 12 18 18

N.S.

1 0.00 1.00 1.12 1.06 1.06 0.71 1.06 1.06

time (sec)

N/A 0.000 0.243 0.825 0.218 0.249 0.063 0.295 13.884

Problem 2902

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

29 0 19 18 51 35 32 20 20

N.S.

1 0.00 0.66 0.62 1.76 1.21 1.10 0.69 0.69

time (sec)

N/A 0.000 0.020 0.434 0.265 0.254 0.065 0.281 13.683

Problem 2903

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 13 17 14 13 20 10 13 13

N.S.

1 0.62 0.81 0.67 0.62 0.95 0.48 0.62 0.62

time (sec)

N/A 0.201 0.012 0.762 0.185 0.253 0.046 0.286 13.303

Problem 2904

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

22 0 24 25 25 25 20 25 23

N.S.

1 0.00 1.09 1.14 1.14 1.14 0.91 1.14 1.05

time (sec)

N/A 0.000 0.514 0.119 0.222 0.281 0.055 0.277 0.108

Problem 2905

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

5 3 3 3 2 2 2 2 2

N.S.

1 0.60 0.60 0.60 0.40 0.40 0.40 0.40 0.40

time (sec)

N/A 0.128 0.000 0.092 0.212 0.260 0.027 0.266 0.008

Problem 2906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 339 35 22 120 49 20 55 23

N.S.

1 12.56 1.30 0.81 4.44 1.81 0.74 2.04 0.85

time (sec)

N/A 0.842 1.148 0.133 0.311 0.254 0.085 0.272 13.402

Problem 2907

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 30 25 25 39 24 31 28 29

N.S.

1 1.03 0.86 0.86 1.34 0.83 1.07 0.97 1.00

time (sec)

N/A 0.552 0.079 0.062 0.239 0.253 0.045 0.281 12.929

Problem 2908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 303 72 48 856 41 44 366 47

N.S.

1 11.22 2.67 1.78 31.70 1.52 1.63 13.56 1.74

time (sec)

N/A 0.712 0.173 0.664 0.215 0.258 0.153 0.279 13.612

Problem 2909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B B A B B B

verified

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

size

29 0 48 90 87 52 87 271 94

N.S.

1 0.00 1.66 3.10 3.00 1.79 3.00 9.34 3.24

time (sec)

N/A 0.000 0.100 1.586 0.335 0.251 0.297 0.576 20.572

Problem 2910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 75 63 15 27 14 12 0 11

N.S.

1 5.36 4.50 1.07 1.93 1.00 0.86 0.00 0.79

time (sec)

N/A 0.443 0.020 0.760 0.181 0.254 0.057 0.000 14.052

Problem 2911

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

28 28 24 21 30 20 29 20 18

N.S.

1 1.00 0.86 0.75 1.07 0.71 1.04 0.71 0.64

time (sec)

N/A 0.200 0.056 0.240 0.233 0.255 0.062 0.286 13.673

Problem 2912

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 38 19 20 19 24 19 26 19

N.S.

1 1.73 0.86 0.91 0.86 1.09 0.86 1.18 0.86

time (sec)

N/A 0.892 0.216 0.145 0.310 0.254 0.075 0.272 13.043

Problem 2913

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 26 21 26 25 25 27 25 20

N.S.

1 1.24 1.00 1.24 1.19 1.19 1.29 1.19 0.95

time (sec)

N/A 0.196 0.091 0.148 0.186 0.258 0.050 0.270 0.048

Problem 2914

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

29 0 28 24 24 47 31 0 62

N.S.

1 0.00 0.97 0.83 0.83 1.62 1.07 0.00 2.14

time (sec)

N/A 0.000 0.102 2.219 0.458 0.253 0.182 0.000 13.856

Problem 2915

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 24 22 19 18 21 15 21 18

N.S.

1 1.09 1.00 0.86 0.82 0.95 0.68 0.95 0.82

time (sec)

N/A 0.178 0.018 0.233 0.213 0.249 0.048 0.260 0.084

Problem 2916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 34 385 28 705 23 26 38 27

N.S.

1 1.36 15.40 1.12 28.20 0.92 1.04 1.52 1.08

time (sec)

N/A 1.123 0.891 2.702 1.673 0.261 0.100 0.313 14.953

Problem 2917

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

25 21 25 19 68 18 19 18 18

N.S.

1 0.84 1.00 0.76 2.72 0.72 0.76 0.72 0.72

time (sec)

N/A 0.395 0.062 0.644 0.320 0.281 0.078 0.289 13.677

Problem 2918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B A B A B A B

verified

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

size

27 0 57 38 55 44 49 44 46

N.S.

1 0.00 2.11 1.41 2.04 1.63 1.81 1.63 1.70

time (sec)

N/A 0.000 5.173 0.169 0.250 0.259 0.129 0.294 13.618

Problem 2919

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

N.S.

1 0.88 0.96 0.76 0.72 0.72 0.68 0.72 0.72

time (sec)

N/A 0.196 0.015 0.095 0.181 0.257 0.083 0.269 12.961

Problem 2920

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

N.S.

1 1.00 1.00 0.94 0.89 0.89 0.83 1.06 1.22

time (sec)

N/A 0.212 0.010 0.539 0.181 0.246 0.061 0.261 0.059

Problem 2921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 8 8 9 8 8 7 27 8

N.S.

1 0.62 0.62 0.69 0.62 0.62 0.54 2.08 0.62

time (sec)

N/A 0.200 0.032 0.240 0.185 0.261 0.059 0.272 12.954

Problem 2922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 41 46 34 50 40 41 31 16

N.S.

1 2.05 2.30 1.70 2.50 2.00 2.05 1.55 0.80

time (sec)

N/A 0.223 0.013 0.114 0.222 0.250 0.075 0.276 13.526

Problem 2923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 50 16 17 41 20 76 43 18

N.S.

1 3.33 1.07 1.13 2.73 1.33 5.07 2.87 1.20

time (sec)

N/A 0.191 0.019 0.499 0.181 0.244 0.444 0.266 12.335

Problem 2924

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

32 0 30 56 50 40 24 37 183

N.S.

1 0.00 0.94 1.75 1.56 1.25 0.75 1.16 5.72

time (sec)

N/A 0.000 0.108 10.888 0.357 0.276 0.200 0.360 12.827

Problem 2925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 192 35 33 157 72 131 89 109

N.S.

1 7.38 1.35 1.27 6.04 2.77 5.04 3.42 4.19

time (sec)

N/A 0.501 5.450 0.119 0.194 0.258 0.111 0.271 12.342

Problem 2926

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

33 0 39 42 46 40 34 46 40

N.S.

1 0.00 1.18 1.27 1.39 1.21 1.03 1.39 1.21

time (sec)

N/A 0.000 0.203 1.317 0.447 0.264 0.530 0.633 13.573

Problem 2927

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

26 34 22 34 34 26 34 34 22

N.S.

1 1.31 0.85 1.31 1.31 1.00 1.31 1.31 0.85

time (sec)

N/A 0.201 0.004 0.160 0.183 0.242 0.052 0.255 0.054

Problem 2928

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 40 36 29 31 34 31 30 34

N.S.

1 1.82 1.64 1.32 1.41 1.55 1.41 1.36 1.55

time (sec)

N/A 0.310 0.027 0.079 0.193 0.255 0.370 0.259 0.120

Problem 2929

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

23 0 21 53 74 52 71 73 0

N.S.

1 0.00 0.91 2.30 3.22 2.26 3.09 3.17 0.00

time (sec)

N/A 0.000 5.175 0.662 0.255 0.258 3.964 0.331 0.000

Problem 2930

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 53 36 50 44 47 42 56 49

N.S.

1 1.96 1.33 1.85 1.63 1.74 1.56 2.07 1.81

time (sec)

N/A 0.981 0.224 0.786 0.242 0.268 0.175 0.279 12.446

Problem 2931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 34 37 22 41 26 49 0 50

N.S.

1 1.42 1.54 0.92 1.71 1.08 2.04 0.00 2.08

time (sec)

N/A 0.782 0.542 4.174 0.309 0.254 3.888 0.000 13.356

Problem 2932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A F B

verified

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

size

20 0 20 18 24 48 14 0 17

N.S.

1 0.00 1.00 0.90 1.20 2.40 0.70 0.00 0.85

time (sec)

N/A 0.000 1.818 1.404 0.402 0.264 0.235 0.000 13.514

Problem 2933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 69 30 38 181 43 44 44 20

N.S.

1 3.29 1.43 1.81 8.62 2.05 2.10 2.10 0.95

time (sec)

N/A 0.526 0.725 0.092 0.211 0.251 0.070 0.258 0.090

Problem 2934

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 22 20 22 20 30 20 20 26

N.S.

1 1.10 1.00 1.10 1.00 1.50 1.00 1.00 1.30

time (sec)

N/A 0.222 0.019 0.626 0.187 0.236 0.069 0.253 0.085

Problem 2935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 49 49 65 43 75 60 0 47

N.S.

1 1.63 1.63 2.17 1.43 2.50 2.00 0.00 1.57

time (sec)

N/A 18.745 0.271 0.191 0.432 0.269 1.835 0.000 12.825

Problem 2936

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 21 17 20 17 20 22 17

N.S.

1 0.00 0.91 0.74 0.87 0.74 0.87 0.96 0.74

time (sec)

N/A 0.000 0.337 0.662 0.315 0.244 0.125 0.279 13.563

Problem 2937

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

28 0 79 87 131 145 119 155 0

N.S.

1 0.00 2.82 3.11 4.68 5.18 4.25 5.54 0.00

time (sec)

N/A 0.000 0.217 0.380 0.497 0.266 0.313 3.543 0.000

Problem 2938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A B B

verified

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

size

25 0 31 21 26 32 26 55 28

N.S.

1 0.00 1.24 0.84 1.04 1.28 1.04 2.20 1.12

time (sec)

N/A 0.000 1.217 6.760 0.311 0.256 1.839 0.324 12.843

Problem 2939

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

32 0 26 30 42 42 37 31 0

N.S.

1 0.00 0.81 0.94 1.31 1.31 1.16 0.97 0.00

time (sec)

N/A 0.000 0.510 0.791 0.219 0.255 0.316 0.276 0.000

Problem 2940

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

32 0 49 36 56 38 37 89 63

N.S.

1 0.00 1.53 1.12 1.75 1.19 1.16 2.78 1.97

time (sec)

N/A 0.000 3.811 1.455 0.256 0.253 0.110 1.094 12.810

Problem 2941

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

12 10 10 8 7 7 8 7 7

N.S.

1 0.83 0.83 0.67 0.58 0.58 0.67 0.58 0.58

time (sec)

N/A 0.124 0.000 0.073 0.192 0.236 0.019 0.272 0.035

Problem 2942

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

22 23 23 20 24 19 19 21 20

N.S.

1 1.05 1.05 0.91 1.09 0.86 0.86 0.95 0.91

time (sec)

N/A 0.223 0.089 0.214 0.216 0.269 0.058 0.274 12.176

Problem 2943

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

16 15 15 14 13 27 12 13 13

N.S.

1 0.94 0.94 0.88 0.81 1.69 0.75 0.81 0.81

time (sec)

N/A 0.155 0.021 0.163 0.191 0.263 0.050 0.270 0.072

Problem 2944

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

16 20 16 15 18 21 14 21 14

N.S.

1 1.25 1.00 0.94 1.12 1.31 0.88 1.31 0.88

time (sec)

N/A 0.173 0.007 0.108 0.182 0.244 0.054 0.277 0.074

Problem 2945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 27 35 0 34 0 0 72

N.S.

1 0.00 0.93 1.21 0.00 1.17 0.00 0.00 2.48

time (sec)

N/A 0.000 0.377 9.149 0.000 0.252 0.000 0.000 0.404

Problem 2946

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

N.S.

1 0.92 0.72 0.64 0.60 0.92 0.56 0.64 0.68

time (sec)

N/A 0.249 0.017 0.094 0.199 0.265 0.130 0.272 0.090

Problem 2947

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

26 0 30 34 57 31 31 57 443

N.S.

1 0.00 1.15 1.31 2.19 1.19 1.19 2.19 17.04

time (sec)

N/A 0.000 0.038 25.874 0.235 0.261 0.092 0.318 12.955

Problem 2948

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 26 26 25 38 27 26 25 34

N.S.

1 0.96 0.96 0.93 1.41 1.00 0.96 0.93 1.26

time (sec)

N/A 0.207 0.085 0.240 0.217 0.254 0.136 0.283 12.716

Problem 2949

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

31 26 26 24 25 39 22 25 23

N.S.

1 0.84 0.84 0.77 0.81 1.26 0.71 0.81 0.74

time (sec)

N/A 0.417 0.021 0.303 0.181 0.260 0.091 0.283 0.124

Problem 2950

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

17 0 16 12 14 14 15 0 15

N.S.

1 0.00 0.94 0.71 0.82 0.82 0.88 0.00 0.88

time (sec)

N/A 0.000 0.559 0.523 0.382 0.264 0.203 0.000 12.427

Problem 2951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 21 18 37 43 24 25 28

N.S.

1 1.00 0.91 0.78 1.61 1.87 1.04 1.09 1.22

time (sec)

N/A 0.489 0.100 0.830 0.241 0.260 0.059 0.286 12.522

Problem 2952

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

N.S.

1 0.00 1.00 1.10 1.00 1.00 0.90 1.00 1.10

time (sec)

N/A 0.000 0.815 4.928 0.282 0.254 0.217 0.289 12.568

Problem 2953

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

13 14 11 10 11 9 10 10 9

N.S.

1 1.08 0.85 0.77 0.85 0.69 0.77 0.77 0.69

time (sec)

N/A 0.158 0.020 0.200 0.182 0.250 0.058 0.252 0.088

Problem 2954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B A A A A B

verified

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

size

25 0 29 104 26 24 20 36 24

N.S.

1 0.00 1.16 4.16 1.04 0.96 0.80 1.44 0.96

time (sec)

N/A 0.000 0.160 3.237 0.233 0.266 0.905 0.491 13.157

Problem 2955

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

N.S.

1 0.00 1.00 1.05 1.19 1.19 1.05 1.24 24.43

time (sec)

N/A 0.000 0.249 2.741 0.305 0.244 0.093 0.272 13.821

Problem 2956

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 27 20 19 30 20 38 42

N.S.

1 0.00 0.96 0.71 0.68 1.07 0.71 1.36 1.50

time (sec)

N/A 0.000 3.082 0.332 0.233 0.275 0.070 0.280 0.298

Problem 2957

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

28 0 28 27 32 44 20 0 139

N.S.

1 0.00 1.00 0.96 1.14 1.57 0.71 0.00 4.96

time (sec)

N/A 0.000 0.098 107.659 0.318 0.259 0.143 0.000 13.746

Problem 2958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 43 28 21 38 25 19 95 21

N.S.

1 1.59 1.04 0.78 1.41 0.93 0.70 3.52 0.78

time (sec)

N/A 0.439 0.092 0.517 0.178 0.267 0.071 0.280 12.429

Problem 2959

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 39 39 34 38 38 34 38 32

N.S.

1 1.70 1.70 1.48 1.65 1.65 1.48 1.65 1.39

time (sec)

N/A 0.161 0.008 0.128 0.182 0.270 0.025 0.268 0.110

Problem 2960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 79 25 40 43 43 44 0 0

N.S.

1 3.29 1.04 1.67 1.79 1.79 1.83 0.00 0.00

time (sec)

N/A 1.769 0.212 1.556 0.325 0.312 0.406 0.000 0.000

Problem 2961

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

26 0 31 31 30 30 29 30 30

N.S.

1 0.00 1.19 1.19 1.15 1.15 1.12 1.15 1.15

time (sec)

N/A 0.000 2.852 0.077 0.217 0.265 0.078 0.276 0.107

Problem 2962

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

9 9 9 9 8 8 8 8 8

N.S.

1 1.00 1.00 1.00 0.89 0.89 0.89 0.89 0.89

time (sec)

N/A 0.143 0.019 0.227 0.195 0.242 0.061 0.271 0.029

Problem 2963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

24 0 40 45 91 65 49 52 0

N.S.

1 0.00 1.67 1.88 3.79 2.71 2.04 2.17 0.00

time (sec)

N/A 0.000 2.182 0.807 0.309 0.269 0.179 0.369 0.000

Problem 2964

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

9 9 9 9 8 8 5 8 8

N.S.

1 1.00 1.00 1.00 0.89 0.89 0.56 0.89 0.89

time (sec)

N/A 0.126 0.000 0.007 0.179 0.239 0.015 0.268 0.002

Problem 2965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 32 32 36 53 48 31 59 50

N.S.

1 0.84 0.84 0.95 1.39 1.26 0.82 1.55 1.32

time (sec)

N/A 1.364 5.079 3.709 0.386 0.265 0.132 0.309 13.032

Problem 2966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

37 0 48 27 41 41 26 0 30

N.S.

1 0.00 1.30 0.73 1.11 1.11 0.70 0.00 0.81

time (sec)

N/A 0.000 0.106 0.684 0.238 0.254 0.108 0.000 12.554

Problem 2967

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

30 0 28 21 0 22 27 0 21

N.S.

1 0.00 0.93 0.70 0.00 0.73 0.90 0.00 0.70

time (sec)

N/A 0.000 0.111 0.509 0.000 0.256 41.782 0.000 12.864

Problem 2968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A F B

verified

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

size

30 0 33 25 26 48 24 0 48

N.S.

1 0.00 1.10 0.83 0.87 1.60 0.80 0.00 1.60

time (sec)

N/A 0.000 0.281 0.447 0.329 0.256 0.160 0.000 0.243

Problem 2969

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

29 0 32 25 31 27 31 0 35

N.S.

1 0.00 1.10 0.86 1.07 0.93 1.07 0.00 1.21

time (sec)

N/A 0.000 1.573 0.156 0.253 0.261 0.191 0.000 13.022

Problem 2970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 28 26 26 31 28 27 28 0

N.S.

1 0.93 0.87 0.87 1.03 0.93 0.90 0.93 0.00

time (sec)

N/A 1.180 0.088 1.500 0.246 0.258 0.158 0.418 0.000

Problem 2971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B B B B F B

verified

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

size

37 0 144 117 148 94 177 0 125

N.S.

1 0.00 3.89 3.16 4.00 2.54 4.78 0.00 3.38

time (sec)

N/A 0.000 0.232 2.740 0.246 0.275 0.296 0.000 0.761

Problem 2972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 27 17 34 35 35 34 40 27

N.S.

1 1.59 1.00 2.00 2.06 2.06 2.00 2.35 1.59

time (sec)

N/A 0.182 0.014 0.133 0.181 0.252 0.058 0.265 0.070

Problem 2973

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

N.S.

1 0.87 0.87 1.07 0.80 0.73 0.93 0.80 0.73

time (sec)

N/A 0.129 0.001 0.076 0.181 0.292 0.023 0.260 0.033

Problem 2974

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

30 16 16 13 12 12 12 15 12

N.S.

1 0.53 0.53 0.43 0.40 0.40 0.40 0.50 0.40

time (sec)

N/A 0.199 0.048 0.079 0.232 0.263 0.093 0.264 12.910

Problem 2975

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

22 0 22 20 24 19 17 19 19

N.S.

1 0.00 1.00 0.91 1.09 0.86 0.77 0.86 0.86

time (sec)

N/A 0.000 0.142 0.336 0.326 0.249 0.081 0.282 13.077

Problem 2976

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

24 0 33 39 49 43 37 0 30

N.S.

1 0.00 1.38 1.62 2.04 1.79 1.54 0.00 1.25

time (sec)

N/A 0.000 7.089 0.647 0.282 0.260 0.223 0.000 12.692

Problem 2977

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

18 0 18 18 17 17 17 17 17

N.S.

1 0.00 1.00 1.00 0.94 0.94 0.94 0.94 0.94

time (sec)

N/A 0.000 0.122 0.418 0.262 0.246 0.085 0.283 0.235

Problem 2978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 32 34 31 28 28 31 28 30

N.S.

1 2.13 2.27 2.07 1.87 1.87 2.07 1.87 2.00

time (sec)

N/A 0.161 0.005 0.078 0.186 0.272 0.024 0.290 0.047

Problem 2979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 33 34 53 33 0 0 25

N.S.

1 0.00 1.27 1.31 2.04 1.27 0.00 0.00 0.96

time (sec)

N/A 0.000 0.326 32.245 0.369 0.269 0.000 0.000 12.855

Problem 2980

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

N.S.

1 0.00 0.92 1.08 0.96 1.16 1.08 1.52 0.96

time (sec)

N/A 0.000 0.449 0.839 0.226 0.246 0.089 0.360 12.832

Problem 2981

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 27 22 22 26 26 24 26 27

N.S.

1 0.96 0.79 0.79 0.93 0.93 0.86 0.93 0.96

time (sec)

N/A 0.196 0.064 0.075 0.178 0.256 0.047 0.268 13.617

Problem 2982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 48 44 45 178 85 63 46 47

N.S.

1 1.85 1.69 1.73 6.85 3.27 2.42 1.77 1.81

time (sec)

N/A 0.707 0.468 0.217 0.313 0.255 0.137 0.271 12.305

Problem 2983

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

32 36 36 30 29 33 27 33 29

N.S.

1 1.12 1.12 0.94 0.91 1.03 0.84 1.03 0.91

time (sec)

N/A 2.621 0.181 45.435 0.223 0.275 0.529 0.327 12.796

Problem 2984

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

25 74 29 40 152 33 37 34 29

N.S.

1 2.96 1.16 1.60 6.08 1.32 1.48 1.36 1.16

time (sec)

N/A 0.617 0.085 0.182 0.233 0.253 0.112 0.273 13.547

Problem 2985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 37 23 22 0 20 24 22 27

N.S.

1 1.09 0.68 0.65 0.00 0.59 0.71 0.65 0.79

time (sec)

N/A 0.456 0.199 0.798 0.000 0.261 0.081 0.268 0.115

Problem 2986

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 49 64 123 123 131 167 121

N.S.

1 0.00 1.75 2.29 4.39 4.39 4.68 5.96 4.32

time (sec)

N/A 0.000 0.213 11.737 0.366 0.275 0.219 0.582 14.608

Problem 2987

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

32 0 26 27 27 26 24 27 27

N.S.

1 0.00 0.81 0.84 0.84 0.81 0.75 0.84 0.84

time (sec)

N/A 0.000 0.055 0.408 0.217 0.255 0.213 0.316 14.915

Problem 2988

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 24 19 20 25 30 22 32 19

N.S.

1 1.20 0.95 1.00 1.25 1.50 1.10 1.60 0.95

time (sec)

N/A 0.208 0.014 0.163 0.188 0.264 0.061 0.283 0.124

Problem 2989

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

N.S.

1 0.92 1.00 0.75 0.83 0.71 0.71 0.71 0.75

time (sec)

N/A 0.521 0.135 1.332 0.224 0.268 0.057 0.279 0.091

Problem 2990

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

35 0 36 36 35 45 27 47 29

N.S.

1 0.00 1.03 1.03 1.00 1.29 0.77 1.34 0.83

time (sec)

N/A 0.000 11.173 15.534 0.306 0.261 0.222 0.296 13.645

Problem 2991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 18 18 103 29 15 108 16

N.S.

1 1.00 0.90 0.90 5.15 1.45 0.75 5.40 0.80

time (sec)

N/A 0.409 0.038 0.731 0.291 0.254 0.118 0.284 13.884

Problem 2992

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

16 19 17 15 20 14 12 14 14

N.S.

1 1.19 1.06 0.94 1.25 0.88 0.75 0.88 0.88

time (sec)

N/A 0.392 0.315 0.823 0.318 0.243 0.053 0.290 13.114

Problem 2993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 54 24 22 19 21 19 21 21

N.S.

1 2.45 1.09 1.00 0.86 0.95 0.86 0.95 0.95

time (sec)

N/A 0.211 2.491 0.243 0.254 0.256 0.102 0.280 13.305

Problem 2994

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 15 15 15 14 18 12 15 14

N.S.

1 0.88 0.88 0.88 0.82 1.06 0.71 0.88 0.82

time (sec)

N/A 0.145 0.003 0.089 0.173 0.238 0.040 0.260 13.386

Problem 2995

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

30 30 30 26 25 26 26 25 26

N.S.

1 1.00 1.00 0.87 0.83 0.87 0.87 0.83 0.87

time (sec)

N/A 0.198 0.020 0.245 0.191 0.246 0.117 0.270 14.543

Problem 2996

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

12 10 10 11 10 10 10 11 10

N.S.

1 0.83 0.83 0.92 0.83 0.83 0.83 0.92 0.83

time (sec)

N/A 0.172 0.002 0.115 0.186 0.258 0.039 0.285 12.989

Problem 2997

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

34 0 31 27 26 39 29 0 26

N.S.

1 0.00 0.91 0.79 0.76 1.15 0.85 0.00 0.76

time (sec)

N/A 0.000 0.098 0.247 0.257 0.263 0.099 0.000 12.644

Problem 2998

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

N.S.

1 0.78 0.67 0.59 0.56 0.63 0.56 0.63 0.59

time (sec)

N/A 0.152 0.024 0.096 0.203 0.257 0.036 0.280 13.253

Problem 2999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 23 15 38 0 15 18

N.S.

1 1.00 1.00 1.28 0.83 2.11 0.00 0.83 1.00

time (sec)

N/A 0.479 0.169 3.721 0.291 0.265 0.000 0.290 14.048

Problem 3000

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 26 26 23 34 22 22 23 33

N.S.

1 1.08 1.08 0.96 1.42 0.92 0.92 0.96 1.38

time (sec)

N/A 0.735 0.184 0.739 0.304 0.250 0.131 0.292 13.554

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