[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

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 7 7 7 6 6 3 6 6

N.S.

1 0.54 0.54 0.54 0.46 0.46 0.23 0.46 0.46

time (sec)

N/A 0.002 0.002 0.015 0.305 0.434 0.017 0.426 0.027

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 24 24 311 23 23 24 23 23

N.S.

1 1.26 1.26 16.37 1.21 1.21 1.26 1.21 1.21

time (sec)

N/A 0.306 0.735 0.059 0.296 0.326 0.070 0.400 0.351

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

26 0 24 21 22 22 19 27 28

N.S.

1 0.00 0.92 0.81 0.85 0.85 0.73 1.04 1.08

time (sec)

N/A 0.663 0.064 0.037 0.307 0.442 0.087 0.417 0.586

Problem 204

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

28 37 38 36 34 31 32 37 31

N.S.

1 1.32 1.36 1.29 1.21 1.11 1.14 1.32 1.11

time (sec)

N/A 0.070 0.022 0.063 0.278 0.320 0.981 0.421 0.465

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B B B B B B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 58 41 59 172 77 61 0 28

N.S.

1 3.05 2.16 3.11 9.05 4.05 3.21 0.00 1.47

time (sec)

N/A 0.292 0.046 0.072 0.338 0.387 0.118 0.000 0.521

Problem 206

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

13 13 12 13 15 12 15 12 13

N.S.

1 1.00 0.92 1.00 1.15 0.92 1.15 0.92 1.00

time (sec)

N/A 0.004 0.003 0.119 0.294 0.315 0.044 0.408 0.081

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C A C C B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 180 42 176 165 82 83 112 74

N.S.

1 8.18 1.91 8.00 7.50 3.73 3.77 5.09 3.36

time (sec)

N/A 0.643 0.105 0.057 0.344 0.323 0.057 0.420 0.490

Problem 208

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

22 18 19 17 16 15 10 16 16

N.S.

1 0.82 0.86 0.77 0.73 0.68 0.45 0.73 0.73

time (sec)

N/A 0.014 0.005 0.077 0.307 0.374 0.018 0.406 0.039

Problem 209

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

28 26 26 25 23 29 20 39 37

N.S.

1 0.93 0.93 0.89 0.82 1.04 0.71 1.39 1.32

time (sec)

N/A 0.267 0.279 0.101 0.362 0.371 0.084 0.407 0.304

Problem 210

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

19 23 23 24 23 23 24 23 26

N.S.

1 1.21 1.21 1.26 1.21 1.21 1.26 1.21 1.37

time (sec)

N/A 0.030 0.007 0.026 0.282 0.427 0.039 0.411 0.214

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 34 53 53 45 34 0 51 -1

N.S.

1 1.31 2.04 2.04 1.73 1.31 0.00 1.96 -0.04

time (sec)

N/A 1.515 0.059 0.708 0.335 0.523 0.000 0.487 0.000

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

21 0 24 26 24 24 20 26 34

N.S.

1 0.00 1.14 1.24 1.14 1.14 0.95 1.24 1.62

time (sec)

N/A 0.388 0.078 0.230 0.321 0.444 0.098 0.409 0.528

Problem 213

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

21 29 20 24 19 23 17 25 23

N.S.

1 1.38 0.95 1.14 0.90 1.10 0.81 1.19 1.10

time (sec)

N/A 0.293 0.087 0.038 0.300 0.336 0.064 0.396 0.383

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 36 31 29 28 28 31 0 32

N.S.

1 1.20 1.03 0.97 0.93 0.93 1.03 0.00 1.07

time (sec)

N/A 1.835 0.106 0.145 0.383 0.362 0.634 0.000 0.725

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

25 0 23 22 22 21 20 21 24

N.S.

1 0.00 0.92 0.88 0.88 0.84 0.80 0.84 0.96

time (sec)

N/A 1.126 0.081 0.058 0.376 0.325 0.106 0.429 0.405

Problem 216

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

14 11 19 12 11 11 8 13 8

N.S.

1 0.79 1.36 0.86 0.79 0.79 0.57 0.93 0.57

time (sec)

N/A 0.002 0.003 0.052 0.298 0.330 0.035 0.400 0.355

Problem 217

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 12 13 17 16 13 12 16 11

N.S.

1 0.41 0.45 0.59 0.55 0.45 0.41 0.55 0.38

time (sec)

N/A 0.007 0.009 0.028 0.286 0.337 0.026 0.406 0.081

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

26 0 19 20 19 19 15 19 18

N.S.

1 0.00 0.73 0.77 0.73 0.73 0.58 0.73 0.69

time (sec)

N/A 1.211 0.102 0.409 0.328 0.329 0.058 0.413 0.461

Problem 219

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

28 25 23 21 18 19 22 18 19

N.S.

1 0.89 0.82 0.75 0.64 0.68 0.79 0.64 0.68

time (sec)

N/A 0.009 0.005 0.031 0.274 0.311 0.034 0.411 0.046

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 51 281 52 50 0 0 50

N.S.

1 0.00 1.82 10.04 1.86 1.79 0.00 0.00 1.79

time (sec)

N/A 12.257 0.234 1.352 0.747 0.351 0.000 0.000 1.362

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B B A B F B

verified

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

size

30 0 54 57 62 54 56 0 57

N.S.

1 0.00 1.80 1.90 2.07 1.80 1.87 0.00 1.90

time (sec)

N/A 16.758 0.094 0.053 0.437 0.332 0.192 0.000 0.781

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

22 0 20 878 21 21 0 28 20

N.S.

1 0.00 0.91 39.91 0.95 0.95 0.00 1.27 0.91

time (sec)

N/A 0.798 0.086 1.758 0.539 0.377 0.000 0.461 0.740

Problem 223

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

32 37 35 36 30 47 32 33 32

N.S.

1 1.16 1.09 1.12 0.94 1.47 1.00 1.03 1.00

time (sec)

N/A 0.090 0.015 0.046 0.293 0.460 0.066 0.408 0.088

Problem 224

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

15 12 12 20 19 19 8 12 12

N.S.

1 0.80 0.80 1.33 1.27 1.27 0.53 0.80 0.80

time (sec)

N/A 0.233 0.036 0.112 0.324 0.332 0.030 0.417 0.445

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 20 20 16 22 20 17 20 18

N.S.

1 0.74 0.74 0.59 0.81 0.74 0.63 0.74 0.67

time (sec)

N/A 0.027 0.078 0.056 0.324 0.314 0.044 0.425 0.079

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

27 0 34 32 42 33 29 34 37

N.S.

1 0.00 1.26 1.19 1.56 1.22 1.07 1.26 1.37

time (sec)

N/A 1.286 0.135 0.202 0.562 0.305 0.233 0.416 0.702

Problem 227

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

18 6 6 5 4 4 3 5 4

N.S.

1 0.33 0.33 0.28 0.22 0.22 0.17 0.28 0.22

time (sec)

N/A 0.001 0.000 0.010 0.263 0.310 0.008 0.404 0.294

Problem 228

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

24 22 16 15 14 18 14 14 14

N.S.

1 0.92 0.67 0.62 0.58 0.75 0.58 0.58 0.58

time (sec)

N/A 0.034 0.009 0.074 0.300 0.303 0.049 0.413 0.324

Problem 229

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

12 10 21 22 9 14 7 16 11

N.S.

1 0.83 1.75 1.83 0.75 1.17 0.58 1.33 0.92

time (sec)

N/A 0.008 0.010 0.020 0.266 0.312 0.022 0.416 0.297

Problem 230

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

25 35 33 30 27 27 26 30 24

N.S.

1 1.40 1.32 1.20 1.08 1.08 1.04 1.20 0.96

time (sec)

N/A 0.045 0.010 0.056 0.268 0.305 0.155 0.413 0.119

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 193 33 110 395 40 32 36 43

N.S.

1 6.89 1.18 3.93 14.11 1.43 1.14 1.29 1.54

time (sec)

N/A 0.731 0.024 0.066 0.317 0.308 0.089 0.422 0.407

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A F(-1) F F

verified

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

size

25 0 24 627 33 24 0 0 -1

N.S.

1 0.00 0.96 25.08 1.32 0.96 0.00 0.00 -0.04

time (sec)

N/A 1.445 0.237 0.430 0.383 0.321 0.000 0.000 0.000

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 22 18 24 27 19 17 21 16

N.S.

1 0.88 0.72 0.96 1.08 0.76 0.68 0.84 0.64

time (sec)

N/A 0.056 0.023 0.030 0.297 0.317 0.060 0.404 0.078

Problem 234

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

18 11 11 9 8 8 7 8 8

N.S.

1 0.61 0.61 0.50 0.44 0.44 0.39 0.44 0.44

time (sec)

N/A 0.003 0.002 0.013 0.268 0.308 0.020 0.404 0.268

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A F A A A A B

verified

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

size

25 0 24 0 21 21 20 21 21

N.S.

1 0.00 0.96 0.00 0.84 0.84 0.80 0.84 0.84

time (sec)

N/A 0.409 0.113 180.000 0.340 0.311 0.511 0.455 0.388

Problem 236

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

22 25 25 24 25 22 22 24 21

N.S.

1 1.14 1.14 1.09 1.14 1.00 1.00 1.09 0.95

time (sec)

N/A 1.099 0.090 0.054 0.345 0.317 0.086 0.404 0.645

Problem 237

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

7 5 5 5 4 4 3 4 4

N.S.

1 0.71 0.71 0.71 0.57 0.57 0.43 0.57 0.57

time (sec)

N/A 0.005 0.010 0.036 0.274 0.307 0.021 0.403 0.017

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B B A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 76 81 28 60 60 71 60 67

N.S.

1 3.45 3.68 1.27 2.73 2.73 3.23 2.73 3.05

time (sec)

N/A 0.016 0.011 0.198 0.272 0.302 0.016 0.415 0.330

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F F A A A A A B

verified

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

size

20 0 0 21 28 28 26 20 78

N.S.

1 0.00 0.00 1.05 1.40 1.40 1.30 1.00 3.90

time (sec)

N/A 0.406 0.112 0.640 0.539 0.311 0.335 0.404 0.553

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A F A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 223 27 28 0 39 37 0 49

N.S.

1 7.43 0.90 0.93 0.00 1.30 1.23 0.00 1.63

time (sec)

N/A 6.659 0.194 0.179 0.000 0.315 2.677 0.000 0.641

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B B B F B

verified

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

size

30 0 29 49 76 51 63 0 39

N.S.

1 0.00 0.97 1.63 2.53 1.70 2.10 0.00 1.30

time (sec)

N/A 0.633 0.098 0.052 0.552 0.308 0.100 0.000 0.511

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B B A A B B

verified

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

size

24 0 24 63 125 27 22 129 29

N.S.

1 0.00 1.00 2.62 5.21 1.12 0.92 5.38 1.21

time (sec)

N/A 13.360 0.125 1.216 0.545 0.312 0.278 0.456 1.705

Problem 243

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

22 21 21 17 16 16 17 16 18

N.S.

1 0.95 0.95 0.77 0.73 0.73 0.77 0.73 0.82

time (sec)

N/A 0.004 0.003 0.058 0.271 0.298 0.010 0.399 0.088

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 17 17 33 23 26 14 17 17

N.S.

1 0.85 0.85 1.65 1.15 1.30 0.70 0.85 0.85

time (sec)

N/A 0.127 0.041 0.063 0.311 0.307 0.035 0.422 0.328

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C B A B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 505 73 35 1585 32 37 1159 20

N.S.

1 21.96 3.17 1.52 68.91 1.39 1.61 50.39 0.87

time (sec)

N/A 1.274 0.250 1.269 0.662 0.319 0.565 0.452 1.672

Problem 246

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

35 31 30 26 24 24 27 25 30

N.S.

1 0.89 0.86 0.74 0.69 0.69 0.77 0.71 0.86

time (sec)

N/A 0.108 0.049 0.109 0.266 0.337 0.058 0.414 0.373

Problem 247

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

26 31 22 32 25 31 29 25 29

N.S.

1 1.19 0.85 1.23 0.96 1.19 1.12 0.96 1.12

time (sec)

N/A 0.218 0.059 0.276 0.406 0.322 0.060 0.392 0.383

Problem 248

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

24 20 33 18 17 26 17 26 17

N.S.

1 0.83 1.38 0.75 0.71 1.08 0.71 1.08 0.71

time (sec)

N/A 0.255 1.135 0.931 0.305 0.311 0.063 0.403 0.334

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 17 17 37 23 19 15 15 15

N.S.

1 0.74 0.74 1.61 1.00 0.83 0.65 0.65 0.65

time (sec)

N/A 0.085 0.042 0.057 0.318 0.307 0.028 0.409 0.324

Problem 250

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

25 28 25 22 34 17 20 21 21

N.S.

1 1.12 1.00 0.88 1.36 0.68 0.80 0.84 0.84

time (sec)

N/A 0.068 0.074 0.100 0.311 0.304 0.117 0.404 0.460

Problem 251

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

28 33 27 24 23 27 27 24 23

N.S.

1 1.18 0.96 0.86 0.82 0.96 0.96 0.86 0.82

time (sec)

N/A 0.007 0.003 0.047 0.276 0.302 0.022 0.404 0.032

Problem 252

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

17 17 17 19 18 18 14 18 18

N.S.

1 1.00 1.00 1.12 1.06 1.06 0.82 1.06 1.06

time (sec)

N/A 0.125 0.020 0.041 0.543 0.300 0.086 0.465 0.387

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 69 60 726 253 316 552 -1

N.S.

1 0.00 2.23 1.94 23.42 8.16 10.19 17.81 -0.03

time (sec)

N/A 180.151 0.415 0.203 2.215 0.336 0.741 0.952 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B F A A A B A B

verified

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

size

29 63 0 51 52 48 60 50 59

N.S.

1 2.17 0.00 1.76 1.79 1.66 2.07 1.72 2.03

time (sec)

N/A 0.374 1.878 1.616 0.675 0.308 2.208 0.519 0.659

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 32 32 438 40 67 0 85 68

N.S.

1 1.45 1.45 19.91 1.82 3.05 0.00 3.86 3.09

time (sec)

N/A 5.103 0.102 1.467 0.535 0.320 0.000 29.081 1.300

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 0 108 62 69 0 96 -1

N.S.

1 0.00 0.00 3.60 2.07 2.30 0.00 3.20 -0.03

time (sec)

N/A 3.485 0.376 0.786 0.549 0.312 0.000 0.403 0.000

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 92 43 215 170 59 71 91 61

N.S.

1 4.18 1.95 9.77 7.73 2.68 3.23 4.14 2.77

time (sec)

N/A 0.278 0.725 0.088 0.295 0.308 0.106 0.397 0.445

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 22 19 20 55 19 19 19 15

N.S.

1 1.16 1.00 1.05 2.89 1.00 1.00 1.00 0.79

time (sec)

N/A 0.326 0.110 0.254 0.497 0.303 0.265 0.421 0.850

Problem 259

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

22 31 31 36 40 30 32 52 22

N.S.

1 1.41 1.41 1.64 1.82 1.36 1.45 2.36 1.00

time (sec)

N/A 0.012 0.004 0.172 0.265 0.313 0.068 0.407 0.348

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 43 64 100 100 48 0 -1

N.S.

1 0.00 1.65 2.46 3.85 3.85 1.85 0.00 -0.04

time (sec)

N/A 27.276 10.095 0.175 0.535 0.315 0.363 0.000 0.000

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A F A A A B F

verified

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

size

28 0 27 0 26 28 17 67 -1

N.S.

1 0.00 0.96 0.00 0.93 1.00 0.61 2.39 -0.04

time (sec)

N/A 8.189 0.841 0.032 0.458 0.311 0.182 0.419 0.000

Problem 262

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

20 15 17 15 14 21 12 14 14

N.S.

1 0.75 0.85 0.75 0.70 1.05 0.60 0.70 0.70

time (sec)

N/A 0.012 0.008 0.263 0.268 0.298 0.050 0.429 0.324

Problem 263

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

23 25 25 24 23 23 20 23 23

N.S.

1 1.09 1.09 1.04 1.00 1.00 0.87 1.00 1.00

time (sec)

N/A 0.368 0.051 0.444 0.293 0.317 0.138 0.442 0.438

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F F A B A A A B

verified

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

size

18 0 0 20 76 19 19 19 19

N.S.

1 0.00 0.00 1.11 4.22 1.06 1.06 1.06 1.06

time (sec)

N/A 8.306 0.237 0.223 0.380 0.306 0.159 0.884 0.415

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 24 22 57 28 22 20 22 19

N.S.

1 0.89 0.81 2.11 1.04 0.81 0.74 0.81 0.70

time (sec)

N/A 0.039 0.042 0.182 0.333 0.307 0.044 0.392 0.332

Problem 266

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

17 19 20 20 19 15 17 19 19

N.S.

1 1.12 1.18 1.18 1.12 0.88 1.00 1.12 1.12

time (sec)

N/A 0.011 0.003 0.064 0.268 0.309 0.063 0.417 0.319

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 38 23 251 63 19 44 19 20

N.S.

1 1.41 0.85 9.30 2.33 0.70 1.63 0.70 0.74

time (sec)

N/A 0.265 0.097 0.451 0.537 0.308 0.172 0.418 0.256

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

21 0 22 24 35 28 19 29 28

N.S.

1 0.00 1.05 1.14 1.67 1.33 0.90 1.38 1.33

time (sec)

N/A 0.325 0.108 0.062 0.313 0.303 0.076 0.422 0.402

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 21 21 98 0 29 17 35 19

N.S.

1 0.72 0.72 3.38 0.00 1.00 0.59 1.21 0.66

time (sec)

N/A 0.114 0.160 0.309 0.000 0.305 0.079 0.400 0.115

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A C B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 246 34 223 443 34 26 41 29

N.S.

1 8.79 1.21 7.96 15.82 1.21 0.93 1.46 1.04

time (sec)

N/A 0.553 0.073 0.288 0.572 0.312 0.505 0.420 0.665

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A F A A A F B

verified

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

size

31 0 28 0 30 30 26 0 30

N.S.

1 0.00 0.90 0.00 0.97 0.97 0.84 0.00 0.97

time (sec)

N/A 1.098 0.128 0.609 0.394 0.312 0.207 0.000 3.384

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B A A A B

verified

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

size

21 0 27 21 42 36 17 36 37

N.S.

1 0.00 1.29 1.00 2.00 1.71 0.81 1.71 1.76

time (sec)

N/A 1.905 0.057 24.949 0.549 0.314 0.124 0.454 0.482

Problem 273

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

14 10 10 10 9 9 8 9 11

N.S.

1 0.71 0.71 0.71 0.64 0.64 0.57 0.64 0.79

time (sec)

N/A 0.020 0.015 0.036 0.310 0.305 0.026 0.416 0.045

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B C A A A A B

verified

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

size

32 0 69 178 45 32 27 51 34

N.S.

1 0.00 2.16 5.56 1.41 1.00 0.84 1.59 1.06

time (sec)

N/A 4.517 0.083 0.209 0.576 0.305 0.129 0.496 1.003

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 55 42 45 41 0 79 93

N.S.

1 0.00 1.96 1.50 1.61 1.46 0.00 2.82 3.32

time (sec)

N/A 2.035 2.479 0.388 0.347 0.305 0.000 0.419 0.633

Problem 276

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

12 17 12 14 15 11 8 11 13

N.S.

1 1.42 1.00 1.17 1.25 0.92 0.67 0.92 1.08

time (sec)

N/A 0.008 0.023 0.024 0.291 0.300 0.024 0.404 0.303

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B A A A B B

verified

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

size

25 0 20 323 19 19 17 231 17

N.S.

1 0.00 0.80 12.92 0.76 0.76 0.68 9.24 0.68

time (sec)

N/A 0.063 0.039 8.653 0.309 0.307 0.089 0.667 0.400

Problem 278

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

13 13 13 14 10 10 12 10 10

N.S.

1 1.00 1.00 1.08 0.77 0.77 0.92 0.77 0.77

time (sec)

N/A 0.088 0.019 0.081 0.298 0.317 0.074 0.418 0.308

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A C B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 103 27 2282 589 32 49 33 54

N.S.

1 4.29 1.12 95.08 24.54 1.33 2.04 1.38 2.25

time (sec)

N/A 0.424 0.104 0.387 0.555 0.306 0.212 0.419 0.802

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

22 0 67 1099 80 62 0 92 -1

N.S.

1 0.00 3.05 49.95 3.64 2.82 0.00 4.18 -0.05

time (sec)

N/A 25.936 0.123 17.002 0.335 0.324 0.000 0.983 0.000

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 61 29 29 28 28 58 28 29

N.S.

1 2.77 1.32 1.32 1.27 1.27 2.64 1.27 1.32

time (sec)

N/A 0.018 0.024 0.081 0.273 0.306 0.071 0.421 0.076

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 16 16 14 31 47 31 31 31

N.S.

1 0.89 0.89 0.78 1.72 2.61 1.72 1.72 1.72

time (sec)

N/A 3.319 0.093 0.684 0.346 0.301 0.070 0.428 0.375

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

23 0 23 67 23 31 0 31 54

N.S.

1 0.00 1.00 2.91 1.00 1.35 0.00 1.35 2.35

time (sec)

N/A 33.274 0.172 0.375 0.668 0.321 0.000 1.575 2.204

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 26 24 0 26 0 26 26

N.S.

1 0.00 0.90 0.83 0.00 0.90 0.00 0.90 0.90

time (sec)

N/A 2.913 0.174 0.117 0.000 0.304 0.000 0.475 0.957

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A A A B

verified

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

size

25 0 26 116 32 47 39 39 39

N.S.

1 0.00 1.04 4.64 1.28 1.88 1.56 1.56 1.56

time (sec)

N/A 0.595 0.110 0.879 0.335 0.306 0.261 0.428 0.478

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 49 45 103 55 60 0 0 59

N.S.

1 1.40 1.29 2.94 1.57 1.71 0.00 0.00 1.69

time (sec)

N/A 4.177 0.242 0.198 0.772 0.352 0.000 0.000 0.598

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A F B

verified

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

size

28 0 28 35 38 38 34 0 41

N.S.

1 0.00 1.00 1.25 1.36 1.36 1.21 0.00 1.46

time (sec)

N/A 15.784 0.148 0.616 0.351 0.324 0.188 0.000 0.853

Problem 288

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

23 21 21 22 21 21 20 23 19

N.S.

1 0.91 0.91 0.96 0.91 0.91 0.87 1.00 0.83

time (sec)

N/A 0.036 0.006 0.028 0.277 0.321 0.037 0.426 0.341

Problem 289

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

24 29 29 26 25 26 26 26 24

N.S.

1 1.21 1.21 1.08 1.04 1.08 1.08 1.08 1.00

time (sec)

N/A 0.028 0.006 0.032 0.266 0.323 0.068 0.413 0.329

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A F B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 54 39 46 0 40 49 45 45

N.S.

1 2.45 1.77 2.09 0.00 1.82 2.23 2.05 2.05

time (sec)

N/A 0.092 0.068 0.119 0.000 0.317 0.183 0.421 0.462

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

24 0 35 42 94 90 0 0 -1

N.S.

1 0.00 1.46 1.75 3.92 3.75 0.00 0.00 -0.04

time (sec)

N/A 16.289 0.120 0.369 4.430 0.330 0.000 0.000 0.000

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 16 17 0 13 19 30 15

N.S.

1 1.00 0.94 1.00 0.00 0.76 1.12 1.76 0.88

time (sec)

N/A 0.015 0.014 0.175 0.000 0.310 0.080 0.401 0.075

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A A A B

verified

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

size

21 0 32 107 14 14 14 14 15

N.S.

1 0.00 1.52 5.10 0.67 0.67 0.67 0.67 0.71

time (sec)

N/A 0.451 0.053 0.110 0.317 0.314 0.085 0.414 0.683

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B F A A A A A F

verified

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

size

31 75 0 28 26 28 22 31 -1

N.S.

1 2.42 0.00 0.90 0.84 0.90 0.71 1.00 -0.03

time (sec)

N/A 1.663 0.208 0.554 0.518 0.328 0.175 0.446 0.000

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B A B B B

verified

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

size

23 0 25 22 62 41 39 108 58

N.S.

1 0.00 1.09 0.96 2.70 1.78 1.70 4.70 2.52

time (sec)

N/A 0.840 0.094 0.363 0.535 0.330 0.089 0.431 0.801

Problem 296

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

17 6 4 5 4 4 3 5 4

N.S.

1 0.35 0.24 0.29 0.24 0.24 0.18 0.29 0.24

time (sec)

N/A 0.001 0.001 0.108 0.298 0.314 0.008 0.414 0.019

Problem 297

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

26 33 31 23 22 22 20 22 21

N.S.

1 1.27 1.19 0.88 0.85 0.85 0.77 0.85 0.81

time (sec)

N/A 0.581 0.061 0.069 0.311 0.324 0.111 0.422 0.543

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B A B B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 87 25 41 35 41 48 0 27

N.S.

1 4.83 1.39 2.28 1.94 2.28 2.67 0.00 1.50

time (sec)

N/A 1.399 0.430 0.760 0.552 0.346 0.136 0.000 0.665

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B A A B A F

verified

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

size

32 0 43 88 44 43 49 47 -1

N.S.

1 0.00 1.34 2.75 1.38 1.34 1.53 1.47 -0.03

time (sec)

N/A 6.564 0.496 0.084 0.378 0.335 0.324 0.983 0.000

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 0 30 27 50 27 564 93

N.S.

1 0.00 0.00 1.11 1.00 1.85 1.00 20.89 3.44

time (sec)

N/A 16.528 181.030 0.383 0.543 0.322 0.243 1.068 0.710

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