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

2.2.4 Integrals 301 to 371

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 301

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

33 33 29 38 27 45 0 47 27

N.S.

1 1.00 0.88 1.15 0.82 1.36 0.00 1.42 0.82

time (sec)

N/A 0.012 0.016 0.867 0.307 0.365 0.000 0.421 0.034

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 77 31 43 96 0 49 25

N.S.

1 1.00 3.08 1.24 1.72 3.84 0.00 1.96 1.00

time (sec)

N/A 0.013 0.060 0.881 0.270 0.399 0.000 0.399 0.549

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 52 114 0 0 0 0 -1

N.S.

1 1.00 1.00 2.19 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.046 0.007 2.372 0.000 0.000 0.000 0.000 0.000

Problem 304

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

29 29 29 31 30 49 20 39 27

N.S.

1 1.00 1.00 1.07 1.03 1.69 0.69 1.34 0.93

time (sec)

N/A 0.017 0.013 0.280 0.257 0.382 0.413 0.435 0.227

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 44 46 97 58 0 84 43

N.S.

1 1.00 0.88 0.92 1.94 1.16 0.00 1.68 0.86

time (sec)

N/A 0.024 0.017 0.885 0.264 0.361 0.000 0.426 0.236

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 48 53 47 62 0 75 -1

N.S.

1 1.00 0.89 0.98 0.87 1.15 0.00 1.39 -0.02

time (sec)

N/A 0.028 0.021 0.875 0.269 0.375 0.000 0.439 0.000

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 74 0 0 0 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.045 0.053 0.209 0.000 0.000 0.000 0.000 0.000

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 66 0 0 0 0 0 -1

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.025 0.035 0.142 0.000 0.000 0.000 0.000 0.000

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 58 0 0 0 0 0 -1

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.027 0.034 0.133 0.000 0.000 0.000 0.000 0.000

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 56 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.017 0.039 0.131 0.000 0.000 0.000 0.000 0.000

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 60 120 0 0 0 0 -1

N.S.

1 1.00 1.00 2.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.047 0.007 2.780 0.000 0.000 0.000 0.000 0.000

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 61 0 0 0 0 0 -1

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.025 0.039 0.136 0.000 0.000 0.000 0.000 0.000

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 62 0 0 0 0 0 -1

N.S.

1 1.00 0.91 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.028 0.033 0.208 0.000 0.000 0.000 0.000 0.000

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 149 0 0 269 0 0 -1

N.S.

1 1.00 0.97 0.00 0.00 1.76 0.00 0.00 -0.01

time (sec)

N/A 0.024 0.086 0.937 0.000 0.380 0.000 0.000 0.000

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 180 0 0 188 0 0 -1

N.S.

1 1.00 1.40 0.00 0.00 1.46 0.00 0.00 -0.01

time (sec)

N/A 0.050 0.098 0.941 0.000 0.374 0.000 0.000 0.000

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 76 0 0 114 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 1.50 0.00 0.00 -0.01

time (sec)

N/A 0.010 0.020 0.934 0.000 0.360 0.000 0.000 0.000

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 48 47 44 52 0 0 39

N.S.

1 1.00 0.96 0.94 0.88 1.04 0.00 0.00 0.78

time (sec)

N/A 0.026 0.018 0.257 0.269 0.390 0.000 0.000 0.534

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 150 0 0 0 0 0 -1

N.S.

1 1.00 0.77 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.038 0.523 0.921 0.000 0.000 0.000 0.000 0.000

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

245 245 197 0 0 0 0 0 -1

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.031 0.957 0.925 0.000 0.000 0.000 0.000 0.000

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

275 275 229 0 0 0 0 0 -1

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.040 0.468 0.924 0.000 0.000 0.000 0.000 0.000

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 149 0 0 269 0 0 -1

N.S.

1 1.00 0.97 0.00 0.00 1.76 0.00 0.00 -0.01

time (sec)

N/A 0.023 0.086 0.930 0.000 0.390 0.000 0.000 0.000

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 180 0 0 188 0 0 -1

N.S.

1 1.00 1.40 0.00 0.00 1.46 0.00 0.00 -0.01

time (sec)

N/A 0.040 0.101 0.928 0.000 0.367 0.000 0.000 0.000

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 76 0 0 114 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 1.50 0.00 0.00 -0.01

time (sec)

N/A 0.010 0.014 0.906 0.000 0.353 0.000 0.000 0.000

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 48 48 44 52 0 0 39

N.S.

1 1.00 0.96 0.96 0.88 1.04 0.00 0.00 0.78

time (sec)

N/A 0.026 0.019 0.247 0.268 0.379 0.000 0.000 0.452

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

191 191 146 0 0 0 0 0 -1

N.S.

1 1.00 0.76 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.017 0.476 0.940 0.000 0.000 0.000 0.000 0.000

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

244 244 196 0 0 0 0 0 -1

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.020 1.023 1.263 0.000 0.000 0.000 0.000 0.000

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

272 272 227 0 0 0 0 0 -1

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.036 0.564 0.928 0.000 0.000 0.000 0.000 0.000

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

348 348 337 0 0 0 0 0 -1

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.079 0.188 1.158 0.000 0.000 0.000 0.000 0.000

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

312 312 258 0 0 0 0 0 -1

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.078 0.147 0.920 0.000 0.000 0.000 0.000 0.000

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

263 263 259 0 0 0 0 0 -1

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.022 0.037 0.915 0.000 0.000 0.000 0.000 0.000

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

231 231 180 0 0 0 0 0 -1

N.S.

1 1.00 0.78 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.020 0.005 0.939 0.000 0.000 0.000 0.000 0.000

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

291 291 291 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.039 0.253 0.798 0.000 0.000 0.000 0.000 0.000

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

326 326 308 0 0 0 0 0 -1

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.052 0.550 0.926 0.000 0.000 0.000 0.000 0.000

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

389 389 365 0 0 0 0 0 -1

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.061 0.648 0.927 0.000 0.000 0.000 0.000 0.000

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

348 348 337 0 0 0 0 0 -1

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.074 0.193 1.131 0.000 0.000 0.000 0.000 0.000

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

310 310 255 0 0 0 0 0 -1

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.074 0.175 0.951 0.000 0.000 0.000 0.000 0.000

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

262 262 259 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.022 0.036 0.920 0.000 0.000 0.000 0.000 0.000

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

231 231 180 0 0 0 0 0 -1

N.S.

1 1.00 0.78 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.023 0.005 0.903 0.000 0.000 0.000 0.000 0.000

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

291 291 291 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.038 0.254 1.134 0.000 0.000 0.000 0.000 0.000

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

326 326 308 0 0 0 0 0 -1

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.062 0.560 0.903 0.000 0.000 0.000 0.000 0.000

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

389 389 370 0 0 0 0 0 -1

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.063 0.645 0.921 0.000 0.000 0.000 0.000 0.000

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

43 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.02

time (sec)

N/A 0.031 0.063 180.000 0.000 0.000 0.000 0.000 0.000

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

261 261 244 1175 0 0 0 0 -1

N.S.

1 1.00 0.93 4.50 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.204 0.041 4.033 0.000 0.000 0.000 0.000 0.000

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 187 649 0 0 0 0 -1

N.S.

1 1.00 0.96 3.35 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.179 0.039 2.621 0.000 0.000 0.000 0.000 0.000

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 127 263 0 0 0 0 -1

N.S.

1 1.00 0.95 1.98 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.119 0.016 1.682 0.000 0.000 0.000 0.000 0.000

Problem 346

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

43 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.02

time (sec)

N/A 0.031 0.067 180.000 0.000 0.000 0.000 0.000 0.000

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

43 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.02

time (sec)

N/A 0.030 0.542 180.000 0.000 0.000 0.000 0.000 0.000

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 76 153 0 0 0 0 -1

N.S.

1 1.00 1.00 2.01 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.054 0.401 2.747 0.000 0.000 0.000 0.000 0.000

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

165 165 119 464 491 138 0 173 -1

N.S.

1 1.00 0.72 2.81 2.98 0.84 0.00 1.05 -0.01

time (sec)

N/A 0.123 0.060 0.218 0.272 0.341 0.000 0.396 0.000

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 102 288 273 117 0 140 -1

N.S.

1 1.00 0.89 2.50 2.37 1.02 0.00 1.22 -0.01

time (sec)

N/A 0.089 0.076 0.224 0.255 0.344 0.000 0.401 0.000

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 73 145 175 93 0 106 -1

N.S.

1 1.00 1.09 2.16 2.61 1.39 0.00 1.58 -0.01

time (sec)

N/A 0.049 0.068 0.223 0.259 0.330 0.000 0.413 0.000

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 46 89 141 73 0 80 -1

N.S.

1 1.00 1.48 2.87 4.55 2.35 0.00 2.58 -0.03

time (sec)

N/A 0.012 0.025 0.353 0.288 0.331 0.000 0.392 0.000

Problem 353

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

89 89 99 126 160 136 0 158 180

N.S.

1 1.00 1.11 1.42 1.80 1.53 0.00 1.78 2.02

time (sec)

N/A 0.084 0.051 0.301 0.263 0.361 0.000 0.431 1.038

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 110 284 170 183 0 234 269

N.S.

1 1.00 1.11 2.87 1.72 1.85 0.00 2.36 2.72

time (sec)

N/A 0.078 0.105 0.269 0.267 0.349 0.000 0.454 1.261

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 129 459 313 181 0 384 -1

N.S.

1 1.00 1.11 3.96 2.70 1.56 0.00 3.31 -0.01

time (sec)

N/A 0.059 0.137 0.224 0.268 0.360 0.000 0.431 0.000

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 162 502 352 230 0 715 -1

N.S.

1 1.00 1.04 3.22 2.26 1.47 0.00 4.58 -0.01

time (sec)

N/A 0.079 0.079 0.226 0.260 0.459 0.000 0.444 0.000

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

207 207 192 1003 594 295 0 1173 -1

N.S.

1 1.00 0.93 4.85 2.87 1.43 0.00 5.67 -0.00

time (sec)

N/A 0.133 0.515 0.233 0.260 0.360 0.000 0.453 0.000

Problem 358

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

359 359 198 0 0 0 0 0 -1

N.S.

1 1.00 0.55 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.550 0.185 0.140 0.000 0.000 0.000 0.000 0.000

Problem 359

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

251 251 138 0 0 0 0 0 -1

N.S.

1 1.00 0.55 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.418 0.121 0.141 0.000 0.000 0.000 0.000 0.000

Problem 360

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

117 117 76 0 0 0 0 0 -1

N.S.

1 1.00 0.65 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.216 0.065 0.142 0.000 0.000 0.000 0.000 0.000

Problem 361

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

65 65 44 0 0 0 0 0 -1

N.S.

1 1.00 0.68 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.038 0.027 0.135 0.000 0.000 0.000 0.000 0.000

Problem 362

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

17 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.092 0.191 0.000 0.000 0.000 0.000 0.000

Problem 363

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

17 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.024 0.316 0.168 0.000 0.000 0.000 0.000 0.000

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 52 134 0 0 0 0 -1

N.S.

1 1.00 0.87 2.23 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.063 0.013 2.256 0.000 0.000 0.000 0.000 0.000

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

3 3 3 4 0 0 0 0 -1

N.S.

1 1.00 1.00 1.33 0.00 0.00 0.00 0.00 -0.33

time (sec)

N/A 0.040 0.043 2.085 0.000 0.000 0.000 0.000 0.000

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 41 38 37 66 61 105 88

N.S.

1 1.00 0.91 0.84 0.82 1.47 1.36 2.33 1.96

time (sec)

N/A 0.034 0.018 0.292 0.262 0.350 0.200 0.410 0.569

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 41 0 39 152 76 113 99

N.S.

1 1.00 0.89 0.00 0.85 3.30 1.65 2.46 2.15

time (sec)

N/A 0.035 0.029 0.222 0.260 0.375 21.196 0.436 0.361

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 330 46 0 242 0 0 41

N.S.

1 1.00 6.73 0.94 0.00 4.94 0.00 0.00 0.84

time (sec)

N/A 0.025 0.673 2.143 0.000 0.390 0.000 0.000 1.086

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A F A A F A B

verified

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

size

27 0 28 0 1 1 0 1 1

N.S.

1 0.00 1.04 0.00 0.04 0.04 0.00 0.04 0.04

time (sec)

N/A 0.031 0.356 0.818 0.488 0.322 0.000 0.391 0.224

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 37 0 0 108 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 2.92 0.00 0.00 -0.03

time (sec)

N/A 0.049 0.030 180.000 0.000 0.359 0.000 0.000 0.000

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 24 0 0 33 0 0 23

N.S.

1 1.00 0.83 0.00 0.00 1.14 0.00 0.00 0.79

time (sec)

N/A 0.044 0.017 180.000 0.000 0.347 0.000 0.000 0.245

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