[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

35 42 47 38 37 51 37 38 75 33

N.S.

1 1.20 1.34 1.09 1.06 1.46 1.06 1.09 2.14 0.94

time (sec)

N/A 0.185 0.036 0.046 0.026 0.061 0.060 0.123 0.185 0.059

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

33 27 25 24 23 32 20 31 68 25

N.S.

1 0.82 0.76 0.73 0.70 0.97 0.61 0.94 2.06 0.76

time (sec)

N/A 0.169 0.014 0.037 0.025 0.061 0.047 0.127 0.184 0.042

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

32 35 39 35 34 46 34 35 70 26

N.S.

1 1.09 1.22 1.09 1.06 1.44 1.06 1.09 2.19 0.81

time (sec)

N/A 0.170 0.024 0.045 0.024 0.067 0.045 0.119 0.188 0.034

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

26 22 22 19 18 23 15 19 62 20

N.S.

1 0.85 0.85 0.73 0.69 0.88 0.58 0.73 2.38 0.77

time (sec)

N/A 0.174 0.010 0.033 0.026 0.062 0.039 0.116 0.193 0.051

Problem 5

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

25 29 33 30 29 40 26 30 61 21

N.S.

1 1.16 1.32 1.20 1.16 1.60 1.04 1.20 2.44 0.84

time (sec)

N/A 0.164 0.014 0.035 0.029 0.061 0.046 0.129 0.196 0.035

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

13 13 11 10 9 9 8 9 14 11

N.S.

1 1.00 0.85 0.77 0.69 0.69 0.62 0.69 1.08 0.85

time (sec)

N/A 0.150 0.003 0.030 0.026 0.058 0.036 0.119 0.177 0.023

Problem 7

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

25 29 33 30 29 40 26 30 60 21

N.S.

1 1.16 1.32 1.20 1.16 1.60 1.04 1.20 2.40 0.84

time (sec)

N/A 0.163 0.010 0.034 0.028 0.061 0.054 0.110 0.176 0.035

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

size

28 28 26 21 24 32 19 30 70 22

N.S.

1 1.00 0.93 0.75 0.86 1.14 0.68 1.07 2.50 0.79

time (sec)

N/A 0.178 0.011 0.046 0.032 0.074 0.053 0.114 0.186 0.067

Problem 9

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

32 35 41 36 37 54 36 38 77 26

N.S.

1 1.09 1.28 1.12 1.16 1.69 1.12 1.19 2.41 0.81

time (sec)

N/A 0.173 0.024 0.046 0.030 0.062 0.079 0.116 0.186 0.048

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

37 35 35 32 35 50 29 36 91 32

N.S.

1 0.95 0.95 0.86 0.95 1.35 0.78 0.97 2.46 0.86

time (sec)

N/A 0.184 0.016 0.047 0.025 0.060 0.085 0.126 0.186 19.419

Problem 11

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

37 42 49 41 42 59 41 42 82 32

N.S.

1 1.14 1.32 1.11 1.14 1.59 1.11 1.14 2.22 0.86

time (sec)

N/A 0.181 0.017 0.049 0.025 0.064 0.104 0.111 0.176 0.053

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

36 41 40 35 34 51 37 36 62 32

N.S.

1 1.14 1.11 0.97 0.94 1.42 1.03 1.00 1.72 0.89

time (sec)

N/A 0.191 0.021 0.070 0.105 0.070 0.078 0.126 0.182 20.669

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

28 37 38 29 28 49 32 30 60 26

N.S.

1 1.32 1.36 1.04 1.00 1.75 1.14 1.07 2.14 0.93

time (sec)

N/A 0.185 0.018 0.064 0.107 0.075 0.078 0.126 0.182 0.040

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

29 34 35 30 29 46 32 31 57 23

N.S.

1 1.17 1.21 1.03 1.00 1.59 1.10 1.07 1.97 0.79

time (sec)

N/A 0.176 0.017 0.065 0.108 0.070 0.076 0.118 0.176 0.033

Problem 15

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

27 32 31 28 27 43 26 29 52 21

N.S.

1 1.19 1.15 1.04 1.00 1.59 0.96 1.07 1.93 0.78

time (sec)

N/A 0.170 0.016 0.061 0.106 0.072 0.066 0.118 0.194 0.033

Problem 16

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

29 34 33 30 29 45 27 31 54 23

N.S.

1 1.17 1.14 1.03 1.00 1.55 0.93 1.07 1.86 0.79

time (sec)

N/A 0.175 0.014 0.061 0.114 0.068 0.079 0.127 0.173 0.031

Problem 17

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

27 32 33 28 27 44 31 29 55 21

N.S.

1 1.19 1.22 1.04 1.00 1.63 1.15 1.07 2.04 0.78

time (sec)

N/A 0.163 0.011 0.062 0.113 0.068 0.086 0.122 0.182 0.030

Problem 18

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

34 39 40 36 35 55 37 37 63 26

N.S.

1 1.15 1.18 1.06 1.03 1.62 1.09 1.09 1.85 0.76

time (sec)

N/A 0.190 0.019 0.071 0.109 0.075 0.091 0.130 0.175 0.044

Problem 19

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

34 41 38 36 37 63 39 34 69 28

N.S.

1 1.21 1.12 1.06 1.09 1.85 1.15 1.00 2.03 0.82

time (sec)

N/A 0.185 0.021 0.079 0.107 0.064 0.090 0.112 0.171 0.045

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

35 40 32 30 29 36 26 29 88 31

N.S.

1 1.14 0.91 0.86 0.83 1.03 0.74 0.83 2.51 0.89

time (sec)

N/A 0.188 0.020 0.055 0.103 0.061 0.047 0.104 0.198 20.432

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

29 25 25 24 23 30 20 30 75 25

N.S.

1 0.86 0.86 0.83 0.79 1.03 0.69 1.03 2.59 0.86

time (sec)

N/A 0.176 0.013 0.030 0.025 0.061 0.045 0.126 0.187 0.038

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

30 33 24 25 24 31 22 24 83 25

N.S.

1 1.10 0.80 0.83 0.80 1.03 0.73 0.80 2.77 0.83

time (sec)

N/A 0.172 0.016 0.044 0.113 0.061 0.059 0.111 0.191 19.930

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

22 18 18 19 18 23 15 18 66 18

N.S.

1 0.82 0.82 0.86 0.82 1.05 0.68 0.82 3.00 0.82

time (sec)

N/A 0.173 0.007 0.027 0.033 0.065 0.039 0.122 0.185 0.031

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

23 27 23 20 19 24 15 19 78 21

N.S.

1 1.17 1.00 0.87 0.83 1.04 0.65 0.83 3.39 0.91

time (sec)

N/A 0.163 0.011 0.039 0.105 0.061 0.050 0.113 0.176 0.029

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

11 11 11 10 9 9 8 9 13 11

N.S.

1 1.00 1.00 0.91 0.82 0.82 0.73 0.82 1.18 1.00

time (sec)

N/A 0.148 0.003 0.025 0.024 0.061 0.041 0.135 0.179 0.019

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

23 27 20 20 19 23 15 19 76 20

N.S.

1 1.17 0.87 0.87 0.83 1.00 0.65 0.83 3.30 0.87

time (sec)

N/A 0.158 0.008 0.039 0.111 0.059 0.045 0.130 0.177 0.028

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

24 24 24 21 24 32 19 29 83 20

N.S.

1 1.00 1.00 0.88 1.00 1.33 0.79 1.21 3.46 0.83

time (sec)

N/A 0.172 0.011 0.034 0.027 0.058 0.055 0.131 0.219 20.073

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

30 35 30 25 25 31 26 25 87 25

N.S.

1 1.17 1.00 0.83 0.83 1.03 0.87 0.83 2.90 0.83

time (sec)

N/A 0.172 0.013 0.057 0.104 0.058 0.072 0.120 0.201 19.808

Problem 29

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 33 33 28 33 44 31 33 95 31

N.S.

1 1.00 1.00 0.85 1.00 1.33 0.94 1.00 2.88 0.94

time (sec)

N/A 0.185 0.013 0.039 0.026 0.056 0.071 0.111 0.208 19.999

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

33 38 33 28 30 36 29 31 92 30

N.S.

1 1.15 1.00 0.85 0.91 1.09 0.88 0.94 2.79 0.91

time (sec)

N/A 0.181 0.013 0.063 0.106 0.062 0.072 0.127 0.204 19.987

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 116 98 40 89 99 95 89 155 51

N.S.

1 1.36 1.15 0.47 1.05 1.16 1.12 1.05 1.82 0.60

time (sec)

N/A 0.320 0.081 0.045 0.107 0.067 0.073 0.125 0.208 20.816

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 110 94 34 83 97 90 83 153 45

N.S.

1 1.43 1.22 0.44 1.08 1.26 1.17 1.08 1.99 0.58

time (sec)

N/A 0.302 0.066 0.037 0.106 0.063 0.070 0.124 0.199 14.643

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

78 109 93 35 84 94 90 84 150 47

N.S.

1 1.40 1.19 0.45 1.08 1.21 1.15 1.08 1.92 0.60

time (sec)

N/A 0.294 0.064 0.040 0.107 0.069 0.077 0.122 0.208 0.051

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

76 107 90 33 82 91 82 82 146 45

N.S.

1 1.41 1.18 0.43 1.08 1.20 1.08 1.08 1.92 0.59

time (sec)

N/A 0.297 0.067 0.039 0.108 0.063 0.069 0.120 0.201 0.050

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

78 109 92 35 84 93 83 84 148 46

N.S.

1 1.40 1.18 0.45 1.08 1.19 1.06 1.08 1.90 0.59

time (sec)

N/A 0.302 0.057 0.037 0.107 0.066 0.072 0.137 0.209 0.026

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

76 107 91 33 82 92 88 82 148 44

N.S.

1 1.41 1.20 0.43 1.08 1.21 1.16 1.08 1.95 0.58

time (sec)

N/A 0.287 0.052 0.036 0.109 0.070 0.093 0.126 0.202 18.170

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

83 114 98 41 88 95 97 88 157 49

N.S.

1 1.37 1.18 0.49 1.06 1.14 1.17 1.06 1.89 0.59

time (sec)

N/A 0.308 0.073 0.048 0.106 0.066 0.088 0.128 0.202 19.849

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

83 116 96 39 90 105 99 87 165 51

N.S.

1 1.40 1.16 0.47 1.08 1.27 1.19 1.05 1.99 0.61

time (sec)

N/A 0.306 0.075 0.051 0.110 0.070 0.096 0.110 0.214 19.674

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

67 71 39 31 13 13 0 23 15 59

N.S.

1 1.06 0.58 0.46 0.19 0.19 0.00 0.34 0.22 0.88

time (sec)

N/A 0.205 1.021 0.122 0.032 0.062 0.000 0.121 0.197 20.045

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

75 45 454 26 14 11 0 30 11 109

N.S.

1 0.60 6.05 0.35 0.19 0.15 0.00 0.40 0.15 1.45

time (sec)

N/A 0.200 1.300 0.100 0.034 0.069 0.000 0.117 0.216 20.141

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

39 39 37 22 13 13 0 30 15 33

N.S.

1 1.00 0.95 0.56 0.33 0.33 0.00 0.77 0.38 0.85

time (sec)

N/A 0.187 1.009 0.101 0.026 0.059 0.000 0.129 0.189 19.353

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 32 34 0 0 0 0 0 18 0

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 0.56 0.00

time (sec)

N/A 0.163 0.026 0.000 0.000 0.000 0.000 0.000 0.193 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 30 32 0 0 0 0 0 18 0

N.S.

1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 0.60 0.00

time (sec)

N/A 0.161 0.119 0.000 0.000 0.000 0.000 0.000 0.194 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 77 66 0 0 0 0 0 218 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 2.83 0.00

time (sec)

N/A 0.207 0.032 0.000 0.000 0.000 0.000 0.000 0.199 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

81 80 78 83 0 254 316 75 20 3916

N.S.

1 0.99 0.96 1.02 0.00 3.14 3.90 0.93 0.25 48.35

time (sec)

N/A 0.251 0.038 0.066 0.000 0.113 2.721 1.023 200.023 22.076

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

192 193 210 139 0 1071 134 2043 20 5659

N.S.

1 1.01 1.09 0.72 0.00 5.58 0.70 10.64 0.10 29.47

time (sec)

N/A 0.370 0.093 0.072 0.000 0.091 2.790 1.237 200.024 21.882

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

63 64 62 60 0 197 223 59 20 2654

N.S.

1 1.02 0.98 0.95 0.00 3.13 3.54 0.94 0.32 42.13

time (sec)

N/A 0.232 0.016 0.050 0.000 0.083 1.584 1.042 200.019 21.223

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

159 166 171 105 0 567 76 1034 20 1220

N.S.

1 1.04 1.08 0.66 0.00 3.57 0.48 6.50 0.13 7.67

time (sec)

N/A 0.268 0.062 0.059 0.000 0.085 1.438 1.257 200.023 21.031

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

38 38 42 37 0 129 131 36 20 260

N.S.

1 1.00 1.11 0.97 0.00 3.39 3.45 0.95 0.53 6.84

time (sec)

N/A 0.183 0.007 0.034 0.000 0.070 0.464 1.168 200.022 18.963

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

154 158 133 99 0 619 88 1028 18 1105

N.S.

1 1.03 0.86 0.64 0.00 4.02 0.57 6.68 0.12 7.18

time (sec)

N/A 0.244 0.056 0.053 0.000 0.086 1.845 1.281 200.022 19.886

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

69 73 66 66 0 223 253 68 20 1690

N.S.

1 1.06 0.96 0.96 0.00 3.23 3.67 0.99 0.29 24.49

time (sec)

N/A 0.249 0.020 0.052 0.000 0.103 9.570 1.010 200.021 19.905

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

184 180 75 159 0 1134 153 2055 20 5451

N.S.

1 0.98 0.41 0.86 0.00 6.16 0.83 11.17 0.11 29.62

time (sec)

N/A 0.310 0.022 0.075 0.000 0.106 9.263 1.252 200.016 20.036

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

89 95 92 84 0 293 0 94 20 8817

N.S.

1 1.07 1.03 0.94 0.00 3.29 0.00 1.06 0.22 99.07

time (sec)

N/A 0.304 0.022 0.063 0.000 0.179 0.000 1.014 200.020 20.554

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

381 344 70 63 0 7003 0 0 20 12709

N.S.

1 0.90 0.18 0.17 0.00 18.38 0.00 0.00 0.05 33.36

time (sec)

N/A 0.614 0.030 0.066 0.000 0.845 0.000 0.000 200.021 21.358

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

376 337 70 59 0 4001 0 0 20 10382

N.S.

1 0.90 0.19 0.16 0.00 10.64 0.00 0.00 0.05 27.61

time (sec)

N/A 0.519 0.030 0.037 0.000 0.216 0.000 0.000 200.023 21.491

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

325 314 44 43 0 4433 230 0 20 8033

N.S.

1 0.97 0.14 0.13 0.00 13.64 0.71 0.00 0.06 24.72

time (sec)

N/A 0.454 0.019 0.036 0.000 0.129 48.430 0.000 200.017 21.305

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

325 312 42 43 0 2141 126 0 20 8169

N.S.

1 0.96 0.13 0.13 0.00 6.59 0.39 0.00 0.06 25.14

time (sec)

N/A 0.451 0.017 0.037 0.000 0.098 1.598 0.000 200.022 21.344

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

315 309 43 43 0 3193 172 0 20 6067

N.S.

1 0.98 0.14 0.14 0.00 10.14 0.55 0.00 0.06 19.26

time (sec)

N/A 0.448 0.017 0.039 0.000 0.106 2.325 0.000 200.019 19.976

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

315 300 45 40 0 3125 177 0 16 10337

N.S.

1 0.95 0.14 0.13 0.00 9.92 0.56 0.00 0.05 32.82

time (sec)

N/A 0.435 0.020 0.035 0.000 0.140 13.197 0.000 200.020 21.040

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

363 330 71 63 0 5758 304 0 20 10509

N.S.

1 0.91 0.20 0.17 0.00 15.86 0.84 0.00 0.06 28.95

time (sec)

N/A 0.516 0.029 0.054 0.000 0.365 121.143 0.000 200.013 20.830

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

365 330 75 62 0 5030 0 0 20 16497

N.S.

1 0.90 0.21 0.17 0.00 13.78 0.00 0.00 0.05 45.20

time (sec)

N/A 0.500 0.031 0.059 0.000 0.459 0.000 0.000 200.020 23.898

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

553 465 170 170 0 15984 0 0 20 31085

N.S.

1 0.84 0.31 0.31 0.00 28.90 0.00 0.00 0.04 56.21

time (sec)

N/A 0.860 0.221 0.103 0.000 23.941 0.000 0.000 200.019 27.298

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

44 42 44 36 35 35 42 35 103 37

N.S.

1 0.95 1.00 0.82 0.80 0.80 0.95 0.80 2.34 0.84

time (sec)

N/A 0.202 0.010 0.069 0.107 0.067 0.089 0.126 0.164 19.669

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

54 50 98 43 42 40 51 42 58 43

N.S.

1 0.93 1.81 0.80 0.78 0.74 0.94 0.78 1.07 0.80

time (sec)

N/A 0.213 0.129 0.063 0.110 0.061 0.076 0.132 0.177 0.047

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

37 39 37 31 30 30 37 30 98 32

N.S.

1 1.05 1.00 0.84 0.81 0.81 1.00 0.81 2.65 0.86

time (sec)

N/A 0.200 0.006 0.055 0.107 0.062 0.069 0.116 0.153 0.045

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

63 83 94 62 61 61 76 61 98 51

N.S.

1 1.32 1.49 0.98 0.97 0.97 1.21 0.97 1.56 0.81

time (sec)

N/A 0.287 0.082 0.057 0.107 0.070 0.116 0.132 0.153 19.022

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

23 23 23 19 18 18 26 18 47 17

N.S.

1 1.00 1.00 0.83 0.78 0.78 1.13 0.78 2.04 0.74

time (sec)

N/A 0.171 0.005 0.053 0.113 0.061 0.061 0.112 0.161 0.070

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

63 83 79 62 61 61 76 61 98 51

N.S.

1 1.32 1.25 0.98 0.97 0.97 1.21 0.97 1.56 0.81

time (sec)

N/A 0.260 0.034 0.055 0.117 0.066 0.128 0.116 0.155 19.217

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

39 43 133 31 36 32 41 36 100 34

N.S.

1 1.10 3.41 0.79 0.92 0.82 1.05 0.92 2.56 0.87

time (sec)

N/A 0.214 0.052 0.064 0.106 0.060 0.086 0.133 0.152 18.936

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

54 52 100 44 42 45 53 42 68 43

N.S.

1 0.96 1.85 0.81 0.78 0.83 0.98 0.78 1.26 0.80

time (sec)

N/A 0.222 0.029 0.073 0.109 0.064 0.093 0.132 0.165 0.038

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

48 50 136 38 41 49 48 46 135 41

N.S.

1 1.04 2.83 0.79 0.85 1.02 1.00 0.96 2.81 0.85

time (sec)

N/A 0.228 0.039 0.078 0.115 0.064 0.097 0.134 0.154 0.066

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

77 93 107 69 73 84 88 73 133 62

N.S.

1 1.21 1.39 0.90 0.95 1.09 1.14 0.95 1.73 0.81

time (sec)

N/A 0.333 0.050 0.086 0.122 0.064 0.141 0.114 0.151 19.040

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

110 172 139 92 0 107 192 109 99 100

N.S.

1 1.56 1.26 0.84 0.00 0.97 1.75 0.99 0.90 0.91

time (sec)

N/A 0.381 0.173 0.078 0.000 0.069 0.440 0.139 0.166 0.126

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

67 92 68 67 0 70 82 66 54 38

N.S.

1 1.37 1.01 1.00 0.00 1.04 1.22 0.99 0.81 0.57

time (sec)

N/A 0.280 0.018 0.069 0.000 0.068 0.098 0.114 0.163 0.084

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

109 160 135 89 0 106 197 108 98 99

N.S.

1 1.47 1.24 0.82 0.00 0.97 1.81 0.99 0.90 0.91

time (sec)

N/A 0.391 0.125 0.068 0.000 0.074 0.407 0.141 0.158 18.917

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

109 171 135 89 0 106 214 108 98 97

N.S.

1 1.57 1.24 0.82 0.00 0.97 1.96 0.99 0.90 0.89

time (sec)

N/A 0.359 0.103 0.063 0.000 0.067 0.449 0.114 0.165 0.069

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

67 92 68 67 0 70 82 66 54 40

N.S.

1 1.37 1.01 1.00 0.00 1.04 1.22 0.99 0.81 0.60

time (sec)

N/A 0.275 0.012 0.062 0.000 0.083 0.098 0.130 0.177 0.040

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

114 165 140 96 0 119 218 113 111 102

N.S.

1 1.45 1.23 0.84 0.00 1.04 1.91 0.99 0.97 0.89

time (sec)

N/A 0.415 0.145 0.082 0.000 0.068 0.477 0.117 0.177 0.052

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

116 178 148 96 0 135 197 113 127 104

N.S.

1 1.53 1.28 0.83 0.00 1.16 1.70 0.97 1.09 0.90

time (sec)

N/A 0.381 0.193 0.084 0.000 0.072 0.442 0.133 0.170 0.031

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 102 95 75 0 90 94 100 83 52

N.S.

1 1.32 1.23 0.97 0.00 1.17 1.22 1.30 1.08 0.68

time (sec)

N/A 0.328 0.027 0.089 0.000 0.067 0.112 0.116 0.190 0.040

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

123 174 171 94 0 141 209 120 133 110

N.S.

1 1.41 1.39 0.76 0.00 1.15 1.70 0.98 1.08 0.89

time (sec)

N/A 0.439 0.245 0.095 0.000 0.069 0.434 0.134 0.168 18.957

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

46 43 46 38 37 37 42 37 333 39

N.S.

1 0.93 1.00 0.83 0.80 0.80 0.91 0.80 7.24 0.85

time (sec)

N/A 0.209 0.010 0.053 0.111 0.065 0.075 0.121 0.164 19.086

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 57 55 44 0 47 48 99 85 29

N.S.

1 1.68 1.62 1.29 0.00 1.38 1.41 2.91 2.50 0.85

time (sec)

N/A 0.220 0.011 0.044 0.000 0.062 0.062 0.138 0.164 0.047

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

39 40 39 33 32 32 37 32 328 34

N.S.

1 1.03 1.00 0.85 0.82 0.82 0.95 0.82 8.41 0.87

time (sec)

N/A 0.207 0.006 0.039 0.106 0.065 0.069 0.134 0.163 18.649

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

59 90 98 32 0 62 70 76 336 53

N.S.

1 1.53 1.66 0.54 0.00 1.05 1.19 1.29 5.69 0.90

time (sec)

N/A 0.300 0.091 0.043 0.000 0.069 0.108 0.120 0.168 18.680

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

23 23 23 19 18 18 26 18 202 17

N.S.

1 1.00 1.00 0.83 0.78 0.78 1.13 0.78 8.78 0.74

time (sec)

N/A 0.164 0.004 0.039 0.111 0.063 0.068 0.116 0.170 0.045

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

59 101 83 32 0 62 70 64 336 53

N.S.

1 1.71 1.41 0.54 0.00 1.05 1.19 1.08 5.69 0.90

time (sec)

N/A 0.278 0.037 0.042 0.000 0.064 0.109 0.141 0.160 19.100

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

41 44 55 33 38 34 41 38 330 36

N.S.

1 1.07 1.34 0.80 0.93 0.83 1.00 0.93 8.05 0.88

time (sec)

N/A 0.217 0.011 0.050 0.104 0.065 0.093 0.115 0.162 0.060

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 59 55 44 0 50 49 99 96 29

N.S.

1 1.74 1.62 1.29 0.00 1.47 1.44 2.91 2.82 0.85

time (sec)

N/A 0.220 0.013 0.059 0.000 0.060 0.082 0.134 0.173 19.077

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

48 49 51 38 43 51 48 48 375 41

N.S.

1 1.02 1.06 0.79 0.90 1.06 1.00 1.00 7.81 0.85

time (sec)

N/A 0.220 0.011 0.059 0.108 0.066 0.098 0.116 0.167 0.070

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

73 102 56 46 0 84 83 56 381 63

N.S.

1 1.40 0.77 0.63 0.00 1.15 1.14 0.77 5.22 0.86

time (sec)

N/A 0.339 0.015 0.069 0.000 0.068 0.134 0.134 0.185 19.498

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

286 348 59 44 0 338 26 254 301 209

N.S.

1 1.22 0.21 0.15 0.00 1.18 0.09 0.89 1.05 0.73

time (sec)

N/A 0.677 0.014 0.049 0.000 0.070 1.510 0.123 0.182 19.009

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

219 413 41 32 0 129 165 205 315 53

N.S.

1 1.89 0.19 0.15 0.00 0.59 0.75 0.94 1.44 0.24

time (sec)

N/A 0.598 0.011 0.041 0.000 0.068 0.132 0.136 0.169 0.102

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

273 363 39 40 0 305 24 253 407 474

N.S.

1 1.33 0.14 0.15 0.00 1.12 0.09 0.93 1.49 1.74

time (sec)

N/A 0.538 0.011 0.044 0.000 0.070 1.584 0.137 0.204 18.668

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

273 407 40 40 0 373 26 253 407 286

N.S.

1 1.49 0.15 0.15 0.00 1.37 0.10 0.93 1.49 1.05

time (sec)

N/A 0.539 0.012 0.046 0.000 0.077 1.499 0.128 0.162 19.105

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

219 411 42 30 0 129 165 205 315 53

N.S.

1 1.88 0.19 0.14 0.00 0.59 0.75 0.94 1.44 0.24

time (sec)

N/A 0.582 0.010 0.038 0.000 0.071 0.121 0.135 0.173 0.039

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

290 365 61 40 0 383 29 258 317 253

N.S.

1 1.26 0.21 0.14 0.00 1.32 0.10 0.89 1.09 0.87

time (sec)

N/A 0.668 0.014 0.060 0.000 0.073 1.658 0.135 0.181 19.364

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

292 354 65 38 0 367 31 258 341 213

N.S.

1 1.21 0.22 0.13 0.00 1.26 0.11 0.88 1.17 0.73

time (sec)

N/A 0.667 0.015 0.059 0.000 0.077 1.572 0.126 0.175 0.061

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

231 425 54 43 0 158 182 217 362 63

N.S.

1 1.84 0.23 0.19 0.00 0.68 0.79 0.94 1.57 0.27

time (sec)

N/A 0.633 0.016 0.061 0.000 0.071 0.144 0.144 0.182 19.153

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

287 377 54 44 0 340 37 265 466 486

N.S.

1 1.31 0.19 0.15 0.00 1.18 0.13 0.92 1.62 1.69

time (sec)

N/A 0.598 0.014 0.066 0.000 0.075 1.605 0.127 0.173 19.070

[next] [front] [up]