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

Integrals 201 to 284

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 A A A F B B

verified

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

size

24 30 24 21 30 20 19 0 18 20

N.S.

1 1.25 1.00 0.88 1.25 0.83 0.79 0.00 0.75 0.83

time (sec)

N/A 0.469 14.651 0.600 0.140 0.070 0.220 0.000 0.147 0.162

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 27 71 24 31 29 24 51 25 23

N.S.

1 1.00 2.63 0.89 1.15 1.07 0.89 1.89 0.93 0.85

time (sec)

N/A 0.137 0.004 0.176 0.023 0.067 0.071 0.121 0.150 0.339

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

82 92 82 25 0 257 51 0 117 0

N.S.

1 1.12 1.00 0.30 0.00 3.13 0.62 0.00 1.43 0.00

time (sec)

N/A 0.215 0.065 0.056 0.000 0.090 1.622 0.000 0.151 0.000

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 12 12 20 40 29 48 10 16 169

N.S.

1 1.00 1.00 1.67 3.33 2.42 4.00 0.83 1.33 14.08

time (sec)

N/A 0.208 0.011 0.225 0.106 0.076 44.075 0.123 0.151 0.030

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

40 40 40 33 36 85 66 55 34 32

N.S.

1 1.00 1.00 0.82 0.90 2.12 1.65 1.38 0.85 0.80

time (sec)

N/A 0.138 0.007 0.128 0.027 0.073 0.523 0.127 0.162 0.237

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

46 46 46 41 57 40 42 40 56 40

N.S.

1 1.00 1.00 0.89 1.24 0.87 0.91 0.87 1.22 0.87

time (sec)

N/A 0.157 0.026 0.329 0.102 0.069 0.542 0.120 0.161 0.314

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 37 45 52 40 52 0 40 45 51

N.S.

1 1.00 1.22 1.41 1.08 1.41 0.00 1.08 1.22 1.38

time (sec)

N/A 0.152 0.072 0.350 0.106 0.077 0.000 0.126 0.161 0.052

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

61 61 66 74 77 97 0 57 71 72

N.S.

1 1.00 1.08 1.21 1.26 1.59 0.00 0.93 1.16 1.18

time (sec)

N/A 0.161 0.093 0.376 0.105 0.103 0.000 0.133 0.165 0.130

Problem 209

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

115 23 50 20 19 19 29 19 18 19

N.S.

1 0.20 0.43 0.17 0.17 0.17 0.25 0.17 0.16 0.17

time (sec)

N/A 0.123 0.042 0.114 0.028 0.077 0.155 0.118 0.142 0.153

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

120 28 55 25 24 24 36 24 23 24

N.S.

1 0.23 0.46 0.21 0.20 0.20 0.30 0.20 0.19 0.20

time (sec)

N/A 0.128 0.055 0.153 0.025 0.071 0.141 0.122 0.145 0.152

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

147 56 93 46 0 152 0 58 25 50

N.S.

1 0.38 0.63 0.31 0.00 1.03 0.00 0.39 0.17 0.34

time (sec)

N/A 0.163 10.175 0.473 0.000 0.080 0.000 0.130 0.154 0.504

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

357 81 121 70 0 190 172 75 77 67

N.S.

1 0.23 0.34 0.20 0.00 0.53 0.48 0.21 0.22 0.19

time (sec)

N/A 0.177 0.327 0.358 0.000 0.093 0.343 0.132 0.163 0.129

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

44 44 53 56 0 58 0 45 27 54

N.S.

1 1.00 1.20 1.27 0.00 1.32 0.00 1.02 0.61 1.23

time (sec)

N/A 0.167 0.071 0.109 0.000 0.078 0.000 0.123 0.170 0.217

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

68 68 72 78 0 106 0 62 32 72

N.S.

1 1.00 1.06 1.15 0.00 1.56 0.00 0.91 0.47 1.06

time (sec)

N/A 0.187 0.102 0.122 0.000 0.088 0.000 0.126 0.169 0.259

Problem 215

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

N.S.

1 1.00 1.00 0.92 0.85 1.69 0.77 0.85 0.85 0.85

time (sec)

N/A 0.163 0.006 0.983 0.023 0.078 0.077 0.131 0.168 0.048

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 19 19 12 15 11 17 15 13 11

N.S.

1 1.00 1.00 0.63 0.79 0.58 0.89 0.79 0.68 0.58

time (sec)

N/A 0.129 0.002 0.039 0.027 0.076 0.041 0.117 0.160 0.095

Problem 217

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

N.S.

1 1.00 1.00 1.08 1.67 1.00 0.83 1.00 1.00 1.00

time (sec)

N/A 0.180 0.017 0.194 0.028 0.078 0.057 0.118 0.154 0.046

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

11 11 11 11 10 10 7 10 11 10

N.S.

1 1.00 1.00 1.00 0.91 0.91 0.64 0.91 1.00 0.91

time (sec)

N/A 0.143 0.007 0.049 0.063 0.067 0.058 0.125 0.158 0.120

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 26 27 23 23 22 20 24 22 22

N.S.

1 0.96 1.00 0.85 0.85 0.81 0.74 0.89 0.81 0.81

time (sec)

N/A 0.140 0.004 0.091 0.024 0.065 0.057 0.119 0.152 0.086

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 33 21 16 20 50 167 66 53 15

N.S.

1 1.00 0.64 0.48 0.61 1.52 5.06 2.00 1.61 0.45

time (sec)

N/A 0.123 0.043 0.076 0.027 0.069 1.834 0.123 0.146 0.174

Problem 221

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

9 9 9 10 9 9 7 11 9 8

N.S.

1 1.00 1.00 1.11 1.00 1.00 0.78 1.22 1.00 0.89

time (sec)

N/A 0.112 0.002 0.076 0.023 0.062 0.036 0.122 0.150 0.109

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 19 19 14 28 28 39 32 25 13

N.S.

1 1.00 1.00 0.74 1.47 1.47 2.05 1.68 1.32 0.68

time (sec)

N/A 0.122 0.022 0.116 0.102 0.067 0.110 0.119 0.155 0.043

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

19 19 16 12 11 14 15 11 12 12

N.S.

1 1.00 0.84 0.63 0.58 0.74 0.79 0.58 0.63 0.63

time (sec)

N/A 0.121 0.008 0.040 0.023 0.062 0.263 0.118 0.149 0.012

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

88 89 112 89 86 104 153 103 141 119

N.S.

1 1.01 1.27 1.01 0.98 1.18 1.74 1.17 1.60 1.35

time (sec)

N/A 0.166 0.061 0.100 0.103 0.072 0.948 0.359 0.160 0.108

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

9 18 9 10 34 9 7 17 9 9

N.S.

1 2.00 1.00 1.11 3.78 1.00 0.78 1.89 1.00 1.00

time (sec)

N/A 0.183 0.008 0.110 0.027 0.072 0.058 0.118 0.149 0.012

Problem 226

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

9 9 9 10 34 9 7 17 9 9

N.S.

1 1.00 1.00 1.11 3.78 1.00 0.78 1.89 1.00 1.00

time (sec)

N/A 0.175 0.007 0.089 0.030 0.066 0.062 0.109 0.152 0.012

Problem 227

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

9 9 9 8 7 26 7 13 7 7

N.S.

1 1.00 1.00 0.89 0.78 2.89 0.78 1.44 0.78 0.78

time (sec)

N/A 0.145 0.005 0.069 0.023 0.072 0.051 0.119 0.153 0.108

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 12 12 16 13 26 22 23 13 13

N.S.

1 1.00 1.00 1.33 1.08 2.17 1.83 1.92 1.08 1.08

time (sec)

N/A 0.179 0.091 0.478 0.022 0.084 0.142 0.127 0.152 0.175

Problem 229

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

28 28 28 23 22 32 75 22 57 22

N.S.

1 1.00 1.00 0.82 0.79 1.14 2.68 0.79 2.04 0.79

time (sec)

N/A 0.170 0.014 0.688 0.036 0.086 0.249 0.125 0.152 0.103

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 20 16 16 15 13 15 15 15 14

N.S.

1 0.95 0.76 0.76 0.71 0.62 0.71 0.71 0.71 0.67

time (sec)

N/A 0.146 0.003 0.056 0.099 0.079 0.076 0.128 0.155 0.013

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 20 16 16 15 13 15 19 15 15

N.S.

1 0.95 0.76 0.76 0.71 0.62 0.71 0.90 0.71 0.71

time (sec)

N/A 0.141 0.003 0.106 0.101 0.072 0.102 0.129 0.151 0.027

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

23 25 22 23 22 19 26 22 26 41

N.S.

1 1.09 0.96 1.00 0.96 0.83 1.13 0.96 1.13 1.78

time (sec)

N/A 0.165 0.004 0.072 0.035 0.067 0.066 0.118 0.147 0.105

Problem 233

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

18 18 18 15 14 28 32 14 27 14

N.S.

1 1.00 1.00 0.83 0.78 1.56 1.78 0.78 1.50 0.78

time (sec)

N/A 0.155 0.016 0.352 0.023 0.083 0.120 0.116 0.148 0.015

Problem 234

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

18 18 18 15 14 28 32 14 27 14

N.S.

1 1.00 1.00 0.83 0.78 1.56 1.78 0.78 1.50 0.78

time (sec)

N/A 0.154 0.007 0.297 0.023 0.082 0.123 0.124 0.157 0.014

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 12 40 17 0 24 0 22 7 16

N.S.

1 1.00 3.33 1.42 0.00 2.00 0.00 1.83 0.58 1.33

time (sec)

N/A 0.147 0.008 0.148 0.000 0.072 0.000 0.129 0.153 0.104

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 14 42 23 0 26 0 35 9 18

N.S.

1 1.00 3.00 1.64 0.00 1.86 0.00 2.50 0.64 1.29

time (sec)

N/A 0.147 0.007 0.257 0.000 0.077 0.000 0.131 0.148 0.086

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 12 16 22 9 10 36 14 7 10

N.S.

1 1.00 1.33 1.83 0.75 0.83 3.00 1.17 0.58 0.83

time (sec)

N/A 0.144 0.021 0.117 0.150 0.072 0.334 0.123 0.145 0.023

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 14 18 22 20 18 0 23 9 12

N.S.

1 1.00 1.29 1.57 1.43 1.29 0.00 1.64 0.64 0.86

time (sec)

N/A 0.144 0.025 0.138 0.107 0.071 0.000 0.123 0.153 0.018

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 21 17 14 0 13 63 13 19 21

N.S.

1 1.00 0.81 0.67 0.00 0.62 3.00 0.62 0.90 1.00

time (sec)

N/A 0.135 0.063 0.075 0.000 0.065 0.164 0.122 0.149 0.106

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 13 22 19 18 18 20 19 16 18

N.S.

1 0.54 0.92 0.79 0.75 0.75 0.83 0.79 0.67 0.75

time (sec)

N/A 0.144 0.010 0.055 0.027 0.062 0.050 0.124 0.145 0.059

Problem 241

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

12 12 18 9 33 16 7 16 17 8

N.S.

1 1.00 1.50 0.75 2.75 1.33 0.58 1.33 1.42 0.67

time (sec)

N/A 0.118 0.114 0.144 0.027 0.077 0.435 0.126 0.141 0.098

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 36 33 25 24 24 0 24 23 24

N.S.

1 1.12 1.03 0.78 0.75 0.75 0.00 0.75 0.72 0.75

time (sec)

N/A 0.150 0.019 0.053 0.027 0.069 0.000 0.117 0.150 0.017

Problem 243

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

N.S.

1 1.21 1.00 0.82 0.79 0.79 0.94 0.79 0.79 0.79

time (sec)

N/A 0.144 0.009 0.052 0.102 0.069 0.051 0.117 0.145 0.035

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

3 3 3 4 3 11 3 4 17 3

N.S.

1 1.00 1.00 1.33 1.00 3.67 1.00 1.33 5.67 1.00

time (sec)

N/A 0.133 0.000 0.049 0.036 0.080 0.033 0.123 0.144 0.013

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 12 22 11 16 48 19 34 10 10

N.S.

1 1.00 1.83 0.92 1.33 4.00 1.58 2.83 0.83 0.83

time (sec)

N/A 0.186 0.007 0.056 0.102 0.093 0.024 0.124 0.135 0.013

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

3 3 3 4 3 18 7 11 12 3

N.S.

1 1.00 1.00 1.33 1.00 6.00 2.33 3.67 4.00 1.00

time (sec)

N/A 0.130 0.004 0.040 0.029 0.076 0.053 0.119 0.148 0.006

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

3 3 3 4 3 18 12 12 16 3

N.S.

1 1.00 1.00 1.33 1.00 6.00 4.00 4.00 5.33 1.00

time (sec)

N/A 0.135 0.003 0.083 0.024 0.069 0.125 0.118 0.150 0.016

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

8 8 8 9 8 8 8 8 8 8

N.S.

1 1.00 1.00 1.12 1.00 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.119 0.000 0.030 0.024 0.066 0.032 0.114 0.154 0.099

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

49 36 29 26 10 10 0 11 10 0

N.S.

1 0.73 0.59 0.53 0.20 0.20 0.00 0.22 0.20 0.00

time (sec)

N/A 0.165 1.006 0.065 0.101 0.062 0.000 0.114 0.154 0.000

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 17 11 12 12 12 13 12 10

N.S.

1 1.00 1.06 0.69 0.75 0.75 0.75 0.81 0.75 0.62

time (sec)

N/A 0.130 0.002 0.073 0.022 0.067 0.032 0.123 0.153 0.083

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

40 45 36 53 0 30 0 40 35 32

N.S.

1 1.12 0.90 1.32 0.00 0.75 0.00 1.00 0.88 0.80

time (sec)

N/A 0.156 0.009 0.027 0.000 0.074 0.000 0.124 0.151 0.024

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

128 128 67 63 58 55 109 57 77 69

N.S.

1 1.00 0.52 0.49 0.45 0.43 0.85 0.45 0.60 0.54

time (sec)

N/A 0.344 0.106 0.773 0.036 0.077 0.477 0.119 0.152 0.159

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 30 18 16 17 17 27 15 18 17

N.S.

1 1.00 0.60 0.53 0.57 0.57 0.90 0.50 0.60 0.57

time (sec)

N/A 0.181 0.018 0.207 0.031 0.073 0.145 0.124 0.155 0.097

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

11 11 9 8 7 17 17 7 19 7

N.S.

1 1.00 0.82 0.73 0.64 1.55 1.55 0.64 1.73 0.64

time (sec)

N/A 0.116 0.001 0.082 0.022 0.074 0.041 0.120 0.152 0.096

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

40 45 40 31 32 32 41 33 31 46

N.S.

1 1.12 1.00 0.78 0.80 0.80 1.02 0.82 0.78 1.15

time (sec)

N/A 0.164 0.005 0.082 0.110 0.070 0.050 0.119 0.150 0.063

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

8 8 23 7 17 17 15 18 21 6

N.S.

1 1.00 2.88 0.88 2.12 2.12 1.88 2.25 2.62 0.75

time (sec)

N/A 0.117 0.003 0.081 0.024 0.071 0.044 0.118 0.147 0.037

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

227 227 194 394 0 0 0 0 35 0

N.S.

1 1.00 0.85 1.74 0.00 0.00 0.00 0.00 0.15 0.00

time (sec)

N/A 0.346 0.174 0.300 0.000 0.000 0.000 0.000 0.148 0.000

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

24 24 24 26 25 24 37 25 30 51

N.S.

1 1.00 1.00 1.08 1.04 1.00 1.54 1.04 1.25 2.12

time (sec)

N/A 0.146 0.005 0.148 0.029 0.073 0.614 0.119 0.143 0.245

Problem 259

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 74 71 22 57 66 73 58 51 70

N.S.

1 0.95 0.91 0.28 0.73 0.85 0.94 0.74 0.65 0.90

time (sec)

N/A 0.204 0.015 0.076 0.104 0.073 0.133 0.123 0.142 0.207

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

2 2 16 3 2 14 2 25 9 2

N.S.

1 1.00 8.00 1.50 1.00 7.00 1.00 12.50 4.50 1.00

time (sec)

N/A 0.110 0.000 0.089 0.116 0.069 0.051 0.122 0.151 0.001

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 27 33 21 20 25 24 25 26 20

N.S.

1 1.00 1.22 0.78 0.74 0.93 0.89 0.93 0.96 0.74

time (sec)

N/A 0.125 0.018 0.169 0.111 0.066 0.071 0.123 0.152 0.023

Problem 262

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

N.S.

1 1.00 1.00 1.10 1.00 1.60 0.80 1.10 2.00 1.00

time (sec)

N/A 0.128 0.003 0.079 0.023 0.077 0.024 0.124 0.151 0.018

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

16 16 16 15 14 14 12 14 13 14

N.S.

1 1.00 1.00 0.94 0.88 0.88 0.75 0.88 0.81 0.88

time (sec)

N/A 0.144 0.002 0.034 0.097 0.079 0.047 0.124 0.149 0.061

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

40 43 29 34 33 24 32 38 31 24

N.S.

1 1.08 0.72 0.85 0.82 0.60 0.80 0.95 0.78 0.60

time (sec)

N/A 0.171 0.009 0.057 0.102 0.081 0.088 0.125 0.143 0.018

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 17 29 14 13 29 0 15 49 9

N.S.

1 0.81 1.38 0.67 0.62 1.38 0.00 0.71 2.33 0.43

time (sec)

N/A 0.256 0.065 0.332 0.024 0.086 0.000 0.117 0.143 0.446

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 14 14 11 10 10 10 16 10 10

N.S.

1 1.00 1.00 0.79 0.71 0.71 0.71 1.14 0.71 0.71

time (sec)

N/A 0.138 0.001 0.053 0.029 0.077 0.027 0.124 0.146 0.011

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 18 18 17 16 18 14 18 18 16

N.S.

1 1.00 1.00 0.94 0.89 1.00 0.78 1.00 1.00 0.89

time (sec)

N/A 0.141 0.003 0.118 0.031 0.069 0.046 0.124 0.153 0.090

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

10 10 20 7 6 16 7 29 17 6

N.S.

1 1.00 2.00 0.70 0.60 1.60 0.70 2.90 1.70 0.60

time (sec)

N/A 0.115 0.011 0.113 0.104 0.067 0.088 0.124 0.151 0.021

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

6 6 16 5 4 14 3 25 13 4

N.S.

1 1.00 2.67 0.83 0.67 2.33 0.50 4.17 2.17 0.67

time (sec)

N/A 0.108 0.010 0.099 0.099 0.074 0.062 0.122 0.153 0.016

Problem 270

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

N.S.

1 1.14 1.00 0.81 0.76 0.76 1.05 0.76 0.71 0.76

time (sec)

N/A 0.131 0.006 0.349 0.100 0.069 0.044 0.126 0.149 0.079

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

53 53 51 42 47 73 46 46 79 45

N.S.

1 1.00 0.96 0.79 0.89 1.38 0.87 0.87 1.49 0.85

time (sec)

N/A 0.203 0.013 0.053 0.102 0.072 0.069 0.124 0.152 0.034

Problem 272

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

49 49 49 46 41 41 762 44 65 46

N.S.

1 1.00 1.00 0.94 0.84 0.84 15.55 0.90 1.33 0.94

time (sec)

N/A 0.220 0.017 0.118 0.024 0.085 47.299 0.119 0.154 0.120

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

12 12 14 12 207 54 270 14 54 14

N.S.

1 1.00 1.17 1.00 17.25 4.50 22.50 1.17 4.50 1.17

time (sec)

N/A 0.135 2.188 0.074 0.135 0.068 6.086 0.117 0.145 0.151

Problem 274

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 28 28 27 44 26 27 54 27

N.S.

1 1.00 1.00 1.00 0.96 1.57 0.93 0.96 1.93 0.96

time (sec)

N/A 0.292 36.353 0.464 0.056 0.077 0.148 0.138 0.141 0.195

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

199 180 136 125 160 145 1277 114 122 140

N.S.

1 0.90 0.68 0.63 0.80 0.73 6.42 0.57 0.61 0.70

time (sec)

N/A 0.364 0.133 1.404 0.051 0.088 136.750 0.117 0.152 0.601

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 18 18 16 15 20 15 15 25 15

N.S.

1 1.00 1.00 0.89 0.83 1.11 0.83 0.83 1.39 0.83

time (sec)

N/A 0.148 0.005 0.066 0.024 0.065 0.135 0.121 0.135 0.088

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

24 24 24 22 21 37 36 37 64 21

N.S.

1 1.00 1.00 0.92 0.88 1.54 1.50 1.54 2.67 0.88

time (sec)

N/A 0.154 0.006 0.073 0.028 0.075 0.187 0.124 0.136 0.035

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

94 0 5141 270 0 179 0 0 786 0

N.S.

1 0.00 54.69 2.87 0.00 1.90 0.00 0.00 8.36 0.00

time (sec)

N/A 0.000 16.131 36.128 0.000 0.135 0.000 0.000 0.169 0.000

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

142 0 630 373 0 223 0 0 706 0

N.S.

1 0.00 4.44 2.63 0.00 1.57 0.00 0.00 4.97 0.00

time (sec)

N/A 0.000 3.405 2.307 0.000 0.123 0.000 0.000 0.227 0.000

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 21 31 250 171 162 19 76 15 172

N.S.

1 1.00 1.48 11.90 8.14 7.71 0.90 3.62 0.71 8.19

time (sec)

N/A 0.403 0.555 0.339 0.078 0.074 90.895 0.144 0.176 1.297

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

4030 0 3168 4640 0 0 0 0 907 0

N.S.

1 0.00 0.79 1.15 0.00 0.00 0.00 0.00 0.23 0.00

time (sec)

N/A 0.000 10.044 1.822 0.000 0.000 0.000 0.000 0.349 0.000

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

330 306 181 1356 0 269 330 472 342 265

N.S.

1 0.93 0.55 4.11 0.00 0.82 1.00 1.43 1.04 0.80

time (sec)

N/A 0.975 0.087 2.711 0.000 0.085 6.630 0.137 0.154 0.477

Problem 283

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

4 4 4 5 4 4 5 4 11 4

N.S.

1 1.00 1.00 1.25 1.00 1.00 1.25 1.00 2.75 1.00

time (sec)

N/A 0.180 0.001 0.293 0.028 0.076 0.256 0.117 0.153 0.012

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

71 0 71 61 0 137 76 94 339 103

N.S.

1 0.00 1.00 0.86 0.00 1.93 1.07 1.32 4.77 1.45

time (sec)

N/A 0.000 0.032 0.087 0.000 0.083 0.095 0.150 0.155 0.154

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