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

Integrals 2801 to 2900

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 2801

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 40 21 21 19 19 17 0 23 19

N.S.

1 1.90 1.00 1.00 0.90 0.90 0.81 0.00 1.10 0.90

time (sec)

N/A 0.223 0.052 0.226 0.072 0.076 0.918 0.000 0.163 2.519

Problem 2802

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

22 0 23 21 83 30 29 30 33 30

N.S.

1 0.00 1.05 0.95 3.77 1.36 1.32 1.36 1.50 1.36

time (sec)

N/A 0.000 0.309 0.289 4.548 0.069 0.101 0.116 0.176 2.807

Problem 2803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 44 24 49 53 27 31 77 292

N.S.

1 0.00 1.76 0.96 1.96 2.12 1.08 1.24 3.08 11.68

time (sec)

N/A 0.000 0.071 0.177 0.085 0.095 0.120 0.167 0.179 2.641

Problem 2804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 0 32 30 30 29 29 29 0 254

N.S.

1 0.00 0.94 0.88 0.88 0.85 0.85 0.85 0.00 7.47

time (sec)

N/A 0.000 0.077 157.444 0.194 0.088 0.223 0.176 0.835 4.591

Problem 2805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 54 17 16 0 15 12 0 93 15

N.S.

1 2.57 0.81 0.76 0.00 0.71 0.57 0.00 4.43 0.71

time (sec)

N/A 0.245 0.143 0.145 0.000 0.094 0.100 0.000 0.176 2.776

Problem 2806

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

32 41 26 23 24 24 26 24 28 22

N.S.

1 1.28 0.81 0.72 0.75 0.75 0.81 0.75 0.88 0.69

time (sec)

N/A 0.180 0.029 0.123 0.035 0.080 0.063 0.117 0.163 2.904

Problem 2807

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

17 0 16 18 21 16 15 35 17 16

N.S.

1 0.00 0.94 1.06 1.24 0.94 0.88 2.06 1.00 0.94

time (sec)

N/A 0.000 0.056 0.158 0.083 0.082 0.126 0.289 0.193 2.523

Problem 2808

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 52 22 36 66 36 53 36 42 33

N.S.

1 1.86 0.79 1.29 2.36 1.29 1.89 1.29 1.50 1.18

time (sec)

N/A 0.273 1.061 0.332 0.075 0.084 0.094 0.110 0.172 2.814

Problem 2809

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

32 0 35 36 58 36 32 100 52 52

N.S.

1 0.00 1.09 1.12 1.81 1.12 1.00 3.12 1.62 1.62

time (sec)

N/A 0.000 0.818 0.444 0.273 0.084 0.213 0.125 0.170 3.706

Problem 2810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 24 37 58 36 0 52 47 36

N.S.

1 0.00 1.00 1.54 2.42 1.50 0.00 2.17 1.96 1.50

time (sec)

N/A 0.000 0.099 98.035 0.198 0.078 0.000 0.702 0.192 3.028

Problem 2811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 27 250 33 32 0 34 35 33

N.S.

1 0.00 0.90 8.33 1.10 1.07 0.00 1.13 1.17 1.10

time (sec)

N/A 0.000 0.136 0.095 0.548 0.086 0.000 3.375 0.263 3.963

Problem 2812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 27 27 0 333 89 102 140 93 0

N.S.

1 1.04 1.04 0.00 12.81 3.42 3.92 5.38 3.58 0.00

time (sec)

N/A 0.985 0.041 0.000 0.208 0.096 6.048 1.454 0.212 0.000

Problem 2813

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

27 18 16 15 21 13 10 13 21 15

N.S.

1 0.67 0.59 0.56 0.78 0.48 0.37 0.48 0.78 0.56

time (sec)

N/A 0.194 0.097 0.131 0.057 0.079 0.058 0.112 0.210 2.610

Problem 2814

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 25 27 18 23 17 20 21 17 20

N.S.

1 1.19 1.29 0.86 1.10 0.81 0.95 1.00 0.81 0.95

time (sec)

N/A 0.194 0.004 0.142 0.025 0.079 0.083 0.104 0.167 2.640

Problem 2815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 30 18 35 36 36 37 36 28 34

N.S.

1 2.00 1.20 2.33 2.40 2.40 2.47 2.40 1.87 2.27

time (sec)

N/A 0.171 0.006 0.084 0.031 0.072 0.083 0.111 0.181 0.037

Problem 2816

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

24 26 34 27 21 26 19 26 66 21

N.S.

1 1.08 1.42 1.12 0.88 1.08 0.79 1.08 2.75 0.88

time (sec)

N/A 0.805 1.453 0.413 0.110 0.084 0.292 0.126 71.396 2.669

Problem 2817

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

N.S.

1 0.91 0.95 0.91 0.95 0.95 0.77 0.95 0.95 0.86

time (sec)

N/A 0.157 0.000 0.079 0.023 0.069 0.043 0.113 0.166 0.019

Problem 2818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 56 34 50 54 56 58 37 0

N.S.

1 0.00 2.07 1.26 1.85 2.00 2.07 2.15 1.37 0.00

time (sec)

N/A 0.000 4.594 0.425 0.079 0.087 0.392 0.142 0.158 0.000

Problem 2819

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

35 0 26 35 35 35 27 37 40 0

N.S.

1 0.00 0.74 1.00 1.00 1.00 0.77 1.06 1.14 0.00

time (sec)

N/A 0.000 0.062 0.791 0.175 0.082 0.432 0.265 0.165 0.000

Problem 2820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 0 26 27 27 0 0 0 732

N.S.

1 0.00 0.00 0.84 0.87 0.87 0.00 0.00 0.00 23.61

time (sec)

N/A 0.000 0.000 0.107 0.347 0.102 0.000 0.000 0.415 3.260

Problem 2821

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 20 33 51 28 22 44 28 190

N.S.

1 0.00 0.77 1.27 1.96 1.08 0.85 1.69 1.08 7.31

time (sec)

N/A 0.000 0.112 2.948 0.188 0.079 0.368 0.192 0.150 3.050

Problem 2822

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

33 0 46 151 165 168 360 4600 290 55

N.S.

1 0.00 1.39 4.58 5.00 5.09 10.91 139.39 8.79 1.67

time (sec)

N/A 0.000 0.117 212.131 0.343 0.101 2.205 0.812 0.745 3.386

Problem 2823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 32 49 29 147 58 58 217 98 222

N.S.

1 1.28 1.96 1.16 5.88 2.32 2.32 8.68 3.92 8.88

time (sec)

N/A 3.005 0.599 0.570 45.241 0.086 1.109 0.147 0.157 3.721

Problem 2824

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

27 0 23 25 69 46 26 25 27 24

N.S.

1 0.00 0.85 0.93 2.56 1.70 0.96 0.93 1.00 0.89

time (sec)

N/A 0.000 0.451 0.309 0.364 0.094 6.369 0.605 0.204 3.004

Problem 2825

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 20 33 20 31 27 31 32 32

N.S.

1 0.00 1.00 1.65 1.00 1.55 1.35 1.55 1.60 1.60

time (sec)

N/A 0.000 0.090 2.276 0.140 0.071 0.105 0.152 0.153 2.873

Problem 2826

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

N.S.

1 0.89 0.89 0.84 0.79 0.79 0.79 0.84 0.89 0.79

time (sec)

N/A 0.136 0.003 0.189 0.026 0.077 0.036 0.115 0.153 0.041

Problem 2827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 79 79 71 55 55 75 55 74 70

N.S.

1 3.43 3.43 3.09 2.39 2.39 3.26 2.39 3.22 3.04

time (sec)

N/A 0.224 0.004 0.195 0.026 0.070 0.043 0.109 0.159 0.044

Problem 2828

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

21 66 21 23 22 25 20 25 47 18

N.S.

1 3.14 1.00 1.10 1.05 1.19 0.95 1.19 2.24 0.86

time (sec)

N/A 0.257 0.032 0.382 0.106 0.077 0.114 0.119 0.850 2.688

Problem 2829

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

size

20 13 13 12 67 11 10 11 11 11

N.S.

1 0.65 0.65 0.60 3.35 0.55 0.50 0.55 0.55 0.55

time (sec)

N/A 0.226 0.008 0.332 0.025 0.076 0.088 0.115 0.156 2.883

Problem 2830

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

N.S.

1 1.24 1.00 0.76 0.94 0.94 0.88 0.94 0.88 1.06

time (sec)

N/A 0.146 0.001 0.053 0.033 0.071 0.030 0.125 0.160 0.055

Problem 2831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 56 43 38 43 55 42 0 56 38

N.S.

1 1.81 1.39 1.23 1.39 1.77 1.35 0.00 1.81 1.23

time (sec)

N/A 0.305 0.040 1.414 0.033 0.095 0.207 0.000 0.179 3.120

Problem 2832

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

22 0 20 22 21 22 22 29 21 0

N.S.

1 0.00 0.91 1.00 0.95 1.00 1.00 1.32 0.95 0.00

time (sec)

N/A 0.000 0.155 23.789 0.094 0.083 10.132 0.122 0.165 0.000

Problem 2833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 4 4 5 4 4 3 5 4 4

N.S.

1 0.29 0.29 0.36 0.29 0.29 0.21 0.36 0.29 0.29

time (sec)

N/A 0.124 0.000 0.022 0.023 0.063 0.018 0.110 0.150 0.006

Problem 2834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 0 30 27 26 26 22 26 28 26

N.S.

1 0.00 1.03 0.93 0.90 0.90 0.76 0.90 0.97 0.90

time (sec)

N/A 0.000 0.047 0.347 0.145 0.095 0.163 0.151 0.149 0.262

Problem 2835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 21 21 10 9 9 14 9 12 9

N.S.

1 1.40 1.40 0.67 0.60 0.60 0.93 0.60 0.80 0.60

time (sec)

N/A 0.169 0.038 0.206 0.026 0.074 0.052 0.113 0.155 0.018

Problem 2836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 31 20 19 45 17 0 130 20

N.S.

1 0.00 1.29 0.83 0.79 1.88 0.71 0.00 5.42 0.83

time (sec)

N/A 0.000 0.518 7.616 0.085 0.089 0.186 0.000 0.185 2.867

Problem 2837

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

N.S.

1 0.73 0.77 0.69 0.65 0.65 0.54 0.69 0.65 0.65

time (sec)

N/A 0.177 0.006 0.170 0.025 0.075 0.034 0.104 0.157 0.022

Problem 2838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 0 56 33 44 34 49 46 48 0

N.S.

1 0.00 1.93 1.14 1.52 1.17 1.69 1.59 1.66 0.00

time (sec)

N/A 0.000 1.548 0.457 0.187 0.088 0.104 0.135 0.173 0.000

Problem 2839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 77 14 15 44 14 12 14 16 13

N.S.

1 5.50 1.00 1.07 3.14 1.00 0.86 1.00 1.14 0.93

time (sec)

N/A 0.346 0.023 0.199 0.028 0.089 0.089 0.110 0.162 0.129

Problem 2840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 20 86 26 26 44 27 27 33 114

N.S.

1 1.25 5.38 1.62 1.62 2.75 1.69 1.69 2.06 7.12

time (sec)

N/A 0.352 0.046 0.200 0.027 0.080 0.681 0.116 0.158 3.152

Problem 2841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 194 24 34 44 29 27 0 34 0

N.S.

1 8.08 1.00 1.42 1.83 1.21 1.12 0.00 1.42 0.00

time (sec)

N/A 0.736 0.129 0.065 0.260 0.094 56.572 0.000 142.785 0.000

Problem 2842

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

23 0 19 17 20 19 17 21 17 26

N.S.

1 0.00 0.83 0.74 0.87 0.83 0.74 0.91 0.74 1.13

time (sec)

N/A 0.000 0.210 0.157 0.149 0.079 0.097 0.120 0.168 2.766

Problem 2843

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

N.S.

1 0.29 0.38 0.29 0.38 0.38 0.29 0.38 0.29 0.25

time (sec)

N/A 0.126 0.000 0.043 0.029 0.068 0.016 0.130 0.161 0.018

Problem 2844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 84 48 52 628 84 36 55 95 40

N.S.

1 3.82 2.18 2.36 28.55 3.82 1.64 2.50 4.32 1.82

time (sec)

N/A 0.843 0.076 1.663 0.093 0.092 0.112 0.123 0.168 2.711

Problem 2845

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

N.S.

1 0.80 0.80 0.85 0.80 0.80 0.75 0.85 0.80 0.80

time (sec)

N/A 0.263 0.005 0.060 0.107 0.080 0.050 0.109 0.161 2.753

Problem 2846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 88 24 52 27 28 41 52 72 29

N.S.

1 3.26 0.89 1.93 1.00 1.04 1.52 1.93 2.67 1.07

time (sec)

N/A 2.412 0.267 8.000 0.149 0.095 0.246 0.212 0.162 3.082

Problem 2847

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

N.S.

1 0.41 0.36 0.41 0.36 0.41 0.32 0.36 0.36 0.36

time (sec)

N/A 0.128 0.000 0.036 0.023 0.061 0.017 0.109 0.161 0.001

Problem 2848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 57 37 29 36 31 24 31 36 0

N.S.

1 1.97 1.28 1.00 1.24 1.07 0.83 1.07 1.24 0.00

time (sec)

N/A 2.848 0.043 3.881 0.079 0.090 0.130 0.115 0.159 0.000

Problem 2849

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

N.S.

1 0.67 0.67 0.57 0.53 0.53 0.40 0.60 0.73 0.53

time (sec)

N/A 0.189 0.006 0.062 0.113 0.071 0.046 0.114 0.166 2.696

Problem 2850

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 32 22 18 23 17 19 21 21 18

N.S.

1 1.60 1.10 0.90 1.15 0.85 0.95 1.05 1.05 0.90

time (sec)

N/A 0.522 0.031 0.210 0.039 0.079 0.112 0.124 0.161 2.789

Problem 2851

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 33 33 34 33 33 31 35 324 33

N.S.

1 1.50 1.50 1.55 1.50 1.50 1.41 1.59 14.73 1.50

time (sec)

N/A 0.316 0.023 0.098 0.029 0.085 0.084 0.119 1.684 0.090

Problem 2852

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

15 10 10 9 8 8 7 8 10 8

N.S.

1 0.67 0.67 0.60 0.53 0.53 0.47 0.53 0.67 0.53

time (sec)

N/A 0.175 0.007 0.085 0.070 0.079 0.052 0.113 0.157 0.037

Problem 2853

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 18 31 30 25 31 29 25 41 25

N.S.

1 1.00 1.72 1.67 1.39 1.72 1.61 1.39 2.28 1.39

time (sec)

N/A 0.139 0.000 0.049 0.024 0.068 0.019 0.111 0.164 0.002

Problem 2854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 13 21 12 11 11 10 13 11 11

N.S.

1 0.87 1.40 0.80 0.73 0.73 0.67 0.87 0.73 0.73

time (sec)

N/A 0.154 0.003 0.288 0.027 0.071 0.051 0.107 0.183 2.549

Problem 2855

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

19 73 115 39 45 49 42 46 70 322

N.S.

1 3.84 6.05 2.05 2.37 2.58 2.21 2.42 3.68 16.95

time (sec)

N/A 0.427 0.035 0.235 0.026 0.082 0.503 0.123 0.166 3.140

Problem 2856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 207 61 53 55 104 62 70 0

N.S.

1 0.00 6.68 1.97 1.71 1.77 3.35 2.00 2.26 0.00

time (sec)

N/A 0.000 0.223 0.687 0.211 0.094 0.575 0.194 0.171 0.000

Problem 2857

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

28 0 29 29 29 28 22 28 31 29

N.S.

1 0.00 1.04 1.04 1.04 1.00 0.79 1.00 1.11 1.04

time (sec)

N/A 0.000 0.077 8.694 0.404 0.076 0.250 0.326 0.197 3.034

Problem 2858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 26 24 63 94 0 0 128 0

N.S.

1 0.00 1.00 0.92 2.42 3.62 0.00 0.00 4.92 0.00

time (sec)

N/A 0.000 0.048 6.260 0.155 0.102 0.000 0.000 60.966 0.000

Problem 2859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 63 26 51 48 50 54 66 49 0

N.S.

1 2.62 1.08 2.12 2.00 2.08 2.25 2.75 2.04 0.00

time (sec)

N/A 0.678 0.471 2.727 0.108 0.085 4.145 0.122 0.202 0.000

Problem 2860

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

9 9 9 8 15 7 7 7 7 7

N.S.

1 1.00 1.00 0.89 1.67 0.78 0.78 0.78 0.78 0.78

time (sec)

N/A 0.147 0.002 0.041 0.035 0.083 0.043 0.115 0.194 2.696

Problem 2861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 61 29 22 0 25 87 25 53 22

N.S.

1 2.44 1.16 0.88 0.00 1.00 3.48 1.00 2.12 0.88

time (sec)

N/A 0.318 0.014 0.286 0.000 0.075 0.427 0.114 0.197 0.069

Problem 2862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 30 22 27 19 26 22 0 34 20

N.S.

1 1.20 0.88 1.08 0.76 1.04 0.88 0.00 1.36 0.80

time (sec)

N/A 0.973 0.297 10.364 0.213 0.094 0.140 0.000 0.207 2.602

Problem 2863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 26 28 37 55 31 64 33 0

N.S.

1 0.00 1.04 1.12 1.48 2.20 1.24 2.56 1.32 0.00

time (sec)

N/A 0.000 0.073 147.607 0.108 0.088 0.515 0.158 0.206 0.000

Problem 2864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 0 46 35 372 369 185 557 621 0

N.S.

1 0.00 1.59 1.21 12.83 12.72 6.38 19.21 21.41 0.00

time (sec)

N/A 0.000 0.137 22.576 0.628 0.108 0.416 0.222 0.199 0.000

Problem 2865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 11 11 11 10 10 12 10 11 10

N.S.

1 0.73 0.73 0.73 0.67 0.67 0.80 0.67 0.73 0.67

time (sec)

N/A 0.179 0.005 0.246 0.038 0.091 0.051 0.119 0.190 2.661

Problem 2866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 14 14 13 12 12 10 12 12 12

N.S.

1 1.00 1.00 0.93 0.86 0.86 0.71 0.86 0.86 0.86

time (sec)

N/A 0.156 0.010 0.116 0.112 0.081 0.060 0.116 0.201 2.901

Problem 2867

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

25 0 38 82 234 64 97 94 105 74

N.S.

1 0.00 1.52 3.28 9.36 2.56 3.88 3.76 4.20 2.96

time (sec)

N/A 0.000 0.090 279.367 0.086 0.084 0.818 0.146 0.206 3.369

Problem 2868

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

31 123 28 27 29 28 29 0 28 29

N.S.

1 3.97 0.90 0.87 0.94 0.90 0.94 0.00 0.90 0.94

time (sec)

N/A 0.660 0.066 39.471 0.194 0.086 11.190 0.000 0.224 3.116

Problem 2869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 0 28 27 51 193 60 0 0 55

N.S.

1 0.00 1.00 0.96 1.82 6.89 2.14 0.00 0.00 1.96

time (sec)

N/A 0.000 0.233 11.375 0.777 0.109 1.137 0.000 3.656 2.916

Problem 2870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 32 28 24 35 23 29 0 26 23

N.S.

1 1.14 1.00 0.86 1.25 0.82 1.04 0.00 0.93 0.82

time (sec)

N/A 0.245 0.129 0.775 0.045 0.081 2.729 0.000 0.197 2.728

Problem 2871

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

N.S.

1 0.96 0.88 0.80 0.92 1.08 0.76 0.92 1.00 0.76

time (sec)

N/A 0.160 0.009 0.143 0.024 0.075 0.047 0.108 0.197 0.038

Problem 2872

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

11 0 10 7 6 6 7 6 6 6

N.S.

1 0.00 0.91 0.64 0.55 0.55 0.64 0.55 0.55 0.55

time (sec)

N/A 0.000 0.022 0.226 0.069 0.074 0.073 0.110 0.191 2.703

Problem 2873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 0 14 19 0 18 17 18 67 13

N.S.

1 0.00 1.00 1.36 0.00 1.29 1.21 1.29 4.79 0.93

time (sec)

N/A 0.000 0.034 0.205 0.000 0.088 0.067 0.111 0.196 2.866

Problem 2874

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

N.S.

1 1.76 1.00 0.76 1.76 0.71 0.81 1.00 0.86 0.71

time (sec)

N/A 0.178 0.031 0.131 0.030 0.077 0.046 0.116 0.202 0.041

Problem 2875

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

22 21 21 17 24 16 17 21 15 14

N.S.

1 0.95 0.95 0.77 1.09 0.73 0.77 0.95 0.68 0.64

time (sec)

N/A 0.194 0.014 0.258 0.050 0.086 0.066 0.111 0.207 2.991

Problem 2876

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

28 0 28 0 54 41 29 103 46 33

N.S.

1 0.00 1.00 0.00 1.93 1.46 1.04 3.68 1.64 1.18

time (sec)

N/A 0.000 0.084 0.000 0.141 0.088 0.127 0.131 0.206 2.870

Problem 2877

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

19 23 19 22 21 21 14 142 19 18

N.S.

1 1.21 1.00 1.16 1.11 1.11 0.74 7.47 1.00 0.95

time (sec)

N/A 0.836 0.763 0.628 0.072 0.088 0.152 0.112 0.211 2.959

Problem 2878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 141 29 68 0 83 75 109 114 33

N.S.

1 5.22 1.07 2.52 0.00 3.07 2.78 4.04 4.22 1.22

time (sec)

N/A 0.515 0.075 3.471 0.000 0.089 0.132 0.149 0.384 2.838

Problem 2879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 138 24 36 269 33 61 44 37 24

N.S.

1 6.00 1.04 1.57 11.70 1.43 2.65 1.91 1.61 1.04

time (sec)

N/A 0.840 0.673 0.465 0.121 0.086 0.198 0.122 0.210 0.082

Problem 2880

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

24 47 38 49 44 71 54 44 65 59

N.S.

1 1.96 1.58 2.04 1.83 2.96 2.25 1.83 2.71 2.46

time (sec)

N/A 0.218 0.032 0.463 0.028 0.082 0.178 0.115 0.216 2.746

Problem 2881

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

N.S.

1 0.65 0.57 0.65 0.61 0.74 0.52 0.65 0.91 0.61

time (sec)

N/A 0.245 0.009 0.079 0.030 0.071 0.123 0.115 0.206 0.054

Problem 2882

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

N.S.

1 0.82 0.82 0.88 0.82 0.82 0.82 0.94 0.82 0.82

time (sec)

N/A 0.312 0.006 0.049 0.029 0.071 0.055 0.115 0.213 2.867

Problem 2883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 29 60 48 58 26 58 61 0

N.S.

1 0.00 1.07 2.22 1.78 2.15 0.96 2.15 2.26 0.00

time (sec)

N/A 0.000 0.328 1.905 0.124 0.086 0.199 0.709 0.229 0.000

Problem 2884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 24 26 19 16 16 20 20 15 12

N.S.

1 1.71 1.86 1.36 1.14 1.14 1.43 1.43 1.07 0.86

time (sec)

N/A 0.186 0.007 0.227 0.032 0.080 0.062 0.118 0.206 2.798

Problem 2885

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

28 0 35 32 32 31 29 35 33 31

N.S.

1 0.00 1.25 1.14 1.14 1.11 1.04 1.25 1.18 1.11

time (sec)

N/A 0.000 0.225 12.961 0.174 0.091 0.244 0.138 0.211 2.960

Problem 2886

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 11 11 11 10 10 10 10 12 10

N.S.

1 0.79 0.79 0.79 0.71 0.71 0.71 0.71 0.86 0.71

time (sec)

N/A 0.142 0.004 0.067 0.028 0.069 0.039 0.119 0.204 2.680

Problem 2887

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

N.S.

1 1.13 1.00 1.00 0.96 0.96 0.87 0.96 1.13 1.04

time (sec)

N/A 0.423 0.508 0.417 0.114 0.083 0.114 0.122 0.375 2.849

Problem 2888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 87 33 48 47 43 54 45 74 33

N.S.

1 3.35 1.27 1.85 1.81 1.65 2.08 1.73 2.85 1.27

time (sec)

N/A 0.259 0.069 0.198 0.037 0.081 0.108 0.121 0.204 0.067

Problem 2889

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

21 25 19 13 41 12 10 12 26 10

N.S.

1 1.19 0.90 0.62 1.95 0.57 0.48 0.57 1.24 0.48

time (sec)

N/A 0.226 0.016 0.208 0.103 0.078 0.056 0.115 0.206 0.059

Problem 2890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 4123 602 33 32 30 32 40 33 0

N.S.

1 137.43 20.07 1.10 1.07 1.00 1.07 1.33 1.10 0.00

time (sec)

N/A 9.025 7.497 0.334 0.160 0.093 0.109 0.121 0.196 0.000

Problem 2891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 25 38 37 34 36 31 0 84 34

N.S.

1 0.93 1.41 1.37 1.26 1.33 1.15 0.00 3.11 1.26

time (sec)

N/A 1.013 0.333 0.385 0.150 0.085 0.167 0.000 44.828 2.805

Problem 2892

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

19 21 21 19 18 18 20 18 42 21

N.S.

1 1.11 1.11 1.00 0.95 0.95 1.05 0.95 2.21 1.11

time (sec)

N/A 0.631 0.185 0.270 0.031 0.082 0.138 0.115 200.018 2.727

Problem 2893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 26 27 29 29 31 38 23 29

N.S.

1 0.00 1.00 1.04 1.12 1.12 1.19 1.46 0.88 1.12

time (sec)

N/A 0.000 0.274 1.113 0.059 0.078 0.062 0.116 0.183 2.828

Problem 2894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 22 22 0 45 28 26 0 24 28

N.S.

1 1.00 1.00 0.00 2.05 1.27 1.18 0.00 1.09 1.27

time (sec)

N/A 0.611 0.069 0.000 0.226 0.084 0.233 0.000 0.183 4.406

Problem 2895

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 29 25 18 21 36 17 36 40 17

N.S.

1 1.32 1.14 0.82 0.95 1.64 0.77 1.64 1.82 0.77

time (sec)

N/A 0.582 0.040 0.546 0.068 0.088 0.064 0.122 0.192 0.138

Problem 2896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 13 13 10 9 40 10 0 13 9

N.S.

1 0.72 0.72 0.56 0.50 2.22 0.56 0.00 0.72 0.50

time (sec)

N/A 0.180 0.026 0.177 0.038 0.074 0.229 0.000 0.188 0.041

Problem 2897

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 15 15 15 14 15 21 14

N.S.

1 1.00 1.00 0.88 0.88 0.88 0.82 0.88 1.24 0.82

time (sec)

N/A 0.148 0.005 0.081 0.030 0.072 0.039 0.108 0.205 0.059

Problem 2898

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

24 0 27 29 34 30 24 86 29 28

N.S.

1 0.00 1.12 1.21 1.42 1.25 1.00 3.58 1.21 1.17

time (sec)

N/A 0.000 0.163 5.695 0.066 0.071 0.063 0.119 0.187 2.817

Problem 2899

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

23 0 23 21 24 33 19 24 34 20

N.S.

1 0.00 1.00 0.91 1.04 1.43 0.83 1.04 1.48 0.87

time (sec)

N/A 0.000 0.094 0.183 0.093 0.078 0.110 0.112 0.196 0.078

Problem 2900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 97 0 90 142 169 90 690 184 362

N.S.

1 3.88 0.00 3.60 5.68 6.76 3.60 27.60 7.36 14.48

time (sec)

N/A 2.287 0.000 1.116 0.399 0.089 0.888 0.841 200.036 4.439

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