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

2.2.6 Integrals 501 to 600

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 501

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

43 43 34 44 41 39 53 46 41

N.S.

1 1.00 0.79 1.02 0.95 0.91 1.23 1.07 0.95

time (sec)

N/A 0.019 0.059 0.034 1.562 0.543 0.105 0.914 0.411

Problem 502

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

N.S.

1 1.00 1.00 1.04 1.00 0.96 1.07 1.00 0.96

time (sec)

N/A 0.008 0.011 0.025 2.087 0.486 0.051 1.043 0.362

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 55 55 51 62 250 691 68

N.S.

1 1.00 1.04 1.04 0.96 1.17 4.72 13.04 1.28

time (sec)

N/A 0.056 0.049 0.039 1.163 0.534 0.467 0.838 0.384

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 65 84 77 130 665 1033 81

N.S.

1 1.00 0.82 1.06 0.97 1.65 8.42 13.08 1.03

time (sec)

N/A 0.071 0.084 0.059 1.446 0.471 2.515 0.857 0.390

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 80 109 99 205 1350 1359 106

N.S.

1 1.00 0.82 1.11 1.01 2.09 13.78 13.87 1.08

time (sec)

N/A 0.091 0.085 0.043 1.085 0.605 20.572 0.747 0.419

Problem 506

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

72 80 73 0 0 0 0 0 -1

N.S.

1 1.11 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.054 0.031 0.031 0.000 0.000 0.000 0.000 0.000

Problem 507

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 28 28 29 28 28 29 28 27

N.S.

1 1.00 1.00 1.04 1.00 1.00 1.04 1.00 0.96

time (sec)

N/A 0.006 0.013 0.019 1.547 0.764 0.050 0.966 0.310

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 55 55 51 64 248 691 69

N.S.

1 1.00 1.04 1.04 0.96 1.21 4.68 13.04 1.30

time (sec)

N/A 0.049 0.051 0.030 1.086 0.709 0.471 1.069 0.365

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 66 84 77 131 663 1033 81

N.S.

1 1.00 0.84 1.06 0.97 1.66 8.39 13.08 1.03

time (sec)

N/A 0.058 0.083 0.045 1.257 0.570 2.498 1.005 0.364

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 80 109 99 207 1348 1359 106

N.S.

1 1.00 0.82 1.11 1.01 2.11 13.76 13.87 1.08

time (sec)

N/A 0.070 0.082 0.033 1.755 0.513 20.598 0.864 0.350

Problem 511

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

74 82 75 0 0 0 0 0 -1

N.S.

1 1.11 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.042 0.031 0.035 0.000 0.000 0.000 0.000 0.000

Problem 512

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

N.S.

1 1.00 1.00 1.07 1.00 1.27 1.00 1.00 1.00

time (sec)

N/A 0.004 0.007 0.018 1.773 0.470 0.025 1.150 0.319

Problem 513

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

33 33 35 32 31 29 44 30 26

N.S.

1 1.00 1.06 0.97 0.94 0.88 1.33 0.91 0.79

time (sec)

N/A 0.009 0.017 0.019 1.651 0.428 0.038 1.373 0.318

Problem 514

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

50 50 45 41 46 39 70 40 34

N.S.

1 1.00 0.90 0.82 0.92 0.78 1.40 0.80 0.68

time (sec)

N/A 0.012 0.021 0.022 2.845 0.464 0.050 1.116 0.326

Problem 515

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

65 65 53 50 61 47 87 48 42

N.S.

1 1.00 0.82 0.77 0.94 0.72 1.34 0.74 0.65

time (sec)

N/A 0.014 0.023 0.025 2.069 0.629 0.062 0.987 0.330

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 40 0 0 0 0 0 55

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 1.38

time (sec)

N/A 0.015 0.040 0.012 0.000 0.000 0.000 0.000 0.315

Problem 517

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

16 16 16 17 16 21 19 16 16

N.S.

1 1.00 1.00 1.06 1.00 1.31 1.19 1.00 1.00

time (sec)

N/A 0.003 0.010 0.017 1.795 0.948 0.026 0.704 0.297

Problem 518

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

33 33 35 32 31 29 44 30 27

N.S.

1 1.00 1.06 0.97 0.94 0.88 1.33 0.91 0.82

time (sec)

N/A 0.009 0.017 0.019 2.173 0.782 0.040 1.361 0.303

Problem 519

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

50 50 45 41 46 39 70 40 35

N.S.

1 1.00 0.90 0.82 0.92 0.78 1.40 0.80 0.70

time (sec)

N/A 0.011 0.021 0.023 2.666 0.489 0.052 0.875 0.316

Problem 520

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

65 65 53 50 61 47 87 48 43

N.S.

1 1.00 0.82 0.77 0.94 0.72 1.34 0.74 0.66

time (sec)

N/A 0.013 0.022 0.041 5.659 0.444 0.063 1.594 0.311

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 44 0 0 0 0 0 57

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 1.30

time (sec)

N/A 0.015 0.041 0.015 0.000 0.000 0.000 0.000 0.316

Problem 522

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 24 38 29 23 22 15 26 22

N.S.

1 1.00 1.58 1.21 0.96 0.92 0.62 1.08 0.92

time (sec)

N/A 0.011 0.021 0.016 3.523 0.474 0.041 1.387 0.331

Problem 523

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

100 123 97 95 100 311 22 116 104

N.S.

1 1.23 0.97 0.95 1.00 3.11 0.22 1.16 1.04

time (sec)

N/A 0.064 0.089 0.033 2.755 0.535 0.069 1.139 1.512

Problem 524

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

N.S.

1 1.00 1.25 1.17 0.92 0.92 0.67 0.92 0.92

time (sec)

N/A 0.015 0.013 0.014 3.838 0.437 0.020 1.216 0.049

Problem 525

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

47 47 45 38 37 39 22 37 39

N.S.

1 1.00 0.96 0.81 0.79 0.83 0.47 0.79 0.83

time (sec)

N/A 0.038 0.042 0.025 5.935 0.449 0.052 1.269 0.325

Problem 526

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

39 39 37 29 28 28 48 29 28

N.S.

1 1.00 0.95 0.74 0.72 0.72 1.23 0.74 0.72

time (sec)

N/A 0.041 0.048 0.046 2.879 0.506 0.084 1.295 0.088

Problem 527

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

30 30 30 33 32 37 94 32 29

N.S.

1 1.00 1.00 1.10 1.07 1.23 3.13 1.07 0.97

time (sec)

N/A 0.026 0.061 0.026 0.299 0.536 0.434 0.924 0.355

Problem 528

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

54 54 54 57 56 56 0 57 33

N.S.

1 1.00 1.00 1.06 1.04 1.04 0.00 1.06 0.61

time (sec)

N/A 0.014 0.031 0.049 2.591 0.658 0.000 1.131 0.347

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 59 0 0 0 0 0 75

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 1.27

time (sec)

N/A 0.023 0.037 0.012 0.000 0.000 0.000 0.000 0.404

Problem 530

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

18 18 18 15 7 18 31 18 14

N.S.

1 1.00 1.00 0.83 0.39 1.00 1.72 1.00 0.78

time (sec)

N/A 0.017 0.029 0.024 2.439 0.486 0.338 1.311 0.406

Problem 531

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

20 20 20 17 20 20 31 20 16

N.S.

1 1.00 1.00 0.85 1.00 1.00 1.55 1.00 0.80

time (sec)

N/A 0.019 0.032 0.023 2.109 0.507 0.345 1.848 0.409

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 42 0 39 46 0 0 -1

N.S.

1 1.00 1.05 0.00 0.98 1.15 0.00 0.00 -0.02

time (sec)

N/A 0.068 0.122 0.011 2.793 0.436 0.000 0.000 0.000

Problem 533

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

37 57 54 0 0 0 0 0 -1

N.S.

1 1.54 1.46 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.034 0.033 0.006 0.000 0.000 0.000 0.000 0.000

Problem 534

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

73 73 44 37 49 30 0 65 30

N.S.

1 1.00 0.60 0.51 0.67 0.41 0.00 0.89 0.41

time (sec)

N/A 0.030 0.039 0.020 3.490 0.492 0.000 1.081 0.106

Problem 535

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

44 44 23 41 19 19 20 19 21

N.S.

1 1.00 0.52 0.93 0.43 0.43 0.45 0.43 0.48

time (sec)

N/A 0.022 0.015 0.019 1.161 0.455 0.024 0.807 0.028

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 26 31 7 23 32 27 22

N.S.

1 1.00 0.67 0.79 0.18 0.59 0.82 0.69 0.56

time (sec)

N/A 0.021 0.023 0.044 1.635 0.816 0.640 0.770 0.272

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 29 28 27 27 37 826 27

N.S.

1 1.00 0.66 0.64 0.61 0.61 0.84 18.77 0.61

time (sec)

N/A 0.014 0.016 0.021 1.362 0.865 0.037 0.723 0.059

Problem 538

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 12 12 10 18 9 8 18 9

N.S.

1 1.00 1.00 0.83 1.50 0.75 0.67 1.50 0.75

time (sec)

N/A 0.031 0.022 0.021 2.331 0.986 0.023 0.733 0.049

Problem 539

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 32 31 26 25 33 22 40 26

N.S.

1 1.00 0.97 0.81 0.78 1.03 0.69 1.25 0.81

time (sec)

N/A 0.037 0.041 0.027 2.676 0.639 0.038 1.012 0.327

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 15 20 21 12 0 0 12

N.S.

1 1.00 1.00 1.33 1.40 0.80 0.00 0.00 0.80

time (sec)

N/A 0.036 0.179 0.092 1.634 0.499 0.000 0.000 0.448

Problem 541

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 22 22 19 21 26 19 19

N.S.

1 1.00 0.81 0.81 0.70 0.78 0.96 0.70 0.70

time (sec)

N/A 0.007 0.024 0.036 1.923 0.594 0.169 1.504 0.028

Problem 542

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 35 26 22 39 21 29 39 19

N.S.

1 1.00 0.74 0.63 1.11 0.60 0.83 1.11 0.54

time (sec)

N/A 0.078 0.035 0.061 1.480 0.492 0.237 1.207 0.104

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

57 57 37 37 31 0 70 39 33

N.S.

1 1.00 0.65 0.65 0.54 0.00 1.23 0.68 0.58

time (sec)

N/A 0.019 0.055 0.053 2.015 0.000 0.513 1.998 0.037

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 39 45 45 37 269 43 37

N.S.

1 1.00 0.72 0.83 0.83 0.69 4.98 0.80 0.69

time (sec)

N/A 0.017 0.028 0.067 1.655 0.439 0.405 0.996 0.052

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 64 68 73 65 638 63 47

N.S.

1 1.00 0.78 0.83 0.89 0.79 7.78 0.77 0.57

time (sec)

N/A 0.027 0.129 0.095 2.640 0.683 1.289 0.970 0.058

Problem 546

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

79 79 36 38 27 42 76 33 39

N.S.

1 1.00 0.46 0.48 0.34 0.53 0.96 0.42 0.49

time (sec)

N/A 0.030 0.032 0.093 1.949 0.896 0.501 0.644 0.296

Problem 547

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

36 36 21 28 27 40 70 24 18

N.S.

1 1.00 0.58 0.78 0.75 1.11 1.94 0.67 0.50

time (sec)

N/A 0.028 0.027 0.044 2.393 0.886 0.687 0.684 0.412

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 21 63 27 50 99 24 18

N.S.

1 1.00 0.58 1.75 0.75 1.39 2.75 0.67 0.50

time (sec)

N/A 0.029 0.030 0.061 2.008 0.866 0.683 0.715 0.394

Problem 549

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

58 85 97 0 0 0 0 0 -1

N.S.

1 1.47 1.67 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.052 0.184 0.006 0.000 0.000 0.000 0.000 0.000

Problem 550

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

45 45 90 0 0 0 0 0 -1

N.S.

1 1.00 2.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.012 0.151 0.026 0.000 0.000 0.000 0.000 0.000

Problem 551

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

51 77 66 0 0 0 0 0 -1

N.S.

1 1.51 1.29 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.026 0.037 0.062 0.000 0.000 0.000 0.000 0.000

Problem 552

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

28 28 28 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.023 0.009 0.014 0.000 0.000 0.000 0.000 0.000

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 84 0 0 0 0 0 -1

N.S.

1 1.00 3.23 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.023 0.064 0.022 0.000 0.000 0.000 0.000 0.000

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 61 0 0 0 0 0 -1

N.S.

1 1.00 2.03 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.023 0.293 0.018 0.000 0.000 0.000 0.000 0.000

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 61 0 0 0 0 0 -1

N.S.

1 1.00 2.03 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.023 0.363 0.036 0.000 0.000 0.000 0.000 0.000

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 11 21 22 12 0 10 8

N.S.

1 1.00 0.73 1.40 1.47 0.80 0.00 0.67 0.53

time (sec)

N/A 0.020 0.161 0.066 4.402 1.311 0.000 0.641 0.387

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 45 100 0 0 0 0 0 -1

N.S.

1 1.10 2.44 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.077 0.154 0.049 0.000 0.000 0.000 0.000 0.000

Problem 558

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

12 12 10 8 22 11 0 7 7

N.S.

1 1.00 0.83 0.67 1.83 0.92 0.00 0.58 0.58

time (sec)

N/A 0.019 0.114 0.051 3.088 0.619 0.000 0.881 0.366

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 44 87 0 0 0 0 0 -1

N.S.

1 1.05 2.07 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.073 0.165 0.053 0.000 0.000 0.000 0.000 0.000

Problem 560

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

46 48 72 0 0 0 0 0 -1

N.S.

1 1.04 1.57 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.086 0.440 0.062 0.000 0.000 0.000 0.000 0.000

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 23 21 22 24 0 20 24

N.S.

1 1.00 1.64 1.50 1.57 1.71 0.00 1.43 1.71

time (sec)

N/A 0.015 0.058 0.098 3.765 1.090 0.000 0.823 0.374

Problem 562

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

43 47 73 0 0 0 0 0 -1

N.S.

1 1.09 1.70 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.082 0.147 0.051 0.000 0.000 0.000 0.000 0.000

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 13 23 21 22 24 0 21 20

N.S.

1 1.00 1.77 1.62 1.69 1.85 0.00 1.62 1.54

time (sec)

N/A 0.015 0.046 0.083 4.529 0.812 0.000 1.081 0.424

Problem 564

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

30 30 18 20 17 17 27 15 17

N.S.

1 1.00 0.60 0.67 0.57 0.57 0.90 0.50 0.57

time (sec)

N/A 0.026 0.020 0.020 3.268 0.853 0.165 1.260 0.066

Problem 565

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

50 50 25 27 26 26 48 25 21

N.S.

1 1.00 0.50 0.54 0.52 0.52 0.96 0.50 0.42

time (sec)

N/A 0.074 0.029 0.044 1.661 0.919 0.334 1.510 0.327

Problem 566

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

75 75 38 36 33 37 80 33 39

N.S.

1 1.00 0.51 0.48 0.44 0.49 1.07 0.44 0.52

time (sec)

N/A 0.097 0.027 0.048 2.010 0.754 0.425 1.550 0.107

Problem 567

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

187 253 72 78 77 72 202 73 83

N.S.

1 1.35 0.39 0.42 0.41 0.39 1.08 0.39 0.44

time (sec)

N/A 0.335 0.110 0.114 2.129 0.706 1.326 1.617 0.313

Problem 568

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

87 87 40 40 41 41 85 39 51

N.S.

1 1.00 0.46 0.46 0.47 0.47 0.98 0.45 0.59

time (sec)

N/A 0.112 0.058 0.046 2.608 0.686 0.333 1.612 0.353

Problem 569

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

185 185 76 78 77 72 202 73 83

N.S.

1 1.00 0.41 0.42 0.42 0.39 1.09 0.39 0.45

time (sec)

N/A 0.237 0.164 0.079 1.767 0.695 1.332 1.427 0.527

Problem 570

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

2 2 2 3 2 2 2 11 2

N.S.

1 1.00 1.00 1.50 1.00 1.00 1.00 5.50 1.00

time (sec)

N/A 0.002 0.003 0.011 3.736 0.596 0.055 1.308 0.016

Problem 571

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

2 2 2 3 2 2 2 11 2

N.S.

1 1.00 1.00 1.50 1.00 1.00 1.00 5.50 1.00

time (sec)

N/A 0.002 0.002 0.013 4.618 0.502 0.054 1.846 0.018

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

3 3 3 4 3 18 7 11 3

N.S.

1 1.00 1.00 1.33 1.00 6.00 2.33 3.67 1.00

time (sec)

N/A 0.002 0.004 0.009 1.561 0.586 0.038 1.541 0.020

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

3 3 3 4 3 18 12 12 3

N.S.

1 1.00 1.00 1.33 1.00 6.00 4.00 4.00 1.00

time (sec)

N/A 0.003 0.004 0.009 3.057 0.480 0.130 1.268 0.027

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

3 3 9 4 3 8 0 5 5

N.S.

1 1.00 3.00 1.33 1.00 2.67 0.00 1.67 1.67

time (sec)

N/A 0.002 0.004 0.013 1.530 0.413 0.000 1.259 0.022

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

5 5 7 6 5 17 0 14 5

N.S.

1 1.00 1.40 1.20 1.00 3.40 0.00 2.80 1.00

time (sec)

N/A 0.003 0.005 0.010 1.826 0.436 0.000 1.128 0.011

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 14 11 16 10 24 24 10

N.S.

1 1.00 1.00 0.79 1.14 0.71 1.71 1.71 0.71

time (sec)

N/A 0.005 0.002 0.018 1.487 0.414 0.051 0.949 0.026

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 23 18 35 42 29 37 15

N.S.

1 1.00 1.21 0.95 1.84 2.21 1.53 1.95 0.79

time (sec)

N/A 0.008 0.003 0.084 1.542 0.386 0.203 0.886 0.026

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 18 26 38 68 10 26 12

N.S.

1 1.00 1.29 1.86 2.71 4.86 0.71 1.86 0.86

time (sec)

N/A 0.008 0.003 0.016 2.479 0.648 0.068 0.707 0.066

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 36 11 45 211 0 45 16

N.S.

1 1.00 2.25 0.69 2.81 13.19 0.00 2.81 1.00

time (sec)

N/A 0.008 0.004 0.084 5.692 0.655 0.000 0.832 0.290

Problem 580

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

26 26 30 21 61 461 422 60 22

N.S.

1 1.00 1.15 0.81 2.35 17.73 16.23 2.31 0.85

time (sec)

N/A 0.012 0.004 0.098 4.600 1.260 1.249 0.753 0.078

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 18 17 35 257 0 43 35

N.S.

1 1.00 1.00 0.94 1.94 14.28 0.00 2.39 1.94

time (sec)

N/A 0.015 0.006 0.026 4.060 1.205 0.000 0.772 0.357

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 27 0 0 359 41 0 120

N.S.

1 1.00 0.87 0.00 0.00 11.58 1.32 0.00 3.87

time (sec)

N/A 0.021 0.038 0.071 0.000 0.827 43.970 0.000 0.165

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 42 41 36 0 175 126 32 43

N.S.

1 1.02 1.00 0.88 0.00 4.27 3.07 0.78 1.05

time (sec)

N/A 0.034 0.026 0.042 0.000 0.661 1.866 0.787 0.163

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 16 16 49 58 14 14 14

N.S.

1 1.00 0.64 0.64 1.96 2.32 0.56 0.56 0.56

time (sec)

N/A 0.014 0.009 0.023 1.972 0.813 0.153 1.062 0.288

Problem 585

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

39 39 29 55 41 42 146 43 35

N.S.

1 1.00 0.74 1.41 1.05 1.08 3.74 1.10 0.90

time (sec)

N/A 0.032 0.051 0.031 1.704 0.550 0.263 1.130 0.132

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B C B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 31 98 76 288 1149 79 109

N.S.

1 1.00 1.00 3.16 2.45 9.29 37.06 2.55 3.52

time (sec)

N/A 0.024 0.049 0.092 1.174 1.101 18.723 1.959 0.652

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 35 74 0 388 892 50 106

N.S.

1 1.00 1.00 2.11 0.00 11.09 25.49 1.43 3.03

time (sec)

N/A 0.026 0.035 0.070 0.000 0.968 18.152 1.362 0.381

Problem 588

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

25 25 24 55 69 113 908 48 63

N.S.

1 1.00 0.96 2.20 2.76 4.52 36.32 1.92 2.52

time (sec)

N/A 0.013 0.080 0.056 1.799 0.800 2.766 1.284 0.400

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 37 78 70 74 102 22 22

N.S.

1 1.00 1.12 2.36 2.12 2.24 3.09 0.67 0.67

time (sec)

N/A 0.098 0.097 0.132 1.387 0.775 0.519 0.986 0.370

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 30 23 42 44 114 48 40

N.S.

1 1.00 1.00 0.77 1.40 1.47 3.80 1.60 1.33

time (sec)

N/A 0.023 0.015 0.080 2.633 1.027 1.195 1.515 0.403

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 30 23 42 111 139 48 40

N.S.

1 1.00 1.00 0.77 1.40 3.70 4.63 1.60 1.33

time (sec)

N/A 0.024 0.016 0.133 2.075 0.683 1.200 1.497 0.416

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 102 160 987 0 376 0 90 -1

N.S.

1 1.48 2.32 14.30 0.00 5.45 0.00 1.30 -0.01

time (sec)

N/A 0.677 21.190 0.315 0.000 0.725 0.000 1.181 0.000

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 26 30 125 474 0 38 57

N.S.

1 1.00 0.70 0.81 3.38 12.81 0.00 1.03 1.54

time (sec)

N/A 0.031 0.044 0.035 4.627 0.824 0.000 0.828 0.139

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 21 28 177 161 0 0 47

N.S.

1 1.00 0.72 0.97 6.10 5.55 0.00 0.00 1.62

time (sec)

N/A 0.067 0.040 0.108 1.699 0.717 0.000 0.000 0.486

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 15 63 0 482 0 58 -1

N.S.

1 1.00 1.00 4.20 0.00 32.13 0.00 3.87 -0.07

time (sec)

N/A 0.013 0.010 0.170 0.000 0.884 0.000 0.537 0.000

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 16 28 49 93 17 51 21

N.S.

1 1.00 1.00 1.75 3.06 5.81 1.06 3.19 1.31

time (sec)

N/A 0.012 0.015 0.017 1.171 0.742 0.055 0.492 0.312

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 16 28 53 95 22 53 27

N.S.

1 1.00 1.00 1.75 3.31 5.94 1.38 3.31 1.69

time (sec)

N/A 0.013 0.016 0.028 1.713 0.858 0.299 0.441 0.293

Problem 598

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 20 23 16 13 20 26 11 16

N.S.

1 1.00 1.15 0.80 0.65 1.00 1.30 0.55 0.80

time (sec)

N/A 0.045 0.041 0.194 3.733 0.541 0.185 0.461 0.061

Problem 599

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

15 15 20 16 35 20 12 14 17

N.S.

1 1.00 1.33 1.07 2.33 1.33 0.80 0.93 1.13

time (sec)

N/A 0.095 0.029 0.053 0.874 0.853 0.140 0.483 0.286

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 20 20 22 75 0 24 24

N.S.

1 1.00 1.00 1.00 1.10 3.75 0.00 1.20 1.20

time (sec)

N/A 0.013 0.009 0.152 1.929 0.939 0.000 0.555 0.331

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