[next] [tail] [up]

Integrals 1 to 100

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 1

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 11 11 11 11 10 12 11 10 20

N.S.

1 1.00 1.00 1.00 1.00 0.91 1.09 1.00 0.91 1.82

time (sec)

N/A 0.116 0.001 0.020 0.024 0.071 0.016 0.123 0.158 0.196

Problem 2

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

3 3 3 3 2 2 2 2 3 2

N.S.

1 1.00 1.00 1.00 0.67 0.67 0.67 0.67 1.00 0.67

time (sec)

N/A 0.116 0.000 0.020 0.028 0.062 0.024 0.121 0.144 0.003

Problem 3

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

2 2 2 3 2 2 2 3 2 2

N.S.

1 1.00 1.00 1.50 1.00 1.00 1.00 1.50 1.00 1.00

time (sec)

N/A 0.107 0.000 0.014 0.025 0.060 0.030 0.121 0.153 0.001

Problem 4

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

8 8 8 9 8 8 8 8 8 8

N.S.

1 1.00 1.00 1.12 1.00 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.124 0.001 0.043 0.029 0.068 0.031 0.119 0.153 0.106

Problem 5

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

4 4 4 5 4 4 3 4 4 4

N.S.

1 1.00 1.00 1.25 1.00 1.00 0.75 1.00 1.00 1.00

time (sec)

N/A 0.132 0.001 0.070 0.026 0.067 0.032 0.116 0.160 0.011

Problem 6

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

2 2 2 3 2 2 2 2 2 2

N.S.

1 1.00 1.00 1.50 1.00 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.135 0.001 0.069 0.025 0.075 0.031 0.119 0.152 0.001

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

2 2 2 3 2 7 5 2 7 2

N.S.

1 1.00 1.00 1.50 1.00 3.50 2.50 1.00 3.50 1.00

time (sec)

N/A 0.148 0.000 0.108 0.027 0.065 0.047 0.118 0.150 0.014

Problem 8

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

4 4 4 5 6 8 7 6 8 4

N.S.

1 1.00 1.00 1.25 1.50 2.00 1.75 1.50 2.00 1.00

time (sec)

N/A 0.143 0.006 0.125 0.031 0.065 0.035 0.128 0.152 0.006

Problem 9

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

2 2 2 3 4 4 3 4 2 12

N.S.

1 1.00 1.00 1.50 2.00 2.00 1.50 2.00 1.00 6.00

time (sec)

N/A 0.137 0.004 0.062 0.026 0.082 0.021 0.117 0.153 0.144

Problem 10

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

4 4 4 5 6 6 5 6 4 6

N.S.

1 1.00 1.00 1.25 1.50 1.50 1.25 1.50 1.00 1.50

time (sec)

N/A 0.146 0.004 0.053 0.031 0.070 0.036 0.123 0.157 0.119

Problem 11

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

2 2 2 3 2 2 2 11 2 2

N.S.

1 1.00 1.00 1.50 1.00 1.00 1.00 5.50 1.00 1.00

time (sec)

N/A 0.135 0.007 0.058 0.031 0.064 0.060 0.123 0.149 0.011

Problem 12

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

2 2 2 3 2 2 2 11 2 2

N.S.

1 1.00 1.00 1.50 1.00 1.00 1.00 5.50 1.00 1.00

time (sec)

N/A 0.135 0.005 0.049 0.025 0.066 0.060 0.120 0.150 0.009

Problem 13

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

size

5 5 5 6 3 11 5 6 9 5

N.S.

1 1.00 1.00 1.20 0.60 2.20 1.00 1.20 1.80 1.00

time (sec)

N/A 0.138 0.003 0.022 0.025 0.078 0.033 0.129 0.153 0.016

Problem 14

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

size

3 3 3 4 3 11 3 4 17 3

N.S.

1 1.00 1.00 1.33 1.00 3.67 1.00 1.33 5.67 1.00

time (sec)

N/A 0.139 0.000 0.031 0.030 0.082 0.033 0.120 0.144 0.012

Problem 15

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

8 8 8 9 8 8 7 8 8 8

N.S.

1 1.00 1.00 1.12 1.00 1.00 0.88 1.00 1.00 1.00

time (sec)

N/A 0.175 0.002 0.110 0.030 0.071 0.059 0.123 0.146 0.012

Problem 16

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

8 8 8 9 8 8 5 8 6 6

N.S.

1 1.00 1.00 1.12 1.00 1.00 0.62 1.00 0.75 0.75

time (sec)

N/A 0.127 0.002 0.018 0.030 0.066 0.029 0.123 0.150 0.009

Problem 17

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 21 12 12 11 11 10 11 12 11

N.S.

1 1.11 0.63 0.63 0.58 0.58 0.53 0.58 0.63 0.58

time (sec)

N/A 0.177 0.001 0.027 0.028 0.064 0.029 0.114 0.154 0.015

Problem 18

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

N.S.

1 1.00 0.74 0.63 0.58 0.68 0.79 0.58 0.63 0.58

time (sec)

N/A 0.144 0.002 0.106 0.029 0.073 0.083 0.120 0.140 0.001

Problem 19

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

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.80 0.87 0.87 0.87

time (sec)

N/A 0.142 0.001 0.079 0.024 0.080 0.065 0.121 0.147 0.111

Problem 20

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

N.S.

1 1.00 0.75 0.55 0.55 0.55 0.50 0.55 0.60 0.55

time (sec)

N/A 0.147 0.008 0.033 0.033 0.068 0.039 0.117 0.149 0.011

Problem 21

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

7 7 7 8 7 7 7 7 7 7

N.S.

1 1.00 1.00 1.14 1.00 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.174 0.001 0.116 0.025 0.073 0.057 0.118 0.152 0.001

Problem 22

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

N.S.

1 1.00 1.00 0.83 0.78 0.78 0.78 0.78 0.78 0.78

time (sec)

N/A 0.187 0.021 0.209 0.025 0.075 0.057 0.119 0.153 0.015

Problem 23

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

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.65 0.53

time (sec)

N/A 0.133 0.000 0.023 0.022 0.071 0.036 0.117 0.156 0.001

Problem 24

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

29 34 25 22 21 21 27 21 23 23

N.S.

1 1.17 0.86 0.76 0.72 0.72 0.93 0.72 0.79 0.79

time (sec)

N/A 0.255 0.020 0.259 0.025 0.078 0.082 0.118 0.144 0.107

Problem 25

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

29 29 25 21 21 21 24 21 23 24

N.S.

1 1.00 0.86 0.72 0.72 0.72 0.83 0.72 0.79 0.83

time (sec)

N/A 0.244 0.019 0.257 0.028 0.075 0.081 0.120 0.157 0.017

Problem 26

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

N.S.

1 1.13 1.00 1.07 0.80 1.00 1.00 1.00 0.80 0.80

time (sec)

N/A 0.149 0.000 0.040 0.024 0.065 0.040 0.119 0.164 0.017

Problem 27

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

N.S.

1 1.00 1.00 0.94 0.88 0.88 0.75 0.88 0.81 0.88

time (sec)

N/A 0.143 0.002 0.029 0.105 0.079 0.048 0.128 0.167 0.001

Problem 28

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 28 18 15 14 17 24 14 21 18

N.S.

1 1.22 0.78 0.65 0.61 0.74 1.04 0.61 0.91 0.78

time (sec)

N/A 0.184 0.002 0.224 0.024 0.074 0.081 0.118 0.147 0.096

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

8 8 8 9 74 18 8 103 43 8

N.S.

1 1.00 1.00 1.12 9.25 2.25 1.00 12.88 5.38 1.00

time (sec)

N/A 0.196 0.005 0.183 0.105 0.082 0.274 0.136 0.142 0.013

Problem 30

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

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.65 0.53

time (sec)

N/A 0.139 0.002 0.039 0.025 0.071 0.033 0.120 0.153 0.016

Problem 31

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

27 31 17 17 16 16 15 16 17 16

N.S.

1 1.15 0.63 0.63 0.59 0.59 0.56 0.59 0.63 0.59

time (sec)

N/A 0.213 0.011 0.034 0.029 0.070 0.030 0.122 0.153 0.011

Problem 32

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

27 27 22 20 19 21 26 19 20 19

N.S.

1 1.00 0.81 0.74 0.70 0.78 0.96 0.70 0.74 0.70

time (sec)

N/A 0.161 0.035 0.190 0.032 0.072 0.085 0.118 0.154 0.015

Problem 33

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

27 27 20 18 17 21 20 17 20 17

N.S.

1 1.00 0.74 0.67 0.63 0.78 0.74 0.63 0.74 0.63

time (sec)

N/A 0.157 0.030 0.184 0.034 0.084 0.155 0.122 0.152 0.015

Problem 34

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

9 18 9 10 34 9 7 17 9 9

N.S.

1 2.00 1.00 1.11 3.78 1.00 0.78 1.89 1.00 1.00

time (sec)

N/A 0.188 0.008 0.092 0.032 0.067 0.062 0.114 0.152 0.011

Problem 35

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 19 19 19 57 18 20 30 18 18

N.S.

1 1.00 1.00 1.00 3.00 0.95 1.05 1.58 0.95 0.95

time (sec)

N/A 0.197 0.011 0.141 0.028 0.063 0.130 0.119 0.151 0.032

Problem 36

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

16 16 11 10 9 9 7 9 11 9

N.S.

1 1.00 0.69 0.62 0.56 0.56 0.44 0.56 0.69 0.56

time (sec)

N/A 0.155 0.001 0.024 0.030 0.064 0.029 0.123 0.151 0.012

Problem 37

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

21 21 15 14 13 14 105 13 11 9

N.S.

1 1.00 0.71 0.67 0.62 0.67 5.00 0.62 0.52 0.43

time (sec)

N/A 0.145 0.003 0.094 0.024 0.073 0.793 0.114 0.156 0.016

Problem 38

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

N.S.

1 1.00 1.00 0.83 0.78 0.78 0.78 0.78 0.78 0.78

time (sec)

N/A 0.206 0.020 0.172 0.032 0.085 0.059 0.118 0.161 0.013

Problem 39

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

26 29 16 15 14 14 12 14 16 14

N.S.

1 1.12 0.62 0.58 0.54 0.54 0.46 0.54 0.62 0.54

time (sec)

N/A 0.198 0.012 0.031 0.029 0.065 0.030 0.124 0.152 0.017

Problem 40

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

N.S.

1 1.00 1.00 0.94 0.89 0.89 0.67 0.89 0.83 0.89

time (sec)

N/A 0.158 0.002 0.036 0.109 0.080 0.050 0.124 0.160 0.101

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

9 9 9 10 104 20 8 52 32 9

N.S.

1 1.00 1.00 1.11 11.56 2.22 0.89 5.78 3.56 1.00

time (sec)

N/A 0.220 0.015 0.106 0.033 0.084 0.250 0.137 0.154 0.087

Problem 42

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

17 17 17 14 13 25 26 13 21 13

N.S.

1 1.00 1.00 0.82 0.76 1.47 1.53 0.76 1.24 0.76

time (sec)

N/A 0.168 0.021 0.448 0.030 0.078 0.111 0.121 0.158 0.023

Problem 43

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 9 13 14 22 8 21 13

N.S.

1 1.00 1.00 0.53 0.76 0.82 1.29 0.47 1.24 0.76

time (sec)

N/A 0.165 0.022 0.336 0.031 0.078 0.119 0.122 0.152 0.110

Problem 44

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

N.S.

1 1.00 1.00 0.82 1.00 1.00 0.91 1.00 0.73 0.73

time (sec)

N/A 0.178 0.003 0.252 0.023 0.075 0.165 0.116 0.153 0.121

Problem 45

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 14 12 11 11 10 11 12 11

N.S.

1 1.00 0.64 0.55 0.50 0.50 0.45 0.50 0.55 0.50

time (sec)

N/A 0.169 0.015 0.057 0.025 0.082 0.030 0.119 0.153 0.016

Problem 46

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

N.S.

1 1.00 0.60 0.60 0.80 0.53 0.47 0.53 0.60 0.53

time (sec)

N/A 0.158 0.017 0.036 0.026 0.064 0.030 0.122 0.150 0.018

Problem 47

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

N.S.

1 1.00 0.74 0.79 0.74 0.74 0.74 0.74 0.74 0.74

time (sec)

N/A 0.155 0.010 0.069 0.112 0.070 0.037 0.110 0.155 0.013

Problem 48

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 11 10 13 15 13 10 13

N.S.

1 1.00 1.00 0.65 0.59 0.76 0.88 0.76 0.59 0.76

time (sec)

N/A 0.141 0.005 0.069 0.024 0.078 0.117 0.117 0.144 0.105

Problem 49

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 25 16 16 11 11 20 11 10 11

N.S.

1 1.04 0.67 0.67 0.46 0.46 0.83 0.46 0.42 0.46

time (sec)

N/A 0.167 0.002 0.016 0.025 0.071 0.066 0.118 0.150 0.012

Problem 50

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

N.S.

1 1.00 0.86 0.71 0.64 0.64 0.57 0.64 0.50 0.50

time (sec)

N/A 0.126 0.000 0.030 0.027 0.065 0.031 0.123 0.158 0.013

Problem 51

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

N.S.

1 1.00 1.00 0.76 0.71 0.76 0.88 0.76 0.71 0.76

time (sec)

N/A 0.137 0.005 0.075 0.029 0.077 0.106 0.121 0.145 0.014

Problem 52

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 17 16 16 20 16 13 16

N.S.

1 1.00 1.00 0.77 0.73 0.73 0.91 0.73 0.59 0.73

time (sec)

N/A 0.202 0.010 0.056 0.031 0.077 0.090 0.119 0.148 0.132

Problem 53

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

N.S.

1 0.85 1.00 0.85 0.80 0.80 0.75 0.80 0.80 0.80

time (sec)

N/A 0.214 0.009 0.240 0.030 0.077 0.205 0.117 0.158 0.112

Problem 54

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

N.S.

1 1.32 0.68 0.61 0.57 0.57 0.54 0.57 0.61 0.57

time (sec)

N/A 0.194 0.016 0.036 0.030 0.066 0.031 0.116 0.145 0.017

Problem 55

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

N.S.

1 0.95 0.76 0.76 0.71 0.62 0.71 0.71 0.71 0.67

time (sec)

N/A 0.153 0.001 0.058 0.100 0.069 0.071 0.117 0.143 0.011

Problem 56

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

N.S.

1 1.00 1.00 0.94 0.89 0.89 0.83 1.00 0.89 0.89

time (sec)

N/A 0.195 0.012 0.240 0.026 0.074 0.124 0.120 0.152 0.015

Problem 57

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

21 21 15 14 13 14 105 13 11 9

N.S.

1 1.00 0.71 0.67 0.62 0.67 5.00 0.62 0.52 0.43

time (sec)

N/A 0.139 0.003 0.117 0.023 0.076 0.813 0.116 0.164 0.014

Problem 58

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 14 11 10 14 14 10 14 10

N.S.

1 1.00 0.78 0.61 0.56 0.78 0.78 0.56 0.78 0.56

time (sec)

N/A 0.156 0.024 0.204 0.033 0.084 0.022 0.124 0.163 0.030

Problem 59

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

N.S.

1 1.00 1.00 0.79 0.71 0.71 0.71 0.71 0.71 0.71

time (sec)

N/A 0.148 0.001 0.148 0.025 0.075 0.018 0.113 0.158 0.001

Problem 60

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

N.S.

1 1.21 0.92 0.71 0.67 0.79 1.00 0.67 0.75 0.67

time (sec)

N/A 0.195 0.001 0.441 0.024 0.085 0.027 0.125 0.151 0.020

Problem 61

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

13 13 15 11 11 11 8 11 14 10

N.S.

1 1.00 1.15 0.85 0.85 0.85 0.62 0.85 1.08 0.77

time (sec)

N/A 0.155 0.001 0.299 0.032 0.076 0.020 0.120 0.151 0.020

Problem 62

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 31 14 13 13 12 13 30 14

N.S.

1 1.00 1.82 0.82 0.76 0.76 0.71 0.76 1.76 0.82

time (sec)

N/A 0.178 0.041 1.717 0.027 0.076 0.020 0.121 0.157 0.021

Problem 63

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 31 14 13 22 12 13 14 14

N.S.

1 1.00 1.82 0.82 0.76 1.29 0.71 0.76 0.82 0.82

time (sec)

N/A 0.182 0.049 1.648 0.032 0.076 0.020 0.118 0.162 0.101

Problem 64

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

36 46 30 23 18 25 31 22 26 24

N.S.

1 1.28 0.83 0.64 0.50 0.69 0.86 0.61 0.72 0.67

time (sec)

N/A 0.257 0.020 1.040 0.029 0.081 0.020 0.117 0.153 0.024

Problem 65

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 29 14 11 10 19 14 10 18 18

N.S.

1 1.21 0.58 0.46 0.42 0.79 0.58 0.42 0.75 0.75

time (sec)

N/A 0.203 0.003 0.319 0.033 0.073 0.023 0.120 0.157 0.022

Problem 66

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

N.S.

1 1.00 0.82 0.68 0.64 0.82 1.68 0.64 0.86 0.64

time (sec)

N/A 0.161 0.050 0.447 0.025 0.073 0.071 0.121 0.160 0.159

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 20 20 15 14 31 37 14 33 18

N.S.

1 1.00 1.00 0.75 0.70 1.55 1.85 0.70 1.65 0.90

time (sec)

N/A 0.163 0.011 0.369 0.025 0.086 0.122 0.120 0.154 0.088

Problem 68

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 29 25 20 19 19 19 19 20 19

N.S.

1 1.16 1.00 0.80 0.76 0.76 0.76 0.76 0.80 0.76

time (sec)

N/A 0.192 0.040 7.671 0.023 0.077 0.023 0.116 0.152 0.028

Problem 69

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 44 30 23 24 25 36 22 26 22

N.S.

1 1.29 0.88 0.68 0.71 0.74 1.06 0.65 0.76 0.65

time (sec)

N/A 0.236 0.001 0.990 0.032 0.079 0.018 0.120 0.148 0.021

Problem 70

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 44 30 23 24 25 36 22 26 22

N.S.

1 1.29 0.88 0.68 0.71 0.74 1.06 0.65 0.76 0.65

time (sec)

N/A 0.242 0.006 0.924 0.026 0.076 0.018 0.122 0.150 0.019

Problem 71

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

46 56 30 23 18 33 41 22 38 37

N.S.

1 1.22 0.65 0.50 0.39 0.72 0.89 0.48 0.83 0.80

time (sec)

N/A 0.272 0.038 1.351 0.030 0.079 0.019 0.126 0.177 0.111

Problem 72

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

N.S.

1 1.00 1.10 0.81 0.81 0.81 0.81 0.81 1.05 0.81

time (sec)

N/A 0.166 0.001 0.671 0.025 0.076 0.023 0.122 0.153 0.020

Problem 73

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

46 61 22 17 16 31 31 16 34 32

N.S.

1 1.33 0.48 0.37 0.35 0.67 0.67 0.35 0.74 0.70

time (sec)

N/A 0.331 0.005 2.440 0.029 0.078 0.022 0.118 0.152 0.021

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 21 34 14 13 17 0 13 10 13

N.S.

1 1.00 1.62 0.67 0.62 0.81 0.00 0.62 0.48 0.62

time (sec)

N/A 0.184 0.044 0.160 0.029 0.077 0.000 0.115 0.157 0.047

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 21 18 14 13 14 170 13 10 25

N.S.

1 1.00 0.86 0.67 0.62 0.67 8.10 0.62 0.48 1.19

time (sec)

N/A 0.185 0.010 0.161 0.025 0.086 3.551 0.124 0.156 0.121

Problem 76

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

19 28 18 14 12 13 39 12 10 12

N.S.

1 1.47 0.95 0.74 0.63 0.68 2.05 0.63 0.53 0.63

time (sec)

N/A 0.179 0.021 0.097 0.024 0.080 0.099 0.121 0.149 0.155

Problem 77

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

size

19 18 19 15 15 15 22 15 20 14

N.S.

1 0.95 1.00 0.79 0.79 0.79 1.16 0.79 1.05 0.74

time (sec)

N/A 0.193 0.014 0.585 0.031 0.077 0.108 0.118 0.157 0.105

Problem 78

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 16 14 10 13 34 16

N.S.

1 1.00 1.00 0.93 1.14 1.00 0.71 0.93 2.43 1.14

time (sec)

N/A 0.179 0.005 0.869 0.025 0.091 0.031 0.129 0.153 0.107

Problem 79

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 18 20 29 20 37 20 28 42 32

N.S.

1 0.82 0.91 1.32 0.91 1.68 0.91 1.27 1.91 1.45

time (sec)

N/A 0.200 0.018 2.194 0.025 0.096 0.038 0.126 0.155 0.134

Problem 80

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

5 5 7 6 5 5 19 5 20 5

N.S.

1 1.00 1.40 1.20 1.00 1.00 3.80 1.00 4.00 1.00

time (sec)

N/A 0.172 0.008 0.148 0.032 0.075 0.120 0.109 0.151 0.096

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

11 11 25 11 15 17 8 10 14 10

N.S.

1 1.00 2.27 1.00 1.36 1.55 0.73 0.91 1.27 0.91

time (sec)

N/A 0.160 0.014 0.086 0.024 0.068 0.176 0.119 0.144 0.013

Problem 82

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

6 6 8 7 6 6 7 6 6 6

N.S.

1 1.00 1.33 1.17 1.00 1.00 1.17 1.00 1.00 1.00

time (sec)

N/A 0.151 0.001 0.032 0.108 0.077 0.022 0.121 0.155 0.015

Problem 83

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 16 13 12 12 19 12 12 12

N.S.

1 1.00 1.14 0.93 0.86 0.86 1.36 0.86 0.86 0.86

time (sec)

N/A 0.188 0.001 0.035 0.100 0.070 0.026 0.124 0.148 0.014

Problem 84

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

11 11 11 13 9 16 19 9 24 17

N.S.

1 1.00 1.00 1.18 0.82 1.45 1.73 0.82 2.18 1.55

time (sec)

N/A 0.174 0.004 0.177 0.027 0.068 0.022 0.121 0.140 0.016

Problem 85

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 19 19 19 15 22 31 15 36 27

N.S.

1 1.00 1.00 1.00 0.79 1.16 1.63 0.79 1.89 1.42

time (sec)

N/A 0.178 0.004 0.223 0.024 0.072 0.025 0.123 0.151 0.089

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

8 8 8 7 6 20 29 6 24 6

N.S.

1 1.00 1.00 0.88 0.75 2.50 3.62 0.75 3.00 0.75

time (sec)

N/A 0.165 0.001 0.349 0.022 0.074 0.023 0.116 0.143 0.012

Problem 87

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

17 17 27 14 13 20 29 13 32 13

N.S.

1 1.00 1.59 0.82 0.76 1.18 1.71 0.76 1.88 0.76

time (sec)

N/A 0.181 0.025 1.180 0.025 0.074 0.021 0.119 0.150 0.095

Problem 88

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

8 8 8 7 6 6 7 6 6 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.88 0.75 0.75 0.75

time (sec)

N/A 0.158 0.004 0.311 0.024 0.072 0.022 0.118 0.157 0.165

Problem 89

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 14 14 14 14 14 14 13

N.S.

1 1.00 1.00 0.82 0.82 0.82 0.82 0.82 0.82 0.76

time (sec)

N/A 0.186 0.024 0.669 0.030 0.071 0.045 0.117 0.152 0.217

Problem 90

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

N.S.

1 1.00 0.91 1.05 1.55 1.09 0.91 1.00 1.00 0.82

time (sec)

N/A 0.232 0.009 0.053 0.026 0.075 0.045 0.120 0.152 0.019

Problem 91

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 24 19 18 18 31 18 18 18

N.S.

1 1.00 1.09 0.86 0.82 0.82 1.41 0.82 0.82 0.82

time (sec)

N/A 0.232 0.005 0.059 0.109 0.071 0.027 0.121 0.154 0.019

Problem 92

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

N.S.

1 1.00 1.00 0.84 1.05 1.05 1.16 1.05 0.95 0.89

time (sec)

N/A 0.173 0.013 0.227 0.025 0.075 0.045 0.116 0.150 0.155

Problem 93

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

N.S.

1 1.00 1.00 0.80 0.80 0.80 0.88 0.80 0.80 0.76

time (sec)

N/A 0.186 0.015 1.444 0.028 0.076 0.050 0.120 0.158 0.309

Problem 94

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

8 8 8 7 10 6 7 6 6 18

N.S.

1 1.00 1.00 0.88 1.25 0.75 0.88 0.75 0.75 2.25

time (sec)

N/A 0.155 0.004 5.348 0.027 0.087 0.022 0.122 0.148 0.103

Problem 95

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

17 17 17 14 36 14 14 14 14 20

N.S.

1 1.00 1.00 0.82 2.12 0.82 0.82 0.82 0.82 1.18

time (sec)

N/A 0.182 0.010 10.686 0.029 0.075 0.046 0.121 0.148 0.100

Problem 96

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

8 8 8 7 10 6 7 6 16 6

N.S.

1 1.00 1.00 0.88 1.25 0.75 0.88 0.75 2.00 0.75

time (sec)

N/A 0.156 0.001 0.121 0.024 0.072 0.024 0.116 0.144 0.018

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 16 24 27 34 27 29 57 30

N.S.

1 1.00 1.00 1.50 1.69 2.12 1.69 1.81 3.56 1.88

time (sec)

N/A 0.197 0.006 0.120 0.029 0.082 0.048 0.123 0.157 0.165

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

8 8 18 9 10 20 8 18 8 8

N.S.

1 1.00 2.25 1.12 1.25 2.50 1.00 2.25 1.00 1.00

time (sec)

N/A 0.153 0.001 0.041 0.101 0.069 0.024 0.123 0.160 0.010

Problem 99

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

size

14 14 14 17 14 28 14 22 38 18

N.S.

1 1.00 1.00 1.21 1.00 2.00 1.00 1.57 2.71 1.29

time (sec)

N/A 0.195 0.005 0.114 0.023 0.074 0.037 0.117 0.152 0.014

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

17 17 37 14 14 39 41 14 28 14

N.S.

1 1.00 2.18 0.82 0.82 2.29 2.41 0.82 1.65 0.82

time (sec)

N/A 0.186 0.030 0.254 0.026 0.073 0.023 0.129 0.152 0.113

[next] [front] [up]