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

2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by 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 just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

137 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.071 0.394 0.013 0.000 0.000 0.000 0.000 0.000

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 111 0 0 155 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 1.29 0.00 0.00 -0.01

time (sec)

N/A 0.063 0.420 0.007 0.000 0.091 0.000 0.000 0.000

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 86 0 0 114 0 0 -1

N.S.

1 1.00 0.93 0.00 0.00 1.24 0.00 0.00 -0.01

time (sec)

N/A 0.034 0.315 0.006 0.000 0.092 0.000 0.000 0.000

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 44 0 0 60 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 1.36 0.00 0.00 -0.02

time (sec)

N/A 0.004 0.056 0.005 0.000 0.091 0.000 0.000 0.000

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

18 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.011 0.497 0.005 0.000 0.000 0.000 0.000 0.000

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

133 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.211 1.655 0.011 0.000 0.000 0.000 0.000 0.000

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

263 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.327 1.173 0.008 0.000 0.000 0.000 0.000 0.000

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 164 0 0 158 0 0 -1

N.S.

1 1.00 0.90 0.00 0.00 0.86 0.00 0.00 -0.01

time (sec)

N/A 0.129 0.407 0.015 0.000 0.085 0.000 0.000 0.000

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

138 138 138 0 0 141 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 1.02 0.00 0.00 -0.01

time (sec)

N/A 0.107 0.370 0.010 0.000 0.082 0.000 0.000 0.000

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 89 0 0 124 0 0 -1

N.S.

1 1.00 0.90 0.00 0.00 1.25 0.00 0.00 -0.01

time (sec)

N/A 0.082 0.336 0.007 0.000 0.086 0.000 0.000 0.000

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 74 0 0 89 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 1.11 0.00 0.00 -0.01

time (sec)

N/A 0.047 0.287 0.008 0.000 0.088 0.000 0.000 0.000

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 38 0 0 44 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 1.16 0.00 0.00 -0.03

time (sec)

N/A 0.007 0.039 0.006 0.000 0.113 0.000 0.000 0.000

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

36 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.065 0.421 0.004 0.000 0.000 0.000 0.000 0.000

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

36 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.063 0.137 0.011 0.000 0.000 0.000 0.000 0.000

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 26 29 19 19 34 19 19

N.S.

1 1.00 0.65 0.72 0.48 0.48 0.85 0.48 0.48

time (sec)

N/A 0.008 0.017 0.025 0.276 0.422 0.067 2.369 0.094

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

291 291 241 517 0 243 0 0 -1

N.S.

1 1.00 0.83 1.78 0.00 0.84 0.00 0.00 -0.00

time (sec)

N/A 0.215 0.147 0.095 0.000 0.094 0.000 0.000 0.000

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

269 269 179 359 0 171 0 0 -1

N.S.

1 1.00 0.67 1.33 0.00 0.64 0.00 0.00 -0.00

time (sec)

N/A 0.189 0.116 0.072 0.000 0.085 0.000 0.000 0.000

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

229 229 128 227 0 114 0 0 209

N.S.

1 1.00 0.56 0.99 0.00 0.50 0.00 0.00 0.91

time (sec)

N/A 0.158 0.085 0.076 0.000 0.381 0.000 0.000 3.927

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 82 126 0 71 0 0 136

N.S.

1 1.00 0.68 1.05 0.00 0.59 0.00 0.00 1.13

time (sec)

N/A 0.080 0.052 0.083 0.000 0.399 0.000 0.000 3.647

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 41 52 0 40 0 0 50

N.S.

1 1.00 1.00 1.27 0.00 0.98 0.00 0.00 1.22

time (sec)

N/A 0.021 0.013 0.067 0.000 0.360 0.000 0.000 3.549

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 41 47 0 41 0 0 -1

N.S.

1 1.00 1.00 1.15 0.00 1.00 0.00 0.00 -0.02

time (sec)

N/A 0.098 0.023 0.093 0.000 0.348 0.000 0.000 0.000

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 68 80 0 60 0 0 -1

N.S.

1 1.00 1.00 1.18 0.00 0.88 0.00 0.00 -0.01

time (sec)

N/A 0.275 0.063 0.076 0.000 0.350 0.000 0.000 0.000

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 166 115 226 0 110 0 0 -1

N.S.

1 1.00 0.69 1.36 0.00 0.66 0.00 0.00 -0.01

time (sec)

N/A 0.500 0.100 0.068 0.000 0.350 0.000 0.000 0.000

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

415 415 195 343 0 201 0 0 -1

N.S.

1 1.00 0.47 0.83 0.00 0.48 0.00 0.00 -0.00

time (sec)

N/A 0.316 0.158 0.055 0.000 0.396 0.000 0.000 0.000

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

291 291 148 228 0 156 0 0 -1

N.S.

1 1.00 0.51 0.78 0.00 0.54 0.00 0.00 -0.00

time (sec)

N/A 0.219 0.108 0.043 0.000 0.369 0.000 0.000 0.000

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

206 206 131 175 0 128 0 0 -1

N.S.

1 1.00 0.64 0.85 0.00 0.62 0.00 0.00 -0.00

time (sec)

N/A 0.153 0.084 0.033 0.000 0.365 0.000 0.000 0.000

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 89 93 0 107 0 0 -1

N.S.

1 1.00 0.80 0.84 0.00 0.96 0.00 0.00 -0.01

time (sec)

N/A 0.081 0.040 0.046 0.000 0.401 0.000 0.000 0.000

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 62 65 0 68 0 0 53

N.S.

1 1.00 1.00 1.05 0.00 1.10 0.00 0.00 0.85

time (sec)

N/A 0.028 0.018 0.023 0.000 0.415 0.000 0.000 3.640

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

18 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.012 0.054 0.006 0.000 0.000 0.000 0.000 0.000

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

18 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.030 0.180 0.009 0.000 0.000 0.000 0.000 0.000

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

18 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.027 0.205 0.009 0.000 0.000 0.000 0.000 0.000

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

239 239 219 0 0 248 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 1.04 0.00 0.00 -0.00

time (sec)

N/A 0.139 0.129 0.010 0.000 0.091 0.000 0.000 0.000

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 184 167 0 0 221 0 0 -1

N.S.

1 1.00 0.91 0.00 0.00 1.20 0.00 0.00 -0.01

time (sec)

N/A 0.108 0.250 0.009 0.000 0.108 0.000 0.000 0.000

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 127 0 0 194 0 0 -1

N.S.

1 1.00 0.89 0.00 0.00 1.37 0.00 0.00 -0.01

time (sec)

N/A 0.083 0.045 0.008 0.000 0.105 0.000 0.000 0.000

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 86 0 0 154 0 0 -1

N.S.

1 1.00 0.93 0.00 0.00 1.67 0.00 0.00 -0.01

time (sec)

N/A 0.037 0.046 0.007 0.000 0.104 0.000 0.000 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 44 0 0 94 0 0 68

N.S.

1 1.00 1.00 0.00 0.00 2.14 0.00 0.00 1.55

time (sec)

N/A 0.004 0.007 0.006 0.000 0.098 0.000 0.000 3.970

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

18 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.012 0.047 0.005 0.000 0.000 0.000 0.000 0.000

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

18 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.032 0.176 0.010 0.000 0.000 0.000 0.000 0.000

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

18 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.029 0.027 0.011 0.000 0.000 0.000 0.000 0.000

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

18 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.035 0.194 0.013 0.000 0.000 0.000 0.000 0.000

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.038 0.123 0.013 0.000 0.000 0.000 0.000 0.000

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 36 117 36 39 0 0 41

N.S.

1 1.00 0.88 2.85 0.88 0.95 0.00 0.00 1.00

time (sec)

N/A 0.015 0.019 0.029 0.065 0.085 0.000 0.000 3.504

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

18 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.028 0.032 0.014 0.000 0.000 0.000 0.000 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

18 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.033 0.063 0.018 0.000 0.000 0.000 0.000 0.000

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

18 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.031 0.059 0.022 0.000 0.000 0.000 0.000 0.000

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

18 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.038 0.039 0.006 0.000 0.000 0.000 0.000 0.000

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

207 207 183 0 0 0 0 0 -1

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.111 0.105 0.004 0.000 0.000 0.000 0.000 0.000

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 136 0 0 0 0 0 -1

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.077 0.049 0.020 0.000 0.000 0.000 0.000 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 91 0 0 0 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.039 0.024 0.014 0.000 0.000 0.000 0.000 0.000

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 47 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.004 0.006 0.009 0.000 0.000 0.000 0.000 0.000

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

18 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.014 0.027 0.007 0.000 0.000 0.000 0.000 0.000

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

18 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.034 0.024 0.022 0.000 0.000 0.000 0.000 0.000

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

18 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.032 0.027 0.003 0.000 0.000 0.000 0.000 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 61 0 0 59 0 0 75

N.S.

1 1.00 1.00 0.00 0.00 0.97 0.00 0.00 1.23

time (sec)

N/A 0.042 0.131 0.021 0.000 0.095 0.000 0.000 3.805

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B C B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 31 579 5261 468 794 145 553

N.S.

1 1.00 0.30 5.51 50.10 4.46 7.56 1.38 5.27

time (sec)

N/A 0.092 0.365 0.108 1.755 0.396 0.312 2.686 4.149

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B C B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 31 396 3727 324 556 124 391

N.S.

1 1.00 0.35 4.50 42.35 3.68 6.32 1.41 4.44

time (sec)

N/A 0.078 0.238 0.092 1.322 0.382 0.202 2.602 3.937

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 72 249 2452 208 364 103 253

N.S.

1 1.00 0.57 1.98 19.46 1.65 2.89 0.82 2.01

time (sec)

N/A 0.177 0.206 0.092 0.986 0.380 0.142 2.636 3.825

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 56 138 1438 120 212 82 142

N.S.

1 1.00 0.62 1.52 15.80 1.32 2.33 0.90 1.56

time (sec)

N/A 0.127 0.179 0.086 0.736 0.381 0.169 2.943 3.661

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A B C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 40 63 683 60 99 1227 67

N.S.

1 1.00 0.65 1.02 11.02 0.97 1.60 19.79 1.08

time (sec)

N/A 0.072 0.155 0.079 0.522 0.361 0.074 3.191 3.546

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 27 26 25 35 34 35 25

N.S.

1 1.00 1.00 0.96 0.93 1.30 1.26 1.30 0.93

time (sec)

N/A 0.024 0.021 0.013 0.283 0.375 0.050 2.487 3.521

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 22 23 0 32 0 0 20

N.S.

1 1.00 1.00 1.05 0.00 1.45 0.00 0.00 0.91

time (sec)

N/A 0.044 0.174 0.068 0.000 0.363 0.000 0.000 3.678

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 47 53 0 100 0 0 51

N.S.

1 1.00 0.89 1.00 0.00 1.89 0.00 0.00 0.96

time (sec)

N/A 0.086 0.191 0.074 0.000 0.394 0.000 0.000 4.682

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 64 86 0 183 0 0 76

N.S.

1 1.00 0.74 0.99 0.00 2.10 0.00 0.00 0.87

time (sec)

N/A 0.131 0.208 0.076 0.000 0.386 0.000 0.000 5.757

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 79 119 0 292 0 0 104

N.S.

1 1.00 0.65 0.98 0.00 2.41 0.00 0.00 0.86

time (sec)

N/A 0.180 0.224 0.078 0.000 0.391 0.000 0.000 3.817

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 31 152 0 430 0 0 120

N.S.

1 1.00 1.00 4.90 0.00 13.87 0.00 0.00 3.87

time (sec)

N/A 0.043 0.174 0.108 0.000 0.084 0.000 0.000 3.814

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 31 185 0 596 0 0 136

N.S.

1 1.00 1.00 5.97 0.00 19.23 0.00 0.00 4.39

time (sec)

N/A 0.043 0.186 0.121 0.000 0.105 0.000 0.000 3.905

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 49 1896 6135 617 0 195 209

N.S.

1 1.00 1.00 38.69 125.20 12.59 0.00 3.98 4.27

time (sec)

N/A 0.045 0.672 0.339 1.613 0.091 0.000 1.447 4.024

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 49 1359 4471 456 0 174 730

N.S.

1 1.00 1.00 27.73 91.24 9.31 0.00 3.55 14.90

time (sec)

N/A 0.047 0.445 0.198 1.188 0.087 0.000 1.778 4.130

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

179 179 153 914 3066 323 0 153 533

N.S.

1 1.00 0.85 5.11 17.13 1.80 0.00 0.85 2.98

time (sec)

N/A 0.235 0.567 0.151 1.132 0.372 0.000 2.456 3.911

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 126 561 1922 218 0 132 378

N.S.

1 1.00 0.87 3.87 13.26 1.50 0.00 0.91 2.61

time (sec)

N/A 0.163 0.296 0.105 0.867 0.349 0.000 2.816 3.772

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 90 300 1037 141 0 111 243

N.S.

1 1.00 0.81 2.70 9.34 1.27 0.00 1.00 2.19

time (sec)

N/A 0.109 0.237 0.117 0.626 0.379 0.000 3.153 3.596

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 77 131 413 88 0 91 130

N.S.

1 1.00 1.00 1.70 5.36 1.14 0.00 1.18 1.69

time (sec)

N/A 0.060 0.176 0.087 0.427 0.355 0.000 2.337 3.588

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 44 58 58 48 0 36 48

N.S.

1 1.00 1.00 1.32 1.32 1.09 0.00 0.82 1.09

time (sec)

N/A 0.009 0.055 0.023 0.282 0.393 0.000 2.692 0.040

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 63 62 0 83 0 0 86

N.S.

1 1.00 0.94 0.93 0.00 1.24 0.00 0.00 1.28

time (sec)

N/A 0.056 0.227 0.089 0.000 0.369 0.000 0.000 4.055

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 81 96 0 163 0 0 201

N.S.

1 1.00 0.79 0.94 0.00 1.60 0.00 0.00 1.97

time (sec)

N/A 0.103 0.287 0.078 0.000 0.411 0.000 0.000 5.027

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 97 129 0 288 0 0 168

N.S.

1 1.00 0.71 0.95 0.00 2.12 0.00 0.00 1.24

time (sec)

N/A 0.150 0.315 0.080 0.000 0.378 0.000 0.000 4.868

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 112 162 0 429 0 0 201

N.S.

1 1.00 0.66 0.95 0.00 2.52 0.00 0.00 1.18

time (sec)

N/A 0.198 0.359 0.099 0.000 0.371 0.000 0.000 4.128

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 49 195 0 598 0 0 234

N.S.

1 1.00 1.00 3.98 0.00 12.20 0.00 0.00 4.78

time (sec)

N/A 0.045 0.303 0.108 0.000 0.367 0.000 0.000 4.086

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 49 228 0 795 0 0 267

N.S.

1 1.00 1.00 4.65 0.00 16.22 0.00 0.00 5.45

time (sec)

N/A 0.045 0.338 0.137 0.000 0.392 0.000 0.000 4.153

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 61 0 0 71 0 0 75

N.S.

1 1.00 1.00 0.00 0.00 1.16 0.00 0.00 1.23

time (sec)

N/A 0.045 0.138 0.022 0.000 0.104 0.000 0.000 3.678

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 31 857 1268 688 1170 0 685

N.S.

1 1.00 0.30 8.16 12.08 6.55 11.14 0.00 6.52

time (sec)

N/A 0.083 0.521 0.096 0.409 0.402 0.378 0.000 4.370

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 31 584 874 474 821 0 487

N.S.

1 1.00 0.35 6.64 9.93 5.39 9.33 0.00 5.53

time (sec)

N/A 0.082 0.487 0.079 0.386 0.368 0.294 0.000 4.078

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 75 365 555 302 536 1320 323

N.S.

1 1.00 0.60 2.94 4.48 2.44 4.32 10.65 2.60

time (sec)

N/A 0.198 0.402 0.066 0.392 0.377 0.201 4.601 3.871

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 56 200 308 172 304 705 196

N.S.

1 1.00 0.58 2.08 3.21 1.79 3.17 7.34 2.04

time (sec)

N/A 0.144 0.236 0.087 0.382 0.373 0.137 1.787 3.663

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A B C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 40 89 133 84 143 1014 95

N.S.

1 1.00 0.65 1.44 2.15 1.35 2.31 16.35 1.53

time (sec)

N/A 0.093 0.178 0.105 0.384 0.366 0.092 2.491 3.627

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 27 26 25 47 44 47 25

N.S.

1 1.00 1.00 0.96 0.93 1.74 1.63 1.74 0.93

time (sec)

N/A 0.046 0.025 0.090 0.286 0.355 0.062 1.972 3.533

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 22 0 0 44 0 0 20

N.S.

1 1.00 1.00 0.00 0.00 2.00 0.00 0.00 0.91

time (sec)

N/A 0.044 0.192 0.015 0.000 0.369 0.000 0.000 3.580

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 47 0 0 147 0 0 51

N.S.

1 1.00 0.89 0.00 0.00 2.77 0.00 0.00 0.96

time (sec)

N/A 0.088 0.194 0.021 0.000 0.353 0.000 0.000 3.921

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 64 0 0 269 0 0 76

N.S.

1 1.00 0.74 0.00 0.00 3.09 0.00 0.00 0.87

time (sec)

N/A 0.132 0.224 0.034 0.000 0.353 0.000 0.000 4.884

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 80 0 0 431 0 0 104

N.S.

1 1.00 0.66 0.00 0.00 3.56 0.00 0.00 0.86

time (sec)

N/A 0.181 0.251 0.052 0.000 0.395 0.000 0.000 3.871

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 31 0 0 636 0 0 120

N.S.

1 1.00 1.00 0.00 0.00 20.52 0.00 0.00 3.87

time (sec)

N/A 0.042 0.209 0.078 0.000 0.113 0.000 0.000 4.033

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 31 0 0 883 0 0 136

N.S.

1 1.00 1.00 0.00 0.00 28.48 0.00 0.00 4.39

time (sec)

N/A 0.042 0.232 0.107 0.000 0.092 0.000 0.000 4.303

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 49 0 0 118 0 0 112

N.S.

1 1.00 1.00 0.00 0.00 2.41 0.00 0.00 2.29

time (sec)

N/A 0.046 0.222 0.015 0.000 0.087 0.000 0.000 3.918

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 49 0 0 63 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 1.29 0.00 0.00 -0.02

time (sec)

N/A 0.026 0.158 0.007 0.000 0.101 0.000 0.000 0.000

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 47 0 0 63 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 1.34 0.00 0.00 -0.02

time (sec)

N/A 0.005 0.092 0.005 0.000 0.108 0.000 0.000 0.000

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 49 0 0 110 0 0 74

N.S.

1 1.00 1.00 0.00 0.00 2.24 0.00 0.00 1.51

time (sec)

N/A 0.042 0.326 0.015 0.000 0.102 0.000 0.000 3.730

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 49 0 0 135 0 0 87

N.S.

1 1.00 1.00 0.00 0.00 2.76 0.00 0.00 1.78

time (sec)

N/A 0.042 0.348 0.017 0.000 0.087 0.000 0.000 3.829

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 49 0 0 226 0 0 130

N.S.

1 1.00 1.00 0.00 0.00 4.61 0.00 0.00 2.65

time (sec)

N/A 0.040 0.391 0.022 0.000 0.109 0.000 0.000 4.466

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A A C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 42 0 43 42 80 781 38

N.S.

1 1.00 0.66 0.00 0.67 0.66 1.25 12.20 0.59

time (sec)

N/A 0.025 0.040 0.009 0.280 0.365 0.261 4.979 3.596

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 60 0 62 58 0 1338 54

N.S.

1 1.00 0.60 0.00 0.62 0.58 0.00 13.38 0.54

time (sec)

N/A 0.045 0.033 0.002 0.278 0.411 0.000 3.876 3.577

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