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

Integrals 201 to 300

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 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 23 23 19 0 20 15 0 36 18

N.S.

1 1.05 1.05 0.86 0.00 0.91 0.68 0.00 1.64 0.82

time (sec)

N/A 1.522 0.154 0.419 0.000 0.094 0.109 0.000 0.206 3.342

Problem 202

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

29 0 33 31 377 42 37 101 65 42

N.S.

1 0.00 1.14 1.07 13.00 1.45 1.28 3.48 2.24 1.45

time (sec)

N/A 0.000 0.687 4.388 0.195 0.084 0.098 0.140 0.201 3.299

Problem 203

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

30 0 24 26 29 24 22 30 30 25

N.S.

1 0.00 0.80 0.87 0.97 0.80 0.73 1.00 1.00 0.83

time (sec)

N/A 0.000 0.035 0.378 0.075 0.080 0.162 0.219 0.197 3.122

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 18 16 41 17 24 16 33 15

N.S.

1 0.00 0.72 0.64 1.64 0.68 0.96 0.64 1.32 0.60

time (sec)

N/A 0.000 0.517 0.189 0.080 0.075 0.145 0.120 0.204 2.703

Problem 205

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

N.S.

1 0.71 0.71 0.67 0.62 0.62 1.14 0.71 0.62 0.62

time (sec)

N/A 0.281 0.004 0.102 0.025 0.086 0.251 0.112 0.210 2.743

Problem 206

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 32 30 32 30 40 26 32 59 31

N.S.

1 1.39 1.30 1.39 1.30 1.74 1.13 1.39 2.57 1.35

time (sec)

N/A 0.295 0.025 0.223 0.029 0.096 0.593 0.118 0.203 0.108

Problem 207

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

27 27 31 29 52 28 20 24 30 31

N.S.

1 1.00 1.15 1.07 1.93 1.04 0.74 0.89 1.11 1.15

time (sec)

N/A 1.680 0.148 2.127 0.165 0.104 3.522 0.171 0.222 3.331

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 47 47 71 62 150 28878 155 0

N.S.

1 0.00 1.57 1.57 2.37 2.07 5.00 962.60 5.17 0.00

time (sec)

N/A 0.000 0.983 0.771 0.147 0.109 0.301 0.445 200.034 0.000

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 25 90 125 78 88 141 73 21

N.S.

1 0.00 1.00 3.60 5.00 3.12 3.52 5.64 2.92 0.84

time (sec)

N/A 0.000 0.053 5.296 0.163 0.092 0.247 0.118 0.182 3.030

Problem 210

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

N.S.

1 0.95 0.95 0.79 0.95 0.95 0.89 1.05 0.95 0.74

time (sec)

N/A 0.369 0.007 0.041 0.028 0.093 0.062 0.111 0.233 0.047

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 22 18 41 21 20 21 19 15

N.S.

1 1.00 0.88 0.72 1.64 0.84 0.80 0.84 0.76 0.60

time (sec)

N/A 0.202 0.035 0.095 0.035 0.108 0.051 0.107 0.198 0.039

Problem 212

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

36 0 28 29 57 47 27 27 85 25

N.S.

1 0.00 0.78 0.81 1.58 1.31 0.75 0.75 2.36 0.69

time (sec)

N/A 0.000 2.105 1.016 0.074 0.087 0.204 0.130 200.019 2.940

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 0 0 60 69 85 0 85 79 0

N.S.

1 0.00 0.00 2.14 2.46 3.04 0.00 3.04 2.82 0.00

time (sec)

N/A 0.000 0.000 0.710 0.206 0.105 0.000 0.413 0.207 0.000

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 164 572 38 37 37 41 79 38 49

N.S.

1 5.47 19.07 1.27 1.23 1.23 1.37 2.63 1.27 1.63

time (sec)

N/A 2.637 0.691 0.069 0.085 0.093 7.395 0.248 0.164 0.112

Problem 215

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

31 0 24 22 18 18 20 20 22 0

N.S.

1 0.00 0.77 0.71 0.58 0.58 0.65 0.65 0.71 0.00

time (sec)

N/A 0.000 0.248 0.437 0.079 0.119 0.154 0.133 0.175 0.000

Problem 216

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

31 0 41 50 41 51 42 51 171 44

N.S.

1 0.00 1.32 1.61 1.32 1.65 1.35 1.65 5.52 1.42

time (sec)

N/A 0.000 0.041 1.085 0.046 0.089 10.279 0.142 0.196 3.366

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 79 30 35 36 35 34 0 38 38

N.S.

1 2.32 0.88 1.03 1.06 1.03 1.00 0.00 1.12 1.12

time (sec)

N/A 0.520 0.122 34.100 0.133 0.109 0.247 0.000 0.167 3.321

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 0 29 22 30 24 22 0 38 21

N.S.

1 0.00 1.00 0.76 1.03 0.83 0.76 0.00 1.31 0.72

time (sec)

N/A 0.000 0.078 0.134 0.103 0.081 0.116 0.000 0.162 2.960

Problem 219

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

N.S.

1 0.67 0.67 0.67 1.07 0.60 0.53 0.60 0.73 0.60

time (sec)

N/A 0.179 0.024 0.063 0.064 0.072 0.045 0.118 0.169 2.913

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 57 25 21 0 39 20 64 25 22

N.S.

1 2.11 0.93 0.78 0.00 1.44 0.74 2.37 0.93 0.81

time (sec)

N/A 1.093 0.133 0.193 0.000 0.100 0.175 0.133 0.167 0.100

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 28 27 0 26 24 26 26 101

N.S.

1 0.00 0.93 0.90 0.00 0.87 0.80 0.87 0.87 3.37

time (sec)

N/A 0.000 0.041 4.291 0.000 0.095 0.104 0.140 0.166 2.855

Problem 222

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

N.S.

1 0.44 0.44 0.38 0.31 0.31 0.44 0.31 0.31 0.31

time (sec)

N/A 0.127 0.000 0.012 0.032 0.082 0.024 0.116 0.165 0.009

Problem 223

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

N.S.

1 1.08 1.08 0.96 1.08 1.16 1.04 1.12 1.08 1.00

time (sec)

N/A 0.305 0.009 0.050 0.027 0.095 0.068 0.116 0.160 2.855

Problem 224

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 43 45 33 43 46 42 42 41 42

N.S.

1 1.72 1.80 1.32 1.72 1.84 1.68 1.68 1.64 1.68

time (sec)

N/A 0.240 0.022 0.171 0.031 0.077 0.152 0.113 0.149 0.094

Problem 225

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

26 0 18 21 22 29 22 0 38 18

N.S.

1 0.00 0.69 0.81 0.85 1.12 0.85 0.00 1.46 0.69

time (sec)

N/A 0.000 0.186 0.112 0.072 0.107 0.117 0.000 0.165 2.690

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 175 106 123 279 121 136 151 167 151

N.S.

1 8.75 5.30 6.15 13.95 6.05 6.80 7.55 8.35 7.55

time (sec)

N/A 0.804 2.964 8.062 0.055 0.083 0.129 0.116 0.148 3.240

Problem 227

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

N.S.

1 1.07 0.93 0.79 0.71 0.71 0.71 0.71 0.79 0.71

time (sec)

N/A 0.147 0.004 0.030 0.027 0.076 0.033 0.113 0.149 0.029

Problem 228

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

29 134 34 69 72 71 99 72 88 68

N.S.

1 4.62 1.17 2.38 2.48 2.45 3.41 2.48 3.03 2.34

time (sec)

N/A 1.844 7.211 4.566 0.098 0.110 0.947 0.132 0.170 3.070

Problem 229

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

21 0 19 17 14 16 15 16 14 14

N.S.

1 0.00 0.90 0.81 0.67 0.76 0.71 0.76 0.67 0.67

time (sec)

N/A 0.000 0.041 0.125 0.053 0.097 0.130 0.141 0.157 2.861

Problem 230

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

19 0 22 23 22 22 19 87 22 101

N.S.

1 0.00 1.16 1.21 1.16 1.16 1.00 4.58 1.16 5.32

time (sec)

N/A 0.000 0.201 1.305 0.157 0.079 0.087 0.430 0.184 3.271

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 60 20 55 53 53 53 53 51 19

N.S.

1 3.16 1.05 2.89 2.79 2.79 2.79 2.79 2.68 1.00

time (sec)

N/A 0.431 4.221 0.695 0.033 0.097 0.060 0.114 0.187 0.076

Problem 232

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

12 14 12 12 13 13 10 13 14 11

N.S.

1 1.17 1.00 1.00 1.08 1.08 0.83 1.08 1.17 0.92

time (sec)

N/A 0.158 0.001 0.043 0.034 0.080 0.017 0.111 0.172 0.017

Problem 233

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 42 24 21 36 34 22 20 22 20

N.S.

1 1.75 1.00 0.88 1.50 1.42 0.92 0.83 0.92 0.83

time (sec)

N/A 0.215 0.015 0.387 0.035 0.096 0.066 0.119 0.160 3.006

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

17 0 27 35 29 39 41 0 39 24

N.S.

1 0.00 1.59 2.06 1.71 2.29 2.41 0.00 2.29 1.41

time (sec)

N/A 0.000 0.047 61.066 0.149 0.091 2.399 0.000 0.161 3.463

Problem 235

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

N.S.

1 0.52 0.91 0.52 0.48 0.61 0.74 0.48 0.52 0.52

time (sec)

N/A 0.138 0.000 0.031 0.031 0.086 0.020 0.112 0.161 0.001

Problem 236

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

N.S.

1 1.58 1.58 1.21 1.21 1.21 1.37 1.21 1.05 1.16

time (sec)

N/A 0.170 0.001 0.044 0.031 0.076 0.020 0.110 0.170 0.021

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 23 25 0 37 22 0 27 21

N.S.

1 0.00 0.85 0.93 0.00 1.37 0.81 0.00 1.00 0.78

time (sec)

N/A 0.000 1.071 0.766 0.000 0.104 0.461 0.000 0.173 3.078

Problem 238

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

23 0 19 23 25 22 17 22 22 22

N.S.

1 0.00 0.83 1.00 1.09 0.96 0.74 0.96 0.96 0.96

time (sec)

N/A 0.000 0.123 0.418 0.163 0.105 0.145 0.158 0.158 3.204

Problem 239

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

26 0 31 34 25 42 27 51 27 29

N.S.

1 0.00 1.19 1.31 0.96 1.62 1.04 1.96 1.04 1.12

time (sec)

N/A 0.000 0.524 1.070 0.181 0.077 0.103 0.142 0.165 3.119

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 138 47 50 49 59 51 51 87 56

N.S.

1 4.93 1.68 1.79 1.75 2.11 1.82 1.82 3.11 2.00

time (sec)

N/A 8.739 0.114 0.450 0.190 0.108 0.161 0.386 0.472 3.313

Problem 241

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 33 34 18 36 18 19 19 47 18

N.S.

1 1.57 1.62 0.86 1.71 0.86 0.90 0.90 2.24 0.86

time (sec)

N/A 0.403 0.833 0.070 0.096 0.084 0.075 0.117 0.180 0.088

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 20 20 19 18 18 15 18 29 18

N.S.

1 1.00 1.00 0.95 0.90 0.90 0.75 0.90 1.45 0.90

time (sec)

N/A 0.155 0.014 0.065 0.031 0.074 0.042 0.117 0.160 0.037

Problem 243

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

21 38 37 19 67 26 15 26 27 16

N.S.

1 1.81 1.76 0.90 3.19 1.24 0.71 1.24 1.29 0.76

time (sec)

N/A 0.588 0.147 0.667 0.159 0.082 0.073 0.119 0.179 0.122

Problem 244

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 29 22 21 20 32 17 20 17 20

N.S.

1 1.53 1.16 1.11 1.05 1.68 0.89 1.05 0.89 1.05

time (sec)

N/A 0.213 0.022 0.147 0.033 0.100 0.058 0.115 0.167 0.038

Problem 245

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

N.S.

1 0.64 0.64 0.59 0.64 0.64 0.45 0.73 0.64 0.55

time (sec)

N/A 0.183 0.004 0.050 0.042 0.082 0.041 0.116 0.159 2.878

Problem 246

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 23 13 12 28 18 10 19 20 13

N.S.

1 1.15 0.65 0.60 1.40 0.90 0.50 0.95 1.00 0.65

time (sec)

N/A 0.325 0.086 0.109 0.043 0.094 0.062 0.112 0.163 0.041

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 25 36 0 131 34 0 1001 70

N.S.

1 0.00 0.93 1.33 0.00 4.85 1.26 0.00 37.07 2.59

time (sec)

N/A 0.000 0.265 5.293 0.000 0.102 0.328 0.000 0.183 3.223

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 25 21 15 17 18 24 15 29 15

N.S.

1 1.39 1.17 0.83 0.94 1.00 1.33 0.83 1.61 0.83

time (sec)

N/A 0.230 0.151 0.130 0.027 0.080 0.066 0.115 200.027 3.055

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 35 28 34 38 0 27 35 29

N.S.

1 0.00 1.30 1.04 1.26 1.41 0.00 1.00 1.30 1.07

time (sec)

N/A 0.000 0.040 21.672 0.091 0.105 0.000 0.141 0.176 2.909

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 0 0 43 49 48 65 52 44 0

N.S.

1 0.00 0.00 1.26 1.44 1.41 1.91 1.53 1.29 0.00

time (sec)

N/A 0.000 0.000 0.044 0.225 0.109 0.244 0.991 0.182 0.000

Problem 251

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

14 16 14 12 15 15 10 15 16 11

N.S.

1 1.14 1.00 0.86 1.07 1.07 0.71 1.07 1.14 0.79

time (sec)

N/A 0.199 0.007 0.102 0.058 0.089 0.042 0.108 0.173 2.947

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 17 16 16 17 19 15 17 20 15

N.S.

1 0.89 0.84 0.84 0.89 1.00 0.79 0.89 1.05 0.79

time (sec)

N/A 0.165 0.002 0.070 0.031 0.074 0.038 0.109 0.176 0.024

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 114 32 40 83 32 53 69 28 21

N.S.

1 4.75 1.33 1.67 3.46 1.33 2.21 2.88 1.17 0.88

time (sec)

N/A 0.275 0.011 0.188 0.025 0.076 0.126 0.117 0.178 3.451

Problem 254

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

N.S.

1 0.94 0.94 0.71 0.65 0.88 0.82 0.65 0.94 0.65

time (sec)

N/A 0.157 0.001 0.045 0.027 0.070 0.042 0.118 0.195 3.689

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

17 21 19 21 23 20 17 20 20 20

N.S.

1 1.24 1.12 1.24 1.35 1.18 1.00 1.18 1.18 1.18

time (sec)

N/A 1.135 0.019 0.372 0.333 0.091 0.079 0.327 0.182 3.648

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 21 22 21 26 33 15 94 35 20

N.S.

1 0.95 1.00 0.95 1.18 1.50 0.68 4.27 1.59 0.91

time (sec)

N/A 1.389 0.143 0.308 0.088 0.108 0.070 0.152 0.186 0.122

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 0 0 35 56 60 27 58 154 80

N.S.

1 0.00 0.00 1.00 1.60 1.71 0.77 1.66 4.40 2.29

time (sec)

N/A 0.000 0.000 2.208 0.172 0.110 0.107 0.249 0.183 3.727

Problem 258

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

N.S.

1 0.61 0.61 0.65 0.61 1.00 0.43 0.61 0.83 0.61

time (sec)

N/A 0.184 0.008 0.170 0.026 0.100 0.061 0.109 0.180 3.498

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 62 103 86 99 100 0 93 0

N.S.

1 0.00 2.00 3.32 2.77 3.19 3.23 0.00 3.00 0.00

time (sec)

N/A 0.000 0.209 0.063 0.288 0.174 0.553 0.000 0.219 0.000

Problem 260

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

22 0 22 21 20 20 17 20 21 20

N.S.

1 0.00 1.00 0.95 0.91 0.91 0.77 0.91 0.95 0.91

time (sec)

N/A 0.000 5.056 2.379 0.115 0.105 4.062 0.144 0.189 3.420

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 34 498 140 75 117 125 53 0

N.S.

1 0.00 1.36 19.92 5.60 3.00 4.68 5.00 2.12 0.00

time (sec)

N/A 0.000 0.071 103.388 0.198 0.116 0.379 0.401 0.218 0.000

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 0 43 64 40 45 24 49 63 61

N.S.

1 0.00 1.48 2.21 1.38 1.55 0.83 1.69 2.17 2.10

time (sec)

N/A 0.000 0.370 1.387 0.075 0.097 0.096 0.127 0.207 2.843

Problem 263

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 27 22 17 43 22 20 24 40 24

N.S.

1 1.12 0.92 0.71 1.79 0.92 0.83 1.00 1.67 1.00

time (sec)

N/A 0.423 0.325 0.958 0.188 0.081 0.520 0.210 0.189 3.124

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 26 26 25 28 26 24 25 349 28

N.S.

1 0.81 0.81 0.78 0.88 0.81 0.75 0.78 10.91 0.88

time (sec)

N/A 0.532 5.055 0.608 0.184 0.104 0.175 0.150 0.230 2.973

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 31 18 18 16 16 24 21 41 21

N.S.

1 1.63 0.95 0.95 0.84 0.84 1.26 1.11 2.16 1.11

time (sec)

N/A 0.776 0.155 0.513 0.062 0.110 0.196 0.116 0.219 2.841

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 0 0 107 0 132 0 0 149 0

N.S.

1 0.00 0.00 3.06 0.00 3.77 0.00 0.00 4.26 0.00

time (sec)

N/A 0.000 0.000 0.727 0.000 0.103 0.000 0.000 0.211 0.000

Problem 267

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

21 0 21 24 18 35 20 194 28 451

N.S.

1 0.00 1.00 1.14 0.86 1.67 0.95 9.24 1.33 21.48

time (sec)

N/A 0.000 0.158 1.834 0.131 0.093 4.861 0.223 0.240 3.714

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 24 27 22 21 21 17 21 22 21

N.S.

1 0.96 1.08 0.88 0.84 0.84 0.68 0.84 0.88 0.84

time (sec)

N/A 0.585 0.172 0.348 0.062 0.099 0.086 0.123 0.185 0.113

Problem 269

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

16 16 32 17 75 21 26 28 32 16

N.S.

1 1.00 2.00 1.06 4.69 1.31 1.62 1.75 2.00 1.00

time (sec)

N/A 0.407 0.035 0.158 0.028 0.093 0.094 0.118 0.212 2.933

Problem 270

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

30 34 35 27 66 34 31 28 50 26

N.S.

1 1.13 1.17 0.90 2.20 1.13 1.03 0.93 1.67 0.87

time (sec)

N/A 0.486 0.085 0.197 0.040 0.090 0.086 0.116 0.220 0.053

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 11 11 12 11 11 8 11 11 11

N.S.

1 0.79 0.79 0.86 0.79 0.79 0.57 0.79 0.79 0.79

time (sec)

N/A 0.168 0.001 0.075 0.024 0.095 0.043 0.112 0.210 2.845

Problem 272

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

N.S.

1 1.05 0.95 0.86 0.81 0.90 0.57 0.90 1.71 0.81

time (sec)

N/A 0.187 0.020 0.110 0.031 0.091 0.051 0.116 0.228 2.916

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 0 53 68 68 117 63 67 0 0

N.S.

1 0.00 1.51 1.94 1.94 3.34 1.80 1.91 0.00 0.00

time (sec)

N/A 0.000 0.080 24.069 0.110 0.114 0.219 0.316 0.273 0.000

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 37 75 36 61 36 36 222 0

N.S.

1 0.00 1.37 2.78 1.33 2.26 1.33 1.33 8.22 0.00

time (sec)

N/A 0.000 0.058 12.737 0.075 0.128 0.114 0.126 0.198 0.000

Problem 275

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

N.S.

1 0.71 0.71 0.76 0.71 0.71 0.71 0.71 0.71 0.71

time (sec)

N/A 0.355 0.047 0.110 0.146 0.104 0.051 0.121 0.194 2.975

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 22 22 39 47 19 49 52 21

N.S.

1 0.00 0.88 0.88 1.56 1.88 0.76 1.96 2.08 0.84

time (sec)

N/A 0.000 0.051 22.278 0.081 0.117 0.097 0.147 0.249 2.713

Problem 277

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

N.S.

1 0.95 0.95 0.85 0.80 0.80 0.75 0.80 1.20 0.80

time (sec)

N/A 0.179 0.006 0.107 0.023 0.100 0.039 0.119 0.290 2.856

Problem 278

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

N.S.

1 1.08 0.92 1.00 1.08 1.36 0.76 1.08 1.16 0.92

time (sec)

N/A 0.281 0.014 0.198 0.033 0.107 0.315 0.132 0.203 2.967

Problem 279

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

10 16 10 16 15 15 14 15 10 9

N.S.

1 1.60 1.00 1.60 1.50 1.50 1.40 1.50 1.00 0.90

time (sec)

N/A 0.188 0.031 0.072 0.031 0.084 0.040 0.116 0.182 2.797

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 105 74 83 93 93 83 93 88 56

N.S.

1 5.83 4.11 4.61 5.17 5.17 4.61 5.17 4.89 3.11

time (sec)

N/A 0.232 0.011 0.092 0.024 0.080 0.033 0.111 0.184 0.083

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 231 152 36 48 38 29 66 39 31

N.S.

1 10.04 6.61 1.57 2.09 1.65 1.26 2.87 1.70 1.35

time (sec)

N/A 0.943 0.084 1.180 0.084 0.093 0.123 0.131 0.180 3.276

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 131 34 64 69 36 31 47 45 29

N.S.

1 5.24 1.36 2.56 2.76 1.44 1.24 1.88 1.80 1.16

time (sec)

N/A 1.148 0.440 0.022 0.185 0.105 0.140 0.144 0.190 0.143

Problem 283

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

26 22 22 25 26 26 22 26 24 0

N.S.

1 0.85 0.85 0.96 1.00 1.00 0.85 1.00 0.92 0.00

time (sec)

N/A 0.604 0.023 0.534 0.162 0.090 0.120 0.232 0.193 0.000

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 24 22 22 266 43 44 56165 47 47

N.S.

1 1.00 0.92 0.92 11.08 1.79 1.83 2340.21 1.96 1.96

time (sec)

N/A 0.674 0.044 0.587 0.302 0.085 0.153 2.254 0.190 2.787

Problem 285

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

N.S.

1 0.93 0.93 1.00 0.93 0.93 0.80 0.93 0.80 0.80

time (sec)

N/A 0.147 0.001 0.046 0.039 0.075 0.041 0.111 0.182 2.931

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 32 32 25 112 22 20 143 47 18

N.S.

1 1.68 1.68 1.32 5.89 1.16 1.05 7.53 2.47 0.95

time (sec)

N/A 0.439 0.065 0.297 0.077 0.093 0.094 0.118 0.183 2.874

Problem 287

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

N.S.

1 1.04 0.85 0.77 0.73 0.85 0.92 0.73 1.08 0.73

time (sec)

N/A 0.432 0.069 0.342 0.055 0.090 0.120 0.116 0.180 2.756

Problem 288

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 21 19 21 19 25 20 35 20 23

N.S.

1 0.95 0.86 0.95 0.86 1.14 0.91 1.59 0.91 1.05

time (sec)

N/A 0.273 0.011 0.208 0.034 0.078 0.280 0.118 0.205 0.115

Problem 289

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

N.S.

1 0.39 0.50 0.39 0.50 0.50 0.39 0.50 0.39 0.33

time (sec)

N/A 0.129 0.000 0.016 0.025 0.068 0.022 0.113 0.311 0.018

Problem 290

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

22 0 21 20 28 20 19 29 22 19

N.S.

1 0.00 0.95 0.91 1.27 0.91 0.86 1.32 1.00 0.86

time (sec)

N/A 0.000 0.135 0.246 0.139 0.097 0.236 0.129 0.227 2.895

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 22 22 494 24 0 0 44 399

N.S.

1 0.00 0.92 0.92 20.58 1.00 0.00 0.00 1.83 16.62

time (sec)

N/A 0.000 0.437 76.725 29.632 0.104 0.000 0.000 0.233 3.071

Problem 292

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 16 17 36 24 14 19 24 16

N.S.

1 1.00 0.70 0.74 1.57 1.04 0.61 0.83 1.04 0.70

time (sec)

N/A 0.505 0.006 0.099 0.065 0.078 0.044 0.112 0.191 2.693

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 34 29 33 43 47 0 46 34 29

N.S.

1 1.10 0.94 1.06 1.39 1.52 0.00 1.48 1.10 0.94

time (sec)

N/A 4.423 0.122 6.357 0.094 0.105 0.000 0.150 0.217 2.860

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 21 21 16 19 19 19 19 41 21

N.S.

1 1.11 1.11 0.84 1.00 1.00 1.00 1.00 2.16 1.11

time (sec)

N/A 0.265 0.503 0.125 0.096 0.085 0.120 0.116 0.225 2.802

Problem 295

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

15 23 32 22 19 20 19 19 27 16

N.S.

1 1.53 2.13 1.47 1.27 1.33 1.27 1.27 1.80 1.07

time (sec)

N/A 0.192 0.025 0.085 0.041 0.090 0.056 0.116 0.189 0.053

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 0 0 26 26 27 27 0 32 25

N.S.

1 0.00 0.00 0.81 0.81 0.84 0.84 0.00 1.00 0.78

time (sec)

N/A 0.000 0.000 0.310 0.198 0.085 0.166 0.000 0.194 2.605

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 29 53 111 84 61 234 150 119

N.S.

1 0.00 0.97 1.77 3.70 2.80 2.03 7.80 5.00 3.97

time (sec)

N/A 0.000 0.110 124.047 8.200 0.113 15.452 0.916 195.241 2.943

Problem 298

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

N.S.

1 0.86 0.71 0.67 0.81 0.62 0.57 0.62 0.86 0.62

time (sec)

N/A 0.408 0.108 0.164 0.189 0.076 0.062 0.120 0.171 2.836

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 71 32 58 177 88 61 101 103 48

N.S.

1 3.94 1.78 3.22 9.83 4.89 3.39 5.61 5.72 2.67

time (sec)

N/A 1.233 4.726 1.777 0.085 0.101 0.113 0.116 0.164 0.101

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 24 22 21 21 20 46 24 21

N.S.

1 0.00 0.92 0.85 0.81 0.81 0.77 1.77 0.92 0.81

time (sec)

N/A 0.000 0.307 0.701 0.077 0.118 0.185 0.123 0.168 2.698

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