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

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 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 30 30 29 71 27 37 27 25 29

N.S.

1 1.58 1.58 1.53 3.74 1.42 1.95 1.42 1.32 1.53

time (sec)

N/A 0.392 0.046 0.925 0.085 0.064 0.286 0.118 0.218 2.372

Problem 2902

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

N.S.

1 0.74 0.74 0.95 0.89 0.84 0.89 0.84 0.84 0.84

time (sec)

N/A 1.247 0.125 0.622 0.084 0.072 0.189 0.156 0.208 2.783

Problem 2903

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

34 51 51 50 49 49 49 50 49 49

N.S.

1 1.50 1.50 1.47 1.44 1.44 1.44 1.47 1.44 1.44

time (sec)

N/A 1.323 0.020 0.115 0.026 0.071 0.096 0.119 0.210 0.140

Problem 2904

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 38 20 22 25 25 22 33 19 24

N.S.

1 1.65 0.87 0.96 1.09 1.09 0.96 1.43 0.83 1.04

time (sec)

N/A 0.316 0.013 0.276 0.033 0.064 0.250 0.109 0.225 0.142

Problem 2905

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

N.S.

1 0.94 0.94 1.00 0.94 1.06 0.82 0.94 0.94 0.94

time (sec)

N/A 0.296 0.016 0.118 0.029 0.067 0.060 0.108 0.216 2.165

Problem 2906

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

24 0 20 27 23 23 20 26 29 0

N.S.

1 0.00 0.83 1.12 0.96 0.96 0.83 1.08 1.21 0.00

time (sec)

N/A 0.000 1.298 0.182 0.085 0.063 0.145 0.118 0.215 0.000

Problem 2907

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

37 0 32 56 42 41 0 41 48 39

N.S.

1 0.00 0.86 1.51 1.14 1.11 0.00 1.11 1.30 1.05

time (sec)

N/A 0.000 0.756 62.859 0.091 0.071 0.000 0.133 0.204 2.405

Problem 2908

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 27 33 1153 31 44 49 27 27

N.S.

1 0.00 1.12 1.38 48.04 1.29 1.83 2.04 1.12 1.12

time (sec)

N/A 0.000 0.381 1.312 2.758 0.064 0.136 0.133 0.224 2.354

Problem 2909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 52 38 0 42 41 0 52 40

N.S.

1 0.00 2.08 1.52 0.00 1.68 1.64 0.00 2.08 1.60

time (sec)

N/A 0.000 0.063 0.405 0.000 0.072 0.121 0.000 0.215 2.280

Problem 2910

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

19 22 16 90 244 54 71 61 112 63

N.S.

1 1.16 0.84 4.74 12.84 2.84 3.74 3.21 5.89 3.32

time (sec)

N/A 0.357 0.015 0.846 0.123 0.068 0.103 0.132 0.215 0.713

Problem 2911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 35 21 29 22 26 27 28 31 25

N.S.

1 1.67 1.00 1.38 1.05 1.24 1.29 1.33 1.48 1.19

time (sec)

N/A 0.387 0.080 0.125 0.177 0.068 0.128 0.149 0.197 2.589

Problem 2912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 25 33 106 40 41 0 69 110

N.S.

1 0.00 0.93 1.22 3.93 1.48 1.52 0.00 2.56 4.07

time (sec)

N/A 0.000 0.093 17.427 0.244 0.067 0.450 0.000 0.227 2.618

Problem 2913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 0 0 23 53 31 34 72 33 0

N.S.

1 0.00 0.00 1.00 2.30 1.35 1.48 3.13 1.43 0.00

time (sec)

N/A 0.000 0.000 3.987 0.177 0.069 0.295 0.265 0.193 0.000

Problem 2914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 24 23 22 36 21 17 21 45 19

N.S.

1 1.14 1.10 1.05 1.71 1.00 0.81 1.00 2.14 0.90

time (sec)

N/A 0.406 0.024 0.308 0.073 0.065 0.064 0.113 0.200 2.262

Problem 2915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 0 23 0 36 32 26 697 23 22

N.S.

1 0.00 1.00 0.00 1.57 1.39 1.13 30.30 1.00 0.96

time (sec)

N/A 0.000 0.218 0.000 0.227 0.067 0.282 0.556 0.224 2.778

Problem 2916

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

27 27 25 19 0 26 14 22 27 33

N.S.

1 1.00 0.93 0.70 0.00 0.96 0.52 0.81 1.00 1.22

time (sec)

N/A 0.446 0.127 0.331 0.000 0.068 0.068 0.113 0.220 0.109

Problem 2917

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

N.S.

1 1.44 1.44 1.17 1.11 1.11 1.11 1.11 1.22 1.11

time (sec)

N/A 0.258 0.032 0.124 0.038 0.075 0.071 0.123 0.207 0.131

Problem 2918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 0 79 69 97 97 0 71 102 0

N.S.

1 0.00 2.26 1.97 2.77 2.77 0.00 2.03 2.91 0.00

time (sec)

N/A 0.000 0.068 2.277 0.168 0.076 0.000 0.352 0.206 0.000

Problem 2919

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 44 39 37 36 36 37 36 42 38

N.S.

1 1.91 1.70 1.61 1.57 1.57 1.61 1.57 1.83 1.65

time (sec)

N/A 0.200 0.034 0.382 0.037 0.067 0.071 0.112 0.206 2.132

Problem 2920

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

N.S.

1 0.57 0.57 0.68 0.64 0.68 0.50 0.68 0.68 0.64

time (sec)

N/A 0.202 0.007 0.273 0.025 0.059 0.161 0.114 0.205 2.220

Problem 2921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 18 18 18 17 17 15 17 14 13

N.S.

1 0.86 0.86 0.86 0.81 0.81 0.71 0.81 0.67 0.62

time (sec)

N/A 0.197 0.005 0.155 0.027 0.063 0.050 0.113 0.200 0.046

Problem 2922

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

30 33 31 26 24 31 22 25 31 25

N.S.

1 1.10 1.03 0.87 0.80 1.03 0.73 0.83 1.03 0.83

time (sec)

N/A 0.954 0.029 1.005 0.166 0.074 0.147 0.126 0.208 2.391

Problem 2923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 0 15 16 39 15 14 102 15 15

N.S.

1 0.00 1.00 1.07 2.60 1.00 0.93 6.80 1.00 1.00

time (sec)

N/A 0.000 0.126 11.894 0.148 0.060 0.075 0.140 0.227 2.374

Problem 2924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 30 28 34 30 27 339 38 0

N.S.

1 0.00 1.00 0.93 1.13 1.00 0.90 11.30 1.27 0.00

time (sec)

N/A 0.000 1.550 11.579 0.157 0.066 0.317 1.709 0.218 0.000

Problem 2925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 51 57 119 73 60 0 116 0

N.S.

1 0.00 1.96 2.19 4.58 2.81 2.31 0.00 4.46 0.00

time (sec)

N/A 0.000 0.422 1.316 0.099 0.069 0.246 0.000 0.207 0.000

Problem 2926

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 20 20 15 14 14 12 16 14 10

N.S.

1 1.18 1.18 0.88 0.82 0.82 0.71 0.94 0.82 0.59

time (sec)

N/A 0.187 0.005 0.132 0.027 0.060 0.049 0.111 0.201 2.166

Problem 2927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 36 17 15 21 15 14 21 16 14

N.S.

1 2.25 1.06 0.94 1.31 0.94 0.88 1.31 1.00 0.88

time (sec)

N/A 0.454 0.027 0.159 0.042 0.066 0.101 0.114 0.202 2.247

Problem 2928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 40 22 35 116 24 24 217 38 20

N.S.

1 1.82 1.00 1.59 5.27 1.09 1.09 9.86 1.73 0.91

time (sec)

N/A 0.758 0.186 0.027 0.092 0.069 0.183 0.132 0.209 2.325

Problem 2929

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

17 16 12 11 17 9 10 9 12 9

N.S.

1 0.94 0.71 0.65 1.00 0.53 0.59 0.53 0.71 0.53

time (sec)

N/A 0.185 0.029 0.109 0.066 0.063 0.050 0.111 0.214 0.044

Problem 2930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 0 68 54 80 86 48 103 117 89

N.S.

1 0.00 2.00 1.59 2.35 2.53 1.41 3.03 3.44 2.62

time (sec)

N/A 0.000 0.103 1.079 0.180 0.069 0.154 0.126 0.204 2.210

Problem 2931

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 18 19 13 14 14 15 14 13 15

N.S.

1 0.75 0.79 0.54 0.58 0.58 0.62 0.58 0.54 0.62

time (sec)

N/A 0.134 0.003 0.065 0.038 0.054 0.027 0.109 0.208 0.039

Problem 2932

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

N.S.

1 0.88 0.88 0.85 0.96 0.81 0.73 0.81 0.88 0.81

time (sec)

N/A 1.068 0.211 1.257 0.152 0.068 0.138 0.129 0.200 2.274

Problem 2933

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

22 0 25 31 20 30 32 30 24 30

N.S.

1 0.00 1.14 1.41 0.91 1.36 1.45 1.36 1.09 1.36

time (sec)

N/A 0.000 0.100 0.701 0.063 0.070 0.191 0.160 0.205 2.369

Problem 2934

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

21 20 20 20 0 25 10 34 34 29

N.S.

1 0.95 0.95 0.95 0.00 1.19 0.48 1.62 1.62 1.38

time (sec)

N/A 0.467 0.013 0.323 0.000 0.067 0.087 0.119 0.197 2.098

Problem 2935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 42 35 54 0 32 54 65 60 0

N.S.

1 1.62 1.35 2.08 0.00 1.23 2.08 2.50 2.31 0.00

time (sec)

N/A 0.988 0.084 68.383 0.000 0.071 8.900 0.125 0.210 0.000

Problem 2936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 168 33 88 400 79 87 147 106 81

N.S.

1 5.25 1.03 2.75 12.50 2.47 2.72 4.59 3.31 2.53

time (sec)

N/A 1.340 0.036 10.251 0.164 0.072 0.941 0.126 0.210 2.241

Problem 2937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 0 30 83 43 44 24 96 49 29

N.S.

1 0.00 0.86 2.37 1.23 1.26 0.69 2.74 1.40 0.83

time (sec)

N/A 0.000 0.313 0.292 0.198 0.083 3.448 0.238 0.216 2.434

Problem 2938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 59 35 20 23 39 19 61 35 25

N.S.

1 2.46 1.46 0.83 0.96 1.62 0.79 2.54 1.46 1.04

time (sec)

N/A 0.404 0.020 0.372 0.030 0.064 0.287 0.110 0.202 0.124

Problem 2939

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

30 0 41 58 131 218 87 316 87 40

N.S.

1 0.00 1.37 1.93 4.37 7.27 2.90 10.53 2.90 1.33

time (sec)

N/A 0.000 0.107 5.741 0.214 0.075 0.226 0.167 0.228 2.599

Problem 2940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 24 24 26 25 25 0 23 26 25

N.S.

1 0.92 0.92 1.00 0.96 0.96 0.00 0.88 1.00 0.96

time (sec)

N/A 1.247 0.109 0.086 0.269 0.070 0.000 0.386 0.222 3.267

Problem 2941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

9 7 7 7 6 6 7 6 7 6

N.S.

1 0.78 0.78 0.78 0.67 0.67 0.78 0.67 0.78 0.67

time (sec)

N/A 0.129 0.000 0.030 0.027 0.053 0.018 0.106 0.208 0.004

Problem 2942

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

25 35 25 24 138 25 17 31 27 19

N.S.

1 1.40 1.00 0.96 5.52 1.00 0.68 1.24 1.08 0.76

time (sec)

N/A 0.898 0.166 0.631 0.035 0.064 0.068 0.115 0.213 2.210

Problem 2943

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 27 30 30 30 27 36 33 31 31

N.S.

1 1.12 1.25 1.25 1.25 1.12 1.50 1.38 1.29 1.29

time (sec)

N/A 0.375 0.014 0.250 0.027 0.067 0.418 0.129 0.201 2.298

Problem 2944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 39 26 23 28 28 24 28 30 22

N.S.

1 2.05 1.37 1.21 1.47 1.47 1.26 1.47 1.58 1.16

time (sec)

N/A 0.204 0.014 0.373 0.026 0.071 0.063 0.115 0.212 2.195

Problem 2945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 37 42 33 43 42 86 115 101

N.S.

1 0.00 1.42 1.62 1.27 1.65 1.62 3.31 4.42 3.88

time (sec)

N/A 0.000 5.116 1.596 0.246 0.077 0.121 0.227 0.195 2.347

Problem 2946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 52 57 54 65 58 0 107 0

N.S.

1 0.00 1.68 1.84 1.74 2.10 1.87 0.00 3.45 0.00

time (sec)

N/A 0.000 0.110 0.612 0.083 0.083 12.117 0.000 0.196 0.000

Problem 2947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 38 22 54 48 66 96 58 123

N.S.

1 0.00 1.27 0.73 1.80 1.60 2.20 3.20 1.93 4.10

time (sec)

N/A 0.000 5.031 3.145 0.173 0.062 0.116 0.132 0.193 2.633

Problem 2948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 36 25 51 24 19 24 76 23

N.S.

1 0.00 1.38 0.96 1.96 0.92 0.73 0.92 2.92 0.88

time (sec)

N/A 0.000 0.085 0.453 0.103 0.086 0.184 0.156 0.209 2.309

Problem 2949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 77 81 27 62 62 70 62 67 53

N.S.

1 3.21 3.38 1.12 2.58 2.58 2.92 2.58 2.79 2.21

time (sec)

N/A 0.226 0.007 0.240 0.032 0.061 0.033 0.108 0.206 0.071

Problem 2950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

11 10 10 10 9 9 8 9 16 11

N.S.

1 0.91 0.91 0.91 0.82 0.82 0.73 0.82 1.45 1.00

time (sec)

N/A 0.154 0.012 0.118 0.046 0.064 0.040 0.112 0.218 0.061

Problem 2951

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

34 31 32 28 27 39 27 27 40 32

N.S.

1 0.91 0.94 0.82 0.79 1.15 0.79 0.79 1.18 0.94

time (sec)

N/A 0.426 0.039 1.133 0.084 0.075 0.077 0.117 0.200 2.206

Problem 2952

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

N.S.

1 0.62 0.62 0.50 0.44 0.44 0.44 0.44 0.50 0.44

time (sec)

N/A 0.132 0.000 0.167 0.030 0.062 0.028 0.109 0.200 0.048

Problem 2953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 0 53 40 51 69 41 0 67 0

N.S.

1 0.00 2.52 1.90 2.43 3.29 1.95 0.00 3.19 0.00

time (sec)

N/A 0.000 0.938 44.966 0.092 0.076 0.433 0.000 0.211 0.000

Problem 2954

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

33 0 34 52 65 62 80 72 58 31

N.S.

1 0.00 1.03 1.58 1.97 1.88 2.42 2.18 1.76 0.94

time (sec)

N/A 0.000 0.129 0.748 0.396 0.079 0.193 0.260 0.235 3.939

Problem 2955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 137 295 258 241 248 0 465 299

N.S.

1 0.00 4.57 9.83 8.60 8.03 8.27 0.00 15.50 9.97

time (sec)

N/A 0.000 1.683 0.135 6.068 2.773 2.716 0.000 200.037 3.320

Problem 2956

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 17 17 13 21 15 12 12 13 12

N.S.

1 1.00 1.00 0.76 1.24 0.88 0.71 0.71 0.76 0.71

time (sec)

N/A 0.433 0.012 0.239 0.166 0.063 0.070 0.116 0.278 2.237

Problem 2957

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 31 22 27 27 39 29 29 22 18

N.S.

1 1.55 1.10 1.35 1.35 1.95 1.45 1.45 1.10 0.90

time (sec)

N/A 0.198 0.028 0.265 0.035 0.060 0.069 0.110 0.253 0.057

Problem 2958

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

N.S.

1 1.26 0.89 0.79 0.74 0.74 0.89 0.74 0.68 0.74

time (sec)

N/A 0.158 0.004 0.145 0.037 0.067 0.044 0.108 0.263 0.046

Problem 2959

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

size

11 17 13 12 11 11 12 11 11 11

N.S.

1 1.55 1.18 1.09 1.00 1.00 1.09 1.00 1.00 1.00

time (sec)

N/A 0.161 0.001 0.122 0.030 0.062 0.050 0.112 0.268 2.132

Problem 2960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 12 20 18 17 49 17 17 23 19

N.S.

1 0.55 0.91 0.82 0.77 2.23 0.77 0.77 1.05 0.86

time (sec)

N/A 0.549 0.085 0.287 0.028 0.070 0.124 0.117 0.264 2.296

Problem 2961

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

N.S.

1 0.83 0.74 0.70 1.70 0.65 0.61 0.65 0.65 0.65

time (sec)

N/A 0.175 0.004 0.132 0.025 0.069 0.073 0.113 0.255 2.165

Problem 2962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 53 20 15 0 35 22 68 31 14

N.S.

1 2.94 1.11 0.83 0.00 1.94 1.22 3.78 1.72 0.78

time (sec)

N/A 0.547 0.056 0.527 0.000 0.066 0.066 0.122 0.264 2.289

Problem 2963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 18 18 18 19 17 14 19 18 17

N.S.

1 0.86 0.86 0.86 0.90 0.81 0.67 0.90 0.86 0.81

time (sec)

N/A 0.325 0.107 1.329 0.174 0.067 0.066 0.118 0.259 2.258

Problem 2964

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

N.S.

1 1.72 1.06 1.00 1.72 0.94 1.06 0.94 1.11 1.06

time (sec)

N/A 0.171 0.030 0.226 0.030 0.065 0.055 0.109 0.276 2.205

Problem 2965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 0 124 57 61 64 0 61 84 0

N.S.

1 0.00 3.76 1.73 1.85 1.94 0.00 1.85 2.55 0.00

time (sec)

N/A 0.000 0.139 5.188 0.657 0.078 0.000 0.514 0.302 0.000

Problem 2966

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

34 0 29 36 43 41 29 0 53 63

N.S.

1 0.00 0.85 1.06 1.26 1.21 0.85 0.00 1.56 1.85

time (sec)

N/A 0.000 0.162 20.394 0.236 0.069 59.960 0.000 0.280 2.511

Problem 2967

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 28 26 25 23 25 24 24 25 24

N.S.

1 1.08 1.00 0.96 0.88 0.96 0.92 0.92 0.96 0.92

time (sec)

N/A 0.194 0.003 0.099 0.038 0.056 0.051 0.109 0.269 0.045

Problem 2968

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

N.S.

1 0.00 0.83 1.04 0.83 1.08 0.92 1.00 1.08 1.12

time (sec)

N/A 0.000 0.156 0.842 0.085 0.062 0.201 0.130 0.254 2.635

Problem 2969

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

32 0 30 41 54 38 26 38 41 0

N.S.

1 0.00 0.94 1.28 1.69 1.19 0.81 1.19 1.28 0.00

time (sec)

N/A 0.000 3.997 14.306 0.151 0.069 0.086 0.157 0.279 0.000

Problem 2970

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

33 93 31 23 60 33 19 32 36 23

N.S.

1 2.82 0.94 0.70 1.82 1.00 0.58 0.97 1.09 0.70

time (sec)

N/A 0.589 0.224 0.213 0.068 0.066 0.061 0.112 0.266 2.299

Problem 2971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 24 24 20 21 21 20 21 272 22

N.S.

1 1.09 1.09 0.91 0.95 0.95 0.91 0.95 12.36 1.00

time (sec)

N/A 0.433 1.435 0.486 0.101 0.066 1.161 0.163 0.431 2.333

Problem 2972

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

18 170 51 214 1044 50 51 50 50 50

N.S.

1 9.44 2.83 11.89 58.00 2.78 2.83 2.78 2.78 2.78

time (sec)

N/A 2.113 0.083 0.020 0.056 0.068 0.097 0.131 0.266 2.420

Problem 2973

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

28 41 36 37 52 37 37 39 39 32

N.S.

1 1.46 1.29 1.32 1.86 1.32 1.32 1.39 1.39 1.14

time (sec)

N/A 0.308 1.026 0.865 0.076 0.069 0.078 0.110 0.252 0.080

Problem 2974

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

21 22 30 18 0 19 22 19 20 17

N.S.

1 1.05 1.43 0.86 0.00 0.90 1.05 0.90 0.95 0.81

time (sec)

N/A 0.296 0.017 0.612 0.000 0.064 0.079 0.133 0.251 0.089

Problem 2975

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

22 0 23 27 25 25 34 42 28 25

N.S.

1 0.00 1.05 1.23 1.14 1.14 1.55 1.91 1.27 1.14

time (sec)

N/A 0.000 0.916 38.547 0.194 0.072 14.502 0.942 0.273 2.560

Problem 2976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 75 59 59 59 71 59 754 63

N.S.

1 0.00 2.42 1.90 1.90 1.90 2.29 1.90 24.32 2.03

time (sec)

N/A 0.000 0.149 2.106 0.554 0.067 0.209 0.221 0.704 2.692

Problem 2977

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 4 4 5 4 4 5 5 4 4

N.S.

1 0.22 0.22 0.28 0.22 0.22 0.28 0.28 0.22 0.22

time (sec)

N/A 0.123 0.000 0.032 0.039 0.055 0.015 0.114 0.260 0.009

Problem 2978

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

N.S.

1 0.52 0.36 0.28 0.24 0.24 0.20 0.24 0.28 0.24

time (sec)

N/A 0.148 0.001 0.071 0.039 0.057 0.027 0.108 0.273 0.028

Problem 2979

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

20 200 20 18 216 17 17 17 106 17

N.S.

1 10.00 1.00 0.90 10.80 0.85 0.85 0.85 5.30 0.85

time (sec)

N/A 0.662 0.035 0.628 0.509 0.071 0.092 0.160 0.285 0.203

Problem 2980

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

N.S.

1 0.82 0.82 0.77 0.82 0.82 0.77 0.86 0.82 0.82

time (sec)

N/A 0.167 0.006 0.071 0.038 0.059 0.046 0.117 0.265 0.095

Problem 2981

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

21 0 21 23 32 25 24 555 37 25

N.S.

1 0.00 1.00 1.10 1.52 1.19 1.14 26.43 1.76 1.19

time (sec)

N/A 0.000 0.393 0.629 0.098 0.064 0.071 0.126 2.035 3.340

Problem 2982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 24 24 49 49 54 51 52 0

N.S.

1 0.00 0.89 0.89 1.81 1.81 2.00 1.89 1.93 0.00

time (sec)

N/A 0.000 0.219 0.937 0.085 0.069 0.153 0.130 0.275 0.000

Problem 2983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 0 19 23 26 26 20 29 25 25

N.S.

1 0.00 0.95 1.15 1.30 1.30 1.00 1.45 1.25 1.25

time (sec)

N/A 0.000 0.080 3.276 0.077 0.068 0.067 0.118 0.261 2.528

Problem 2984

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

27 0 22 32 26 30 26 61 29 39

N.S.

1 0.00 0.81 1.19 0.96 1.11 0.96 2.26 1.07 1.44

time (sec)

N/A 0.000 0.510 0.726 0.185 0.065 0.228 0.118 0.258 2.755

Problem 2985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 25 43 0 40 20 46 50 42

N.S.

1 0.00 1.00 1.72 0.00 1.60 0.80 1.84 2.00 1.68

time (sec)

N/A 0.000 0.070 0.069 0.000 0.065 0.115 0.163 0.266 2.721

Problem 2986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 154 26 27 26 37 27 0 34 29

N.S.

1 5.50 0.93 0.96 0.93 1.32 0.96 0.00 1.21 1.04

time (sec)

N/A 0.514 0.156 14.247 0.118 0.065 53.370 0.000 0.327 2.625

Problem 2987

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

31 46 31 25 23 24 22 29 24 25

N.S.

1 1.48 1.00 0.81 0.74 0.77 0.71 0.94 0.77 0.81

time (sec)

N/A 5.958 0.184 0.642 0.113 0.067 0.097 0.128 0.272 2.550

Problem 2988

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

N.S.

1 0.74 0.65 0.65 0.61 0.78 0.52 0.65 0.96 0.61

time (sec)

N/A 0.212 0.008 0.098 0.032 0.058 0.103 0.114 0.263 0.057

Problem 2989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 22 21 0 20 19 37 24 20

N.S.

1 0.00 0.88 0.84 0.00 0.80 0.76 1.48 0.96 0.80

time (sec)

N/A 0.000 1.575 0.056 0.000 0.069 0.381 0.170 0.249 2.630

Problem 2990

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 25 18 19 18 21 22 21 14 19

N.S.

1 1.00 0.72 0.76 0.72 0.84 0.88 0.84 0.56 0.76

time (sec)

N/A 0.199 0.027 0.102 0.039 0.071 0.060 0.126 0.251 2.364

Problem 2991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 27 15838 24 28 24 31 29 28

N.S.

1 0.00 1.04 609.15 0.92 1.08 0.92 1.19 1.12 1.08

time (sec)

N/A 0.000 0.083 0.327 0.265 0.066 21.191 0.632 0.314 3.048

Problem 2992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 23 20 41 98 147 143 38 552 120

N.S.

1 1.05 0.91 1.86 4.45 6.68 6.50 1.73 25.09 5.45

time (sec)

N/A 0.290 0.018 1.277 0.037 0.071 3.157 0.129 0.285 2.956

Problem 2993

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

N.S.

1 1.00 1.00 1.23 1.18 1.50 1.23 1.18 1.18 1.05

time (sec)

N/A 0.203 0.005 0.688 0.038 0.067 0.075 0.112 0.273 2.497

Problem 2994

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

24 34 25 22 60 23 22 33 23 26

N.S.

1 1.42 1.04 0.92 2.50 0.96 0.92 1.38 0.96 1.08

time (sec)

N/A 0.441 0.133 0.390 0.085 0.065 0.059 0.118 0.259 2.340

Problem 2995

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

N.S.

1 0.95 0.95 0.90 0.95 0.85 0.75 0.95 0.95 0.85

time (sec)

N/A 0.435 0.066 0.151 0.077 0.069 0.062 0.123 0.257 2.540

Problem 2996

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

N.S.

1 0.80 0.72 0.68 0.60 0.64 0.60 0.88 0.76 0.68

time (sec)

N/A 0.477 0.126 2.682 0.060 0.060 0.060 0.122 0.284 2.381

Problem 2997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 864 28 27 42 40 24 156 37 26

N.S.

1 30.86 1.00 0.96 1.50 1.43 0.86 5.57 1.32 0.93

time (sec)

N/A 6.835 0.320 6.750 0.109 0.066 0.120 0.188 0.260 2.738

Problem 2998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 0 37 26 24 23 26 24 32 28

N.S.

1 0.00 1.76 1.24 1.14 1.10 1.24 1.14 1.52 1.33

time (sec)

N/A 0.000 0.356 0.234 0.256 0.070 0.081 0.124 0.315 0.106

Problem 2999

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

9 8 8 8 7 8 8 25 8 8

N.S.

1 0.89 0.89 0.89 0.78 0.89 0.89 2.78 0.89 0.89

time (sec)

N/A 0.173 0.037 0.069 0.031 0.066 0.055 0.111 0.256 2.290

Problem 3000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 0 58 65 65 94 60 0 95 62

N.S.

1 0.00 1.76 1.97 1.97 2.85 1.82 0.00 2.88 1.88

time (sec)

N/A 0.000 0.374 0.796 0.245 0.071 0.192 0.000 12.427 2.659

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