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

Integrals 101 to 200

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 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 0 129 135 178 182 63 1806 295 126

N.S.

1 0.00 4.03 4.22 5.56 5.69 1.97 56.44 9.22 3.94

time (sec)

N/A 0.000 0.249 0.062 0.185 0.105 0.323 0.318 0.566 3.353

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 0 31 31 52 38 37 61 47 785

N.S.

1 0.00 0.89 0.89 1.49 1.09 1.06 1.74 1.34 22.43

time (sec)

N/A 0.000 0.122 26.921 0.418 0.085 0.224 0.372 0.639 3.756

Problem 103

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

23 40 27 28 39 23 31 23 20 18

N.S.

1 1.74 1.17 1.22 1.70 1.00 1.35 1.00 0.87 0.78

time (sec)

N/A 0.207 0.004 0.075 0.033 0.092 0.104 0.115 0.435 2.707

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 28 40 54 54 37 40 50 61

N.S.

1 0.00 1.04 1.48 2.00 2.00 1.37 1.48 1.85 2.26

time (sec)

N/A 0.000 0.031 2.561 0.056 0.084 0.065 0.119 0.519 2.892

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 46 27 32 78 32 29 34 29 33

N.S.

1 1.84 1.08 1.28 3.12 1.28 1.16 1.36 1.16 1.32

time (sec)

N/A 0.437 0.246 0.151 0.034 0.080 0.073 0.111 0.441 2.732

Problem 106

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

N.S.

1 0.72 0.60 0.60 1.24 0.60 0.60 0.64 0.68 0.48

time (sec)

N/A 0.195 0.004 0.106 0.026 0.079 0.049 0.110 0.479 2.824

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 0 27 41 37 33 42 0 41 0

N.S.

1 0.00 1.17 1.78 1.61 1.43 1.83 0.00 1.78 0.00

time (sec)

N/A 0.000 0.164 4.079 0.085 0.096 0.145 0.000 0.525 0.000

Problem 108

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

N.S.

1 1.42 1.16 1.05 1.26 1.21 1.16 1.26 1.16 1.16

time (sec)

N/A 0.155 0.002 0.036 0.039 0.081 0.021 0.112 0.530 3.035

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 0 34 37 57 34 119 151 34 0

N.S.

1 0.00 1.06 1.16 1.78 1.06 3.72 4.72 1.06 0.00

time (sec)

N/A 0.000 0.746 1.356 0.165 0.082 0.977 0.138 0.499 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 17 17 17 20 18 12 19 20 15

N.S.

1 0.68 0.68 0.68 0.80 0.72 0.48 0.76 0.80 0.60

time (sec)

N/A 0.206 0.012 0.119 0.059 0.086 0.045 0.111 0.577 2.806

Problem 111

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 23 25 30 29 34 29 27 48 29

N.S.

1 0.96 1.04 1.25 1.21 1.42 1.21 1.12 2.00 1.21

time (sec)

N/A 0.321 0.014 0.124 0.042 0.084 0.173 0.113 0.495 0.079

Problem 112

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

N.S.

1 1.67 1.11 1.11 1.06 1.17 1.06 1.17 0.94 0.89

time (sec)

N/A 0.177 0.023 0.105 0.030 0.111 0.042 0.124 0.494 2.804

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 53 49 56 56 54 68 89 68

N.S.

1 0.00 2.12 1.96 2.24 2.24 2.16 2.72 3.56 2.72

time (sec)

N/A 0.000 0.642 0.608 0.038 0.094 0.076 0.121 0.714 2.961

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 29 33 30 29 24 46 100 49

N.S.

1 0.00 0.97 1.10 1.00 0.97 0.80 1.53 3.33 1.63

time (sec)

N/A 0.000 0.137 3.816 0.200 0.086 0.601 0.266 200.063 3.166

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 0 24 24 30 30 26 34 51 36

N.S.

1 0.00 0.73 0.73 0.91 0.91 0.79 1.03 1.55 1.09

time (sec)

N/A 0.000 2.612 0.184 0.085 0.078 0.093 0.116 0.464 2.823

Problem 116

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

18 22 16 22 0 21 26 21 16 15

N.S.

1 1.22 0.89 1.22 0.00 1.17 1.44 1.17 0.89 0.83

time (sec)

N/A 0.240 0.117 1.963 0.000 0.080 0.127 0.113 0.442 2.818

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 109 0 64 163 51 60 77 70 125

N.S.

1 3.63 0.00 2.13 5.43 1.70 2.00 2.57 2.33 4.17

time (sec)

N/A 1.395 0.000 0.377 0.372 0.117 0.398 0.424 0.476 1.007

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 67 42 62 75 46 68 61 40 40

N.S.

1 3.19 2.00 2.95 3.57 2.19 3.24 2.90 1.90 1.90

time (sec)

N/A 0.316 0.019 0.339 0.029 0.083 0.129 0.115 0.466 2.786

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 16 16 17 16 16 15 18 16 16

N.S.

1 0.80 0.80 0.85 0.80 0.80 0.75 0.90 0.80 0.80

time (sec)

N/A 0.330 0.004 0.043 0.112 0.067 0.051 0.113 0.415 2.948

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 21 23 15 31 14 14 14 15 14

N.S.

1 1.40 1.53 1.00 2.07 0.93 0.93 0.93 1.00 0.93

time (sec)

N/A 0.482 0.021 0.063 0.063 0.083 0.041 0.110 0.462 2.872

Problem 121

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

N.S.

1 1.04 1.04 0.87 0.87 0.87 0.74 0.87 0.96 0.83

time (sec)

N/A 1.111 0.119 0.655 0.064 0.079 0.122 0.128 0.461 2.718

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 31 30 56 0 36 180 564 39 102

N.S.

1 1.41 1.36 2.55 0.00 1.64 8.18 25.64 1.77 4.64

time (sec)

N/A 0.728 0.062 0.471 0.000 0.078 0.210 0.328 0.465 3.209

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 0 30 37 64 36 0 0 39 38

N.S.

1 0.00 1.07 1.32 2.29 1.29 0.00 0.00 1.39 1.36

time (sec)

N/A 0.000 0.159 0.069 0.398 0.088 0.000 0.000 1.217 3.322

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 29 75 27 25 48 19 26 40 25

N.S.

1 1.26 3.26 1.17 1.09 2.09 0.83 1.13 1.74 1.09

time (sec)

N/A 0.253 0.055 0.204 0.033 0.073 0.083 0.115 0.466 0.086

Problem 125

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

N.S.

1 0.47 0.47 0.42 0.37 0.37 0.42 0.37 0.37 0.37

time (sec)

N/A 0.135 0.000 0.017 0.028 0.063 0.025 0.112 0.449 0.018

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 0 40 35 42 39 37 0 0 41

N.S.

1 0.00 1.38 1.21 1.45 1.34 1.28 0.00 0.00 1.41

time (sec)

N/A 0.000 0.217 3.961 0.397 0.095 2.517 0.000 10.710 3.202

Problem 127

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 25 19 23 24 20 20 24 36 178

N.S.

1 1.25 0.95 1.15 1.20 1.00 1.00 1.20 1.80 8.90

time (sec)

N/A 1.222 0.425 1.756 0.091 0.084 0.170 0.145 0.503 3.402

Problem 128

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 47 48 44 37 38 54 37 40 41

N.S.

1 1.21 1.23 1.13 0.95 0.97 1.38 0.95 1.03 1.05

time (sec)

N/A 0.252 0.026 0.150 0.026 0.092 0.211 0.119 0.524 0.185

Problem 129

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

N.S.

1 1.00 1.00 0.86 0.79 0.79 0.71 0.79 1.21 0.86

time (sec)

N/A 0.200 0.012 0.041 0.034 0.075 0.064 0.117 0.510 0.034

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 19 19 23 23 21 19 0 23 21

N.S.

1 0.90 0.90 1.10 1.10 1.00 0.90 0.00 1.10 1.00

time (sec)

N/A 0.729 0.047 15.751 0.165 0.077 0.150 0.000 0.561 2.920

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 0 65 67 98 98 94 0 133 0

N.S.

1 0.00 1.97 2.03 2.97 2.97 2.85 0.00 4.03 0.00

time (sec)

N/A 0.000 0.222 1.012 0.185 0.099 0.970 0.000 0.506 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 0 24 26 23 23 34 25 28 29

N.S.

1 0.00 0.86 0.93 0.82 0.82 1.21 0.89 1.00 1.04

time (sec)

N/A 0.000 3.825 0.129 0.079 0.083 0.138 0.120 0.512 2.867

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 0 31 46 47 62 42 66 177 51

N.S.

1 0.00 1.07 1.59 1.62 2.14 1.45 2.28 6.10 1.76

time (sec)

N/A 0.000 0.057 1.385 0.161 0.100 0.182 1.238 0.473 4.039

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 0 20 212 35 41 31 36 36 21

N.S.

1 0.00 0.87 9.22 1.52 1.78 1.35 1.57 1.57 0.91

time (sec)

N/A 0.000 0.105 0.039 0.161 0.089 0.374 0.306 0.354 3.024

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 11 11 12 11 17 10 12 17 11

N.S.

1 0.73 0.73 0.80 0.73 1.13 0.67 0.80 1.13 0.73

time (sec)

N/A 0.175 0.001 0.023 0.023 0.078 0.038 0.113 0.179 0.015

Problem 136

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 35 29 29 26 26 27 26 33 30

N.S.

1 1.21 1.00 1.00 0.90 0.90 0.93 0.90 1.14 1.03

time (sec)

N/A 0.209 0.083 0.149 0.030 0.081 0.061 0.109 0.193 2.678

Problem 137

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

N.S.

1 0.93 0.93 0.93 0.87 0.87 0.67 0.87 1.87 0.93

time (sec)

N/A 0.166 0.017 0.056 0.026 0.087 0.046 0.110 0.164 3.005

Problem 138

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

N.S.

1 1.17 1.33 1.00 0.96 1.08 1.33 1.04 1.88 1.25

time (sec)

N/A 0.284 0.027 0.246 0.025 0.085 0.265 0.118 0.176 0.143

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 0 20 33 20 19 26 19 30 19

N.S.

1 0.00 0.69 1.14 0.69 0.66 0.90 0.66 1.03 0.66

time (sec)

N/A 0.000 0.820 0.201 0.077 0.088 0.187 0.166 0.172 2.828

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 0 21 17 16 28 14 0 21 16

N.S.

1 0.00 0.95 0.77 0.73 1.27 0.64 0.00 0.95 0.73

time (sec)

N/A 0.000 0.028 0.121 0.091 0.088 0.136 0.000 0.179 0.057

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 26 25 42 39 42 42 39 36

N.S.

1 0.00 0.96 0.93 1.56 1.44 1.56 1.56 1.44 1.33

time (sec)

N/A 0.000 0.053 0.138 0.061 0.084 0.151 0.176 0.185 3.098

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 21 21 26 21 26 30 22 20

N.S.

1 0.00 0.88 0.88 1.08 0.88 1.08 1.25 0.92 0.83

time (sec)

N/A 0.000 0.339 0.139 0.091 0.088 0.130 0.135 0.174 2.771

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 39 45 37 51 36 87 75 36 34

N.S.

1 1.26 1.45 1.19 1.65 1.16 2.81 2.42 1.16 1.10

time (sec)

N/A 0.600 0.025 0.164 0.053 0.095 0.056 0.119 0.162 2.647

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 207 42 87 97 94 105 98 133 101

N.S.

1 6.90 1.40 2.90 3.23 3.13 3.50 3.27 4.43 3.37

time (sec)

N/A 2.908 0.221 0.064 0.098 0.103 0.225 0.204 0.232 3.236

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 48 50 56 49 36 49 277 0

N.S.

1 0.00 1.78 1.85 2.07 1.81 1.33 1.81 10.26 0.00

time (sec)

N/A 0.000 0.073 7.245 0.122 0.136 0.253 0.464 200.016 0.000

Problem 146

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 29 19 20 28 24 27 28 28 22

N.S.

1 1.26 0.83 0.87 1.22 1.04 1.17 1.22 1.22 0.96

time (sec)

N/A 0.219 0.004 0.115 0.029 0.087 0.047 0.112 0.181 0.037

Problem 147

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

N.S.

1 1.23 1.14 1.00 0.95 0.95 1.18 0.95 0.95 0.95

time (sec)

N/A 0.211 0.004 0.160 0.029 0.083 0.056 0.112 0.191 2.911

Problem 148

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

N.S.

1 0.87 0.78 0.65 0.57 0.78 0.61 0.57 0.78 0.65

time (sec)

N/A 0.198 0.002 0.042 0.029 0.091 0.051 0.113 0.206 0.022

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 29 18 18 43 17 20 17 43 17

N.S.

1 1.61 1.00 1.00 2.39 0.94 1.11 0.94 2.39 0.94

time (sec)

N/A 0.255 0.031 0.247 0.138 0.087 0.094 0.122 0.202 2.934

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 46 48 39 74 36 41 33 45 22

N.S.

1 2.00 2.09 1.70 3.22 1.57 1.78 1.43 1.96 0.96

time (sec)

N/A 0.373 0.016 1.107 0.033 0.103 0.108 0.119 0.190 2.867

Problem 151

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

N.S.

1 0.90 1.03 0.83 0.90 0.79 0.76 0.90 0.83 0.90

time (sec)

N/A 0.196 0.003 0.037 0.025 0.068 0.041 0.111 0.205 0.020

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 56 26 26 0 25 19 37 26 24

N.S.

1 2.80 1.30 1.30 0.00 1.25 0.95 1.85 1.30 1.20

time (sec)

N/A 1.045 0.654 0.087 0.000 0.079 0.060 0.123 0.199 2.784

Problem 153

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

N.S.

1 0.56 0.48 0.44 0.40 0.40 0.40 0.40 0.48 0.48

time (sec)

N/A 0.157 0.004 0.029 0.024 0.086 0.037 0.113 0.196 0.033

Problem 154

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

N.S.

1 0.31 0.31 0.31 0.25 0.25 0.19 0.25 0.31 0.25

time (sec)

N/A 0.141 0.000 0.018 0.030 0.075 0.031 0.123 0.196 0.007

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 70 46 22 48 48 54 48 56 52

N.S.

1 3.18 2.09 1.00 2.18 2.18 2.45 2.18 2.55 2.36

time (sec)

N/A 0.217 0.015 0.193 0.026 0.073 0.028 0.112 0.206 0.038

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 66 27 25 24 23 0 23 26 23

N.S.

1 2.44 1.00 0.93 0.89 0.85 0.00 0.85 0.96 0.85

time (sec)

N/A 0.306 0.021 3.754 0.122 0.093 0.000 0.298 0.200 0.176

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 24 21 20 114 17 0 24 20

N.S.

1 0.00 1.00 0.88 0.83 4.75 0.71 0.00 1.00 0.83

time (sec)

N/A 0.000 0.152 130.702 0.435 0.088 32.114 0.000 0.628 0.172

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 0 21 26 28 19 17 25 25 0

N.S.

1 0.00 0.72 0.90 0.97 0.66 0.59 0.86 0.86 0.00

time (sec)

N/A 0.000 0.224 0.303 0.165 0.104 0.128 0.120 0.191 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 139 27 30 58 51 0 0 157 66

N.S.

1 4.34 0.84 0.94 1.81 1.59 0.00 0.00 4.91 2.06

time (sec)

N/A 0.974 0.159 1.388 0.163 0.110 0.000 0.000 200.037 2.926

Problem 160

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

8 16 8 6 12 5 7 5 6 5

N.S.

1 2.00 1.00 0.75 1.50 0.62 0.88 0.62 0.75 0.62

time (sec)

N/A 0.172 0.001 0.027 0.026 0.093 0.040 0.115 0.195 0.010

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 0 28 53 65 30 24 142 30 0

N.S.

1 0.00 1.00 1.89 2.32 1.07 0.86 5.07 1.07 0.00

time (sec)

N/A 0.000 3.974 17.543 0.201 0.086 0.181 0.156 0.198 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 19 18 18 19 18 17 22 19 16

N.S.

1 0.83 0.78 0.78 0.83 0.78 0.74 0.96 0.83 0.70

time (sec)

N/A 0.230 0.005 0.039 0.026 0.077 0.057 0.108 0.204 2.824

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 25 25 23 22 26 20 0 67 22

N.S.

1 1.04 1.04 0.96 0.92 1.08 0.83 0.00 2.79 0.92

time (sec)

N/A 0.439 0.024 0.346 0.148 0.112 0.070 0.000 200.024 3.408

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 36 29 25 32 24 24 29 25 0

N.S.

1 1.12 0.91 0.78 1.00 0.75 0.75 0.91 0.78 0.00

time (sec)

N/A 1.240 0.190 1.555 0.148 0.087 0.426 0.451 0.206 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 138 35 77 464 68 105 605 143 0

N.S.

1 4.93 1.25 2.75 16.57 2.43 3.75 21.61 5.11 0.00

time (sec)

N/A 1.160 0.071 0.381 0.170 0.085 0.485 0.154 0.193 0.000

Problem 166

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 27 28 26 30 26 26 27 27 24

N.S.

1 1.08 1.12 1.04 1.20 1.04 1.04 1.08 1.08 0.96

time (sec)

N/A 1.018 0.248 0.898 0.151 0.095 0.159 0.154 0.191 3.184

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 262 31 33 99 38 22 51 71 24

N.S.

1 10.92 1.29 1.38 4.12 1.58 0.92 2.12 2.96 1.00

time (sec)

N/A 1.549 0.215 0.261 0.156 0.090 0.126 0.125 0.190 2.823

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 28 33 27 27 36 32 33 30

N.S.

1 0.00 1.12 1.32 1.08 1.08 1.44 1.28 1.32 1.20

time (sec)

N/A 0.000 0.342 6.306 0.090 0.106 0.173 0.220 0.192 3.028

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 0 28 20 0 19 15 25 34 25

N.S.

1 0.00 1.40 1.00 0.00 0.95 0.75 1.25 1.70 1.25

time (sec)

N/A 0.000 0.064 0.327 0.000 0.082 0.073 0.116 0.181 0.072

Problem 170

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

26 26 81 27 26 42 24 26 50 26

N.S.

1 1.00 3.12 1.04 1.00 1.62 0.92 1.00 1.92 1.00

time (sec)

N/A 0.280 0.024 0.182 0.029 0.088 0.080 0.109 0.183 0.071

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 97 24 39 43 26 37 0 57 0

N.S.

1 4.04 1.00 1.62 1.79 1.08 1.54 0.00 2.38 0.00

time (sec)

N/A 1.237 2.049 0.865 0.135 0.109 4.475 0.000 3.398 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 51 56 63 54 68 74 63 63

N.S.

1 0.00 2.04 2.24 2.52 2.16 2.72 2.96 2.52 2.52

time (sec)

N/A 0.000 0.127 0.783 0.133 0.099 0.204 0.226 0.178 2.865

Problem 173

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

N.S.

1 1.26 0.91 1.09 0.96 1.04 1.13 0.96 1.17 1.04

time (sec)

N/A 0.632 0.380 0.213 0.114 0.107 0.153 0.123 0.207 2.717

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 0 51 65 64 60 95 71 81 0

N.S.

1 0.00 1.50 1.91 1.88 1.76 2.79 2.09 2.38 0.00

time (sec)

N/A 0.000 0.101 0.035 0.172 0.092 0.536 0.663 0.204 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 34 40 21 49 20 19 20 34 16

N.S.

1 1.70 2.00 1.05 2.45 1.00 0.95 1.00 1.70 0.80

time (sec)

N/A 0.301 0.012 0.253 0.106 0.092 0.061 0.120 0.188 0.063

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 0 39 36 69 69 68 0 73 66

N.S.

1 0.00 1.22 1.12 2.16 2.16 2.12 0.00 2.28 2.06

time (sec)

N/A 0.000 0.128 59.262 0.273 0.082 0.270 0.000 11.920 3.061

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 0 16 15 27 14 17 14 14 14

N.S.

1 0.00 0.80 0.75 1.35 0.70 0.85 0.70 0.70 0.70

time (sec)

N/A 0.000 0.031 0.125 0.150 0.075 0.114 0.116 0.179 2.929

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 50 29 29 40 48 24 46 62 54

N.S.

1 1.61 0.94 0.94 1.29 1.55 0.77 1.48 2.00 1.74

time (sec)

N/A 1.111 6.199 0.585 0.071 0.086 0.076 0.111 0.179 2.782

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 51 238 159 168 95 224 354 0

N.S.

1 0.00 1.89 8.81 5.89 6.22 3.52 8.30 13.11 0.00

time (sec)

N/A 0.000 10.074 0.263 0.096 0.096 0.144 0.284 31.082 0.000

Problem 180

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

N.S.

1 0.52 0.62 0.43 0.43 0.43 0.38 0.43 0.38 0.38

time (sec)

N/A 0.139 0.000 0.015 0.023 0.070 0.018 0.110 0.178 0.018

Problem 181

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

N.S.

1 0.75 0.75 0.81 0.69 0.69 0.88 0.75 0.88 0.62

time (sec)

N/A 0.145 0.002 0.085 0.030 0.065 0.032 0.110 0.183 3.071

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 65 89 96 76 95 0 68 68

N.S.

1 0.00 2.17 2.97 3.20 2.53 3.17 0.00 2.27 2.27

time (sec)

N/A 0.000 0.049 0.248 0.032 0.122 0.224 0.000 0.185 3.193

Problem 183

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 31 27 27 26 26 27 26 27 26

N.S.

1 1.48 1.29 1.29 1.24 1.24 1.29 1.24 1.29 1.24

time (sec)

N/A 0.283 0.036 0.105 0.027 0.086 0.087 0.120 0.186 2.834

Problem 184

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

22 30 20 30 43 23 27 29 50 19

N.S.

1 1.36 0.91 1.36 1.95 1.05 1.23 1.32 2.27 0.86

time (sec)

N/A 0.749 0.104 5.772 0.069 0.080 0.160 0.122 0.214 3.036

Problem 185

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

N.S.

1 0.85 1.35 0.75 0.70 0.70 0.70 0.75 0.75 0.70

time (sec)

N/A 0.226 0.011 0.170 0.026 0.089 0.055 0.134 0.314 0.044

Problem 186

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 32 32 29 32 32 31 34 32 30

N.S.

1 1.19 1.19 1.07 1.19 1.19 1.15 1.26 1.19 1.11

time (sec)

N/A 0.300 0.008 0.047 0.023 0.074 0.071 0.117 0.321 3.122

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 0 51 33 68 52 51 85 60 0

N.S.

1 0.00 1.76 1.14 2.34 1.79 1.76 2.93 2.07 0.00

time (sec)

N/A 0.000 0.090 0.416 0.071 0.105 0.655 0.144 67.011 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 26 27 26 26 22 28 26 0

N.S.

1 0.00 1.00 1.04 1.00 1.00 0.85 1.08 1.00 0.00

time (sec)

N/A 0.000 0.217 0.244 0.069 0.088 0.114 0.122 0.195 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 0 29 21 20 21 20 0 36 30

N.S.

1 0.00 1.26 0.91 0.87 0.91 0.87 0.00 1.57 1.30

time (sec)

N/A 0.000 0.025 0.832 0.157 0.087 0.121 0.000 0.196 3.178

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 43 33 30 41 37 27 38 37 29

N.S.

1 1.39 1.06 0.97 1.32 1.19 0.87 1.23 1.19 0.94

time (sec)

N/A 0.583 0.063 0.011 0.062 0.105 0.160 0.132 0.184 2.895

Problem 191

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 42 25 25 42 29 24 26 29 24

N.S.

1 1.83 1.09 1.09 1.83 1.26 1.04 1.13 1.26 1.04

time (sec)

N/A 0.923 1.289 0.345 0.083 0.082 0.102 0.112 0.189 0.094

Problem 192

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 45 22 27 25 31 26 25 29 26

N.S.

1 1.88 0.92 1.12 1.04 1.29 1.08 1.04 1.21 1.08

time (sec)

N/A 0.989 2.389 0.412 0.153 0.087 0.117 0.126 0.192 3.149

Problem 193

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

25 23 41 30 32 33 1023 33 108 20

N.S.

1 0.92 1.64 1.20 1.28 1.32 40.92 1.32 4.32 0.80

time (sec)

N/A 0.416 0.039 0.326 0.034 0.085 3.521 0.116 0.199 0.134

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 97 28 28 0 29 22 0 301 27

N.S.

1 3.59 1.04 1.04 0.00 1.07 0.81 0.00 11.15 1.00

time (sec)

N/A 0.432 0.107 0.869 0.000 0.088 0.390 0.000 0.557 3.074

Problem 195

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

29 40 35 29 52 36 37 38 43 26

N.S.

1 1.38 1.21 1.00 1.79 1.24 1.28 1.31 1.48 0.90

time (sec)

N/A 0.238 0.026 0.246 0.030 0.081 0.101 0.114 0.209 3.067

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 26 138 82 74 121 435 98 77

N.S.

1 0.00 1.00 5.31 3.15 2.85 4.65 16.73 3.77 2.96

time (sec)

N/A 0.000 0.526 0.029 0.086 0.115 0.270 0.150 0.191 2.996

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 0 31 28 34 30 32 100 39 38

N.S.

1 0.00 1.35 1.22 1.48 1.30 1.39 4.35 1.70 1.65

time (sec)

N/A 0.000 3.365 0.776 0.323 0.082 0.203 0.279 0.198 2.998

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 25 19 16 25 27 24 25 30 26

N.S.

1 1.19 0.90 0.76 1.19 1.29 1.14 1.19 1.43 1.24

time (sec)

N/A 0.365 0.029 0.210 0.170 0.083 0.070 0.117 0.208 3.061

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 0 19 26 15 25 20 15 31 18

N.S.

1 0.00 1.00 1.37 0.79 1.32 1.05 0.79 1.63 0.95

time (sec)

N/A 0.000 0.134 0.197 0.094 0.086 0.106 0.125 3.006 3.008

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 24 31 58 51 17 60 73 25

N.S.

1 0.00 0.89 1.15 2.15 1.89 0.63 2.22 2.70 0.93

time (sec)

N/A 0.000 0.037 0.796 0.077 0.085 0.097 0.173 0.201 2.859

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