[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

17 17 17 14 13 13 12 13 15 13

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.88 0.76

time (sec)

N/A 0.231 0.002 0.066 0.025 0.079 0.018 0.133 0.163 0.024

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

17 17 17 14 13 13 12 13 15 13

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.88 0.76

time (sec)

N/A 0.236 0.002 0.051 0.031 0.083 0.017 0.108 0.163 0.021

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

17 17 17 14 13 13 12 13 15 13

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.88 0.76

time (sec)

N/A 0.246 0.000 0.058 0.030 0.101 0.016 0.110 0.165 0.020

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

size

16 17 17 14 13 13 12 13 14 13

N.S.

1 1.06 1.06 0.88 0.81 0.81 0.75 0.81 0.88 0.81

time (sec)

N/A 0.253 0.002 0.065 0.029 0.099 0.017 0.106 0.165 0.022

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

size

12 12 12 11 10 10 8 10 12 10

N.S.

1 1.00 1.00 0.92 0.83 0.83 0.67 0.83 1.00 0.83

time (sec)

N/A 0.241 0.000 0.030 0.025 0.095 0.033 0.106 0.178 0.018

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

size

13 13 13 12 14 11 10 14 11 11

N.S.

1 1.00 1.00 0.92 1.08 0.85 0.77 1.08 0.85 0.85

time (sec)

N/A 0.249 0.001 0.035 0.036 0.092 0.031 0.126 0.163 0.024

Problem 7

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

10 10 10 11 10 13 5 10 13 10

N.S.

1 1.00 1.00 1.10 1.00 1.30 0.50 1.00 1.30 1.00

time (sec)

N/A 0.243 0.001 0.036 0.025 0.083 0.032 0.138 0.161 0.025

Problem 8

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

13 13 13 12 14 17 10 20 17 11

N.S.

1 1.00 1.00 0.92 1.08 1.31 0.77 1.54 1.31 0.85

time (sec)

N/A 0.257 0.003 0.040 0.025 0.062 0.045 0.118 0.170 17.220

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

size

15 15 15 14 13 13 14 13 15 13

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.93 0.87 1.00 0.87

time (sec)

N/A 0.255 0.002 0.041 0.029 0.095 0.053 0.112 0.162 0.024

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

size

19 17 17 14 13 13 14 13 15 13

N.S.

1 0.89 0.89 0.74 0.68 0.68 0.74 0.68 0.79 0.68

time (sec)

N/A 0.256 0.002 0.042 0.025 0.145 0.051 0.103 0.171 0.026

Problem 11

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

17 17 17 14 15 15 15 15 15 15

N.S.

1 1.00 1.00 0.82 0.88 0.88 0.88 0.88 0.88 0.88

time (sec)

N/A 0.245 0.002 0.042 0.036 0.070 0.061 0.102 0.163 0.027

Problem 12

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 34 30 25 24 24 24 24 26 24

N.S.

1 1.13 1.00 0.83 0.80 0.80 0.80 0.80 0.87 0.80

time (sec)

N/A 0.287 0.001 0.094 0.032 0.088 0.017 0.140 0.165 17.405

Problem 13

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

30 34 30 25 24 24 24 24 26 24

N.S.

1 1.13 1.00 0.83 0.80 0.80 0.80 0.80 0.87 0.80

time (sec)

N/A 0.289 0.001 0.082 0.030 0.085 0.018 0.112 0.169 0.034

Problem 14

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

size

16 16 16 15 24 24 24 24 25 24

N.S.

1 1.00 1.00 0.94 1.50 1.50 1.50 1.50 1.56 1.50

time (sec)

N/A 0.233 0.002 0.076 0.027 0.067 0.020 0.109 0.166 0.034

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

size

23 30 23 22 24 21 20 24 21 21

N.S.

1 1.30 1.00 0.96 1.04 0.91 0.87 1.04 0.91 0.91

time (sec)

N/A 0.277 0.001 0.071 0.033 0.113 0.048 0.134 0.167 17.233

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

size

27 28 27 24 24 27 24 32 27 23

N.S.

1 1.04 1.00 0.89 0.89 1.00 0.89 1.19 1.00 0.85

time (sec)

N/A 0.280 0.001 0.051 0.024 0.136 0.053 0.119 0.169 0.033

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

size

24 30 24 23 26 28 24 34 28 24

N.S.

1 1.25 1.00 0.96 1.08 1.17 1.00 1.42 1.17 1.00

time (sec)

N/A 0.277 0.001 0.054 0.032 0.107 0.078 0.110 0.160 17.311

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

size

19 19 30 25 24 24 26 24 26 26

N.S.

1 1.00 1.58 1.32 1.26 1.26 1.37 1.26 1.37 1.37

time (sec)

N/A 0.230 0.001 0.053 0.032 0.102 0.085 0.128 0.172 0.039

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

size

30 34 30 25 26 26 27 26 26 26

N.S.

1 1.13 1.00 0.83 0.87 0.87 0.90 0.87 0.87 0.87

time (sec)

N/A 0.281 0.001 0.056 0.026 0.097 0.095 0.125 0.169 0.040

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

30 30 30 25 24 24 26 24 26 24

N.S.

1 1.00 1.00 0.83 0.80 0.80 0.87 0.80 0.87 0.80

time (sec)

N/A 0.283 0.001 0.078 0.031 0.098 0.020 0.111 0.164 0.033

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

size

30 30 30 25 24 24 26 24 26 24

N.S.

1 1.00 1.00 0.83 0.80 0.80 0.87 0.80 0.87 0.80

time (sec)

N/A 0.270 0.001 0.095 0.024 0.110 0.019 0.148 0.178 0.039

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

size

25 25 25 22 21 21 22 21 24 21

N.S.

1 1.00 1.00 0.88 0.84 0.84 0.88 0.84 0.96 0.84

time (sec)

N/A 0.268 0.001 0.046 0.025 0.083 0.034 0.134 0.167 0.033

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

size

24 24 24 23 22 25 19 22 25 22

N.S.

1 1.00 1.00 0.96 0.92 1.04 0.79 0.92 1.04 0.92

time (sec)

N/A 0.267 0.001 0.050 0.027 0.092 0.039 0.151 0.162 0.037

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

size

23 23 23 22 22 26 22 22 26 24

N.S.

1 1.00 1.00 0.96 0.96 1.13 0.96 0.96 1.13 1.04

time (sec)

N/A 0.266 0.001 0.050 0.031 0.091 0.072 0.147 0.169 0.030

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

size

28 28 28 25 26 26 27 26 26 25

N.S.

1 1.00 1.00 0.89 0.93 0.93 0.96 0.93 0.93 0.89

time (sec)

N/A 0.266 0.001 0.052 0.026 0.090 0.095 0.120 0.163 0.040

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

size

30 30 30 25 26 26 27 26 26 26

N.S.

1 1.00 1.00 0.83 0.87 0.87 0.90 0.87 0.87 0.87

time (sec)

N/A 0.275 0.001 0.055 0.029 0.100 0.106 0.124 0.170 0.039

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

size

43 47 43 36 35 35 39 35 37 35

N.S.

1 1.09 1.00 0.84 0.81 0.81 0.91 0.81 0.86 0.81

time (sec)

N/A 0.303 0.002 0.099 0.032 0.070 0.022 0.175 0.164 0.048

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

size

34 38 43 36 35 35 37 35 37 35

N.S.

1 1.12 1.26 1.06 1.03 1.03 1.09 1.03 1.09 1.03

time (sec)

N/A 0.285 0.002 0.080 0.030 0.086 0.025 0.171 0.166 0.044

Problem 29

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

size

16 16 16 15 35 35 37 35 36 35

N.S.

1 1.00 1.00 0.94 2.19 2.19 2.31 2.19 2.25 2.19

time (sec)

N/A 0.223 0.002 0.081 0.029 0.082 0.024 0.123 0.179 0.044

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

size

39 43 39 34 36 33 37 36 33 33

N.S.

1 1.10 1.00 0.87 0.92 0.85 0.95 0.92 0.85 0.85

time (sec)

N/A 0.289 0.004 0.054 0.031 0.163 0.051 0.105 0.167 0.040

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

size

40 42 40 35 36 38 37 46 38 34

N.S.

1 1.05 1.00 0.88 0.90 0.95 0.92 1.15 0.95 0.85

time (sec)

N/A 0.287 0.007 0.074 0.025 0.086 0.061 0.106 0.170 0.038

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

size

40 41 40 35 37 39 37 46 39 37

N.S.

1 1.02 1.00 0.88 0.92 0.98 0.92 1.15 0.98 0.92

time (sec)

N/A 0.296 0.004 0.056 0.030 0.066 0.090 0.118 0.196 17.435

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

size

39 43 39 34 39 39 37 47 39 36

N.S.

1 1.10 1.00 0.87 1.00 1.00 0.95 1.21 1.00 0.92

time (sec)

N/A 0.293 0.004 0.056 0.026 0.100 0.114 0.128 0.163 0.050

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 19 43 36 35 35 37 35 37 37

N.S.

1 1.00 2.26 1.89 1.84 1.84 1.95 1.84 1.95 1.95

time (sec)

N/A 0.231 0.006 0.059 0.025 0.083 0.127 0.108 0.169 16.957

Problem 35

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

40 44 43 36 37 37 39 37 37 37

N.S.

1 1.10 1.08 0.90 0.92 0.92 0.98 0.92 0.92 0.92

time (sec)

N/A 0.255 0.004 0.062 0.032 0.098 0.140 0.160 0.164 16.983

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

43 47 43 36 37 37 39 37 37 37

N.S.

1 1.09 1.00 0.84 0.86 0.86 0.91 0.86 0.86 0.86

time (sec)

N/A 0.297 0.004 0.063 0.024 0.091 0.167 0.139 0.165 17.019

Problem 37

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

43 43 43 36 35 35 37 35 37 35

N.S.

1 1.00 1.00 0.84 0.81 0.81 0.86 0.81 0.86 0.81

time (sec)

N/A 0.288 0.002 0.099 0.040 0.084 0.021 0.150 0.170 0.045

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

size

43 43 43 36 35 35 39 35 37 35

N.S.

1 1.00 1.00 0.84 0.81 0.81 0.91 0.81 0.86 0.81

time (sec)

N/A 0.292 0.002 0.098 0.028 0.131 0.020 0.133 0.161 0.044

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

35 35 35 32 31 31 32 31 35 31

N.S.

1 1.00 1.00 0.91 0.89 0.89 0.91 0.89 1.00 0.89

time (sec)

N/A 0.287 0.001 0.048 0.025 0.094 0.021 0.147 0.169 0.041

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

size

34 34 34 33 32 36 29 32 36 32

N.S.

1 1.00 1.00 0.97 0.94 1.06 0.85 0.94 1.06 0.94

time (sec)

N/A 0.286 0.004 0.057 0.025 0.112 0.041 0.129 0.169 0.044

Problem 41

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

37 37 37 34 34 36 36 34 36 36

N.S.

1 1.00 1.00 0.92 0.92 0.97 0.97 0.92 0.97 0.97

time (sec)

N/A 0.287 0.003 0.054 0.032 0.115 0.067 0.165 0.164 0.040

Problem 42

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

34 34 34 33 33 37 34 33 37 34

N.S.

1 1.00 1.00 0.97 0.97 1.09 1.00 0.97 1.09 1.00

time (sec)

N/A 0.304 0.005 0.054 0.047 0.105 0.098 0.128 0.167 0.032

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

size

39 39 39 36 37 37 39 37 37 35

N.S.

1 1.00 1.00 0.92 0.95 0.95 1.00 0.95 0.95 0.90

time (sec)

N/A 0.301 0.004 0.056 0.025 0.077 0.118 0.140 0.168 0.031

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

size

43 43 43 36 37 37 39 37 37 37

N.S.

1 1.00 1.00 0.84 0.86 0.86 0.91 0.86 0.86 0.86

time (sec)

N/A 0.291 0.004 0.058 0.027 0.087 0.131 0.130 0.168 16.956

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

53 52 53 46 46 45 44 47 45 45

N.S.

1 0.98 1.00 0.87 0.87 0.85 0.83 0.89 0.85 0.85

time (sec)

N/A 0.330 0.005 0.095 0.025 0.122 0.086 0.129 0.174 0.050

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

40 39 40 34 34 33 32 35 33 33

N.S.

1 0.98 1.00 0.85 0.85 0.82 0.80 0.88 0.82 0.82

time (sec)

N/A 0.306 0.005 0.096 0.028 0.092 0.065 0.112 0.166 0.047

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

27 26 27 23 23 22 20 24 22 22

N.S.

1 0.96 1.00 0.85 0.85 0.81 0.74 0.89 0.81 0.81

time (sec)

N/A 0.287 0.004 0.076 0.026 0.105 0.065 0.130 0.164 0.037

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

15 15 15 14 13 13 10 14 13 13

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.67 0.93 0.87 0.87

time (sec)

N/A 0.235 0.002 0.073 0.026 0.095 0.045 0.128 0.170 0.032

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

22 26 22 21 23 18 15 22 20 18

N.S.

1 1.18 1.00 0.95 1.05 0.82 0.68 1.00 0.91 0.82

time (sec)

N/A 0.255 0.005 0.082 0.025 0.085 0.094 0.121 0.165 17.132

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

35 36 35 32 33 33 31 43 33 31

N.S.

1 1.03 1.00 0.91 0.94 0.94 0.89 1.23 0.94 0.89

time (sec)

N/A 0.295 0.006 0.090 0.024 0.084 0.121 0.147 0.164 16.993

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

49 50 49 44 47 45 42 57 47 46

N.S.

1 1.02 1.00 0.90 0.96 0.92 0.86 1.16 0.96 0.94

time (sec)

N/A 0.318 0.006 0.093 0.032 0.111 0.144 0.114 0.169 16.970

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

68 68 68 60 60 148 107 65 62 54

N.S.

1 1.00 1.00 0.88 0.88 2.18 1.57 0.96 0.91 0.79

time (sec)

N/A 0.332 0.021 0.161 0.104 0.168 0.088 0.110 0.163 0.033

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

55 55 55 49 50 126 95 55 51 43

N.S.

1 1.00 1.00 0.89 0.91 2.29 1.73 1.00 0.93 0.78

time (sec)

N/A 0.320 0.019 0.096 0.106 0.105 0.084 0.126 0.167 0.052

Problem 54

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

42 42 42 38 37 99 80 40 37 32

N.S.

1 1.00 1.00 0.90 0.88 2.36 1.90 0.95 0.88 0.76

time (sec)

N/A 0.298 0.014 0.093 0.104 0.155 0.073 0.134 0.170 0.048

Problem 55

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

31 31 31 27 26 82 56 26 26 23

N.S.

1 1.00 1.00 0.87 0.84 2.65 1.81 0.84 0.84 0.74

time (sec)

N/A 0.255 0.007 0.085 0.109 0.180 0.063 0.137 0.165 0.038

Problem 56

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

24 24 24 16 15 67 53 15 23 16

N.S.

1 1.00 1.00 0.67 0.62 2.79 2.21 0.62 0.96 0.67

time (sec)

N/A 0.238 0.004 0.087 0.107 0.107 0.058 0.120 0.167 0.055

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

34 34 34 30 29 82 65 29 30 26

N.S.

1 1.00 1.00 0.88 0.85 2.41 1.91 0.85 0.88 0.76

time (sec)

N/A 0.261 0.010 0.102 0.110 0.123 0.074 0.128 0.165 16.979

Problem 58

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

43 51 43 39 40 106 87 40 43 37

N.S.

1 1.19 1.00 0.91 0.93 2.47 2.02 0.93 1.00 0.86

time (sec)

N/A 0.274 0.016 0.108 0.118 0.141 0.099 0.134 0.166 18.235

Problem 59

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

58 68 58 52 52 132 100 52 56 48

N.S.

1 1.17 1.00 0.90 0.90 2.28 1.72 0.90 0.97 0.83

time (sec)

N/A 0.292 0.019 0.106 0.112 0.119 0.122 0.119 0.168 18.164

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

57 56 49 55 54 70 53 67 70 57

N.S.

1 0.98 0.86 0.96 0.95 1.23 0.93 1.18 1.23 1.00

time (sec)

N/A 0.330 0.014 0.134 0.037 0.093 0.119 0.125 0.172 17.133

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

44 43 38 41 43 56 39 49 57 45

N.S.

1 0.98 0.86 0.93 0.98 1.27 0.89 1.11 1.30 1.02

time (sec)

N/A 0.310 0.012 0.092 0.036 0.109 0.127 0.105 0.163 17.022

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

33 31 27 30 32 35 29 32 44 29

N.S.

1 0.94 0.82 0.91 0.97 1.06 0.88 0.97 1.33 0.88

time (sec)

N/A 0.288 0.007 0.088 0.025 0.097 0.085 0.102 0.163 0.044

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

16 16 16 15 15 15 15 14 17 14

N.S.

1 1.00 1.00 0.94 0.94 0.94 0.94 0.88 1.06 0.88

time (sec)

N/A 0.233 0.002 0.080 0.026 0.113 0.068 0.145 0.160 0.026

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

38 39 33 35 37 47 34 36 59 34

N.S.

1 1.03 0.87 0.92 0.97 1.24 0.89 0.95 1.55 0.89

time (sec)

N/A 0.304 0.014 0.096 0.032 0.173 0.138 0.120 0.179 0.050

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

49 52 41 53 52 73 51 50 81 51

N.S.

1 1.06 0.84 1.08 1.06 1.49 1.04 1.02 1.65 1.04

time (sec)

N/A 0.323 0.030 0.106 0.031 0.086 0.172 0.130 0.167 17.345

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

66 68 57 65 70 90 68 86 94 67

N.S.

1 1.03 0.86 0.98 1.06 1.36 1.03 1.30 1.42 1.02

time (sec)

N/A 0.348 0.038 0.115 0.027 0.173 0.206 0.112 0.162 17.651

Problem 67

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

78 82 71 65 71 190 124 73 96 66

N.S.

1 1.05 0.91 0.83 0.91 2.44 1.59 0.94 1.23 0.85

time (sec)

N/A 0.338 0.034 0.108 0.107 0.186 0.170 0.129 0.164 0.040

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

65 69 60 54 59 164 107 61 83 56

N.S.

1 1.06 0.92 0.83 0.91 2.52 1.65 0.94 1.28 0.86

time (sec)

N/A 0.320 0.032 0.099 0.107 0.118 0.135 0.130 0.160 0.059

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

51 58 51 42 45 136 83 42 69 43

N.S.

1 1.14 1.00 0.82 0.88 2.67 1.63 0.82 1.35 0.84

time (sec)

N/A 0.279 0.026 0.096 0.112 0.093 0.119 0.178 0.162 18.604

Problem 70

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

45 45 45 36 36 120 78 35 62 33

N.S.

1 1.00 1.00 0.80 0.80 2.67 1.73 0.78 1.38 0.73

time (sec)

N/A 0.261 0.015 0.100 0.108 0.095 0.093 0.115 0.158 0.042

Problem 71

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

45 45 45 36 35 120 78 35 61 33

N.S.

1 1.00 1.00 0.80 0.78 2.67 1.73 0.78 1.36 0.73

time (sec)

N/A 0.254 0.018 0.097 0.109 0.114 0.095 0.121 0.166 13.925

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

54 61 54 45 49 136 92 47 72 44

N.S.

1 1.13 1.00 0.83 0.91 2.52 1.70 0.87 1.33 0.81

time (sec)

N/A 0.272 0.027 0.105 0.106 0.105 0.136 0.107 0.163 16.748

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

67 78 67 55 64 172 114 59 88 58

N.S.

1 1.16 1.00 0.82 0.96 2.57 1.70 0.88 1.31 0.87

time (sec)

N/A 0.308 0.028 0.113 0.106 0.125 0.190 0.111 0.165 18.478

Problem 74

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

80 95 80 67 75 198 126 70 101 70

N.S.

1 1.19 1.00 0.84 0.94 2.48 1.58 0.88 1.26 0.88

time (sec)

N/A 0.327 0.036 0.133 0.110 0.110 0.187 0.173 0.158 17.493

Problem 75

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

74 76 63 71 77 103 78 80 107 78

N.S.

1 1.03 0.85 0.96 1.04 1.39 1.05 1.08 1.45 1.05

time (sec)

N/A 0.367 0.018 0.144 0.029 0.156 0.205 0.131 0.165 0.061

Problem 76

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

65 62 48 54 66 91 68 62 95 68

N.S.

1 0.95 0.74 0.83 1.02 1.40 1.05 0.95 1.46 1.05

time (sec)

N/A 0.343 0.042 0.103 0.029 0.176 0.180 0.138 0.156 18.141

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

size

49 51 39 42 55 69 53 42 81 52

N.S.

1 1.04 0.80 0.86 1.12 1.41 1.08 0.86 1.65 1.06

time (sec)

N/A 0.316 0.013 0.099 0.026 0.082 0.147 0.146 0.165 0.061

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 19 24 23 36 36 36 22 28 37

N.S.

1 1.00 1.26 1.21 1.89 1.89 1.89 1.16 1.47 1.95

time (sec)

N/A 0.234 0.006 0.095 0.036 0.123 0.128 0.137 0.166 18.284

Problem 79

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 26 26 27 14 25 28

N.S.

1 1.00 1.00 0.94 1.62 1.62 1.69 0.88 1.56 1.75

time (sec)

N/A 0.230 0.002 0.088 0.028 0.081 0.108 0.172 0.169 18.355

Problem 80

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

54 55 43 46 60 90 56 59 109 56

N.S.

1 1.02 0.80 0.85 1.11 1.67 1.04 1.09 2.02 1.04

time (sec)

N/A 0.314 0.023 0.109 0.035 0.181 0.196 0.137 0.172 17.814

Problem 81

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

67 69 59 66 77 119 80 66 133 75

N.S.

1 1.03 0.88 0.99 1.15 1.78 1.19 0.99 1.99 1.12

time (sec)

N/A 0.342 0.044 0.121 0.030 0.084 0.233 0.151 0.169 17.641

Problem 82

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

86 88 74 77 92 134 90 79 148 88

N.S.

1 1.02 0.86 0.90 1.07 1.56 1.05 0.92 1.72 1.02

time (sec)

N/A 0.386 0.041 0.127 0.028 0.183 0.260 0.129 0.167 0.081

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

95 101 85 89 103 145 104 110 159 101

N.S.

1 1.06 0.89 0.94 1.08 1.53 1.09 1.16 1.67 1.06

time (sec)

N/A 0.419 0.052 0.131 0.033 0.181 0.279 0.143 0.168 17.479

Problem 84

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

85 96 77 63 82 230 133 73 132 77

N.S.

1 1.13 0.91 0.74 0.96 2.71 1.56 0.86 1.55 0.91

time (sec)

N/A 0.375 0.032 0.114 0.120 0.109 0.207 0.133 0.166 0.068

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

71 85 66 51 68 202 107 54 118 64

N.S.

1 1.20 0.93 0.72 0.96 2.85 1.51 0.76 1.66 0.90

time (sec)

N/A 0.312 0.034 0.109 0.114 0.108 0.189 0.144 0.168 17.538

Problem 86

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

64 72 55 47 59 188 110 45 113 56

N.S.

1 1.12 0.86 0.73 0.92 2.94 1.72 0.70 1.77 0.88

time (sec)

N/A 0.288 0.030 0.114 0.107 0.215 0.178 0.122 0.174 17.737

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

65 70 58 49 62 190 110 50 110 55

N.S.

1 1.08 0.89 0.75 0.95 2.92 1.69 0.77 1.69 0.85

time (sec)

N/A 0.286 0.021 0.112 0.111 0.174 0.149 0.157 0.164 0.075

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

62 70 55 57 58 188 105 45 113 55

N.S.

1 1.13 0.89 0.92 0.94 3.03 1.69 0.73 1.82 0.89

time (sec)

N/A 0.280 0.026 0.105 0.113 0.178 0.144 0.106 0.168 17.665

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

72 88 68 54 71 202 116 57 121 66

N.S.

1 1.22 0.94 0.75 0.99 2.81 1.61 0.79 1.68 0.92

time (sec)

N/A 0.310 0.028 0.122 0.110 0.179 0.191 0.111 0.167 17.567

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

87 105 79 64 86 238 138 71 137 80

N.S.

1 1.21 0.91 0.74 0.99 2.74 1.59 0.82 1.57 0.92

time (sec)

N/A 0.333 0.030 0.133 0.113 0.121 0.219 0.135 0.169 17.786

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

97 122 90 75 97 264 150 80 150 92

N.S.

1 1.26 0.93 0.77 1.00 2.72 1.55 0.82 1.55 0.95

time (sec)

N/A 0.366 0.040 0.135 0.111 0.114 0.264 0.111 0.178 17.687

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

111 139 101 86 108 286 162 93 161 102

N.S.

1 1.25 0.91 0.77 0.97 2.58 1.46 0.84 1.45 0.92

time (sec)

N/A 0.389 0.041 0.145 0.116 0.214 0.277 0.126 0.180 17.873

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

21 21 21 14 13 18 19 13 17 15

N.S.

1 1.00 1.00 0.67 0.62 0.86 0.90 0.62 0.81 0.71

time (sec)

N/A 0.249 0.012 0.123 0.034 0.086 0.547 0.122 0.171 0.032

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

21 21 21 14 13 18 19 13 17 15

N.S.

1 1.00 1.00 0.67 0.62 0.86 0.90 0.62 0.81 0.71

time (sec)

N/A 0.252 0.012 0.115 0.032 0.131 0.344 0.156 0.177 0.029

Problem 95

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

N.S.

1 1.00 1.00 0.67 0.62 0.86 0.90 0.62 0.81 0.71

time (sec)

N/A 0.250 0.013 0.113 0.026 0.090 0.215 0.105 0.180 0.027

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

21 21 19 14 13 18 19 13 17 15

N.S.

1 1.00 0.90 0.67 0.62 0.86 0.90 0.62 0.81 0.71

time (sec)

N/A 0.248 0.011 0.110 0.031 0.126 0.380 0.126 0.167 0.027

Problem 97

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

N.S.

1 1.00 1.00 0.67 0.62 0.86 0.90 0.62 0.81 0.71

time (sec)

N/A 0.247 0.013 0.108 0.026 0.138 0.131 0.112 0.164 0.026

Problem 98

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

N.S.

1 1.00 1.00 0.67 0.62 0.76 0.90 0.62 0.71 0.71

time (sec)

N/A 0.268 0.011 0.063 0.030 0.132 0.135 0.116 0.168 0.027

Problem 99

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

N.S.

1 1.00 1.05 0.74 0.68 0.74 0.89 0.68 0.68 0.74

time (sec)

N/A 0.274 0.011 0.060 0.026 0.116 0.166 0.144 0.169 0.028

Problem 100

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

N.S.

1 1.00 1.00 0.74 0.68 0.74 0.89 0.68 0.79 0.79

time (sec)

N/A 0.249 0.013 0.070 0.031 0.098 0.263 0.130 0.170 0.031

[next] [front] [up]