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

2.2.7 Integrals 601 to 700

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 601

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

31 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.018 2.978 0.012 0.000 0.000 0.000 0.000 0.000

Problem 602

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F A F F F

verified

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

size

153 153 0 0 0 169 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 1.10 0.00 0.00 -0.01

time (sec)

N/A 0.304 0.171 180.000 0.000 0.349 0.000 0.000 0.000

Problem 603

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 129 0 0 134 0 0 -1

N.S.

1 1.00 0.97 0.00 0.00 1.01 0.00 0.00 -0.01

time (sec)

N/A 0.159 0.235 0.015 0.000 0.353 0.000 0.000 0.000

Problem 604

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 120 0 0 128 0 0 -1

N.S.

1 1.00 0.98 0.00 0.00 1.05 0.00 0.00 -0.01

time (sec)

N/A 0.150 0.600 0.007 0.000 0.412 0.000 0.000 0.000

Problem 605

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 123 0 0 131 0 116 -1

N.S.

1 1.00 0.98 0.00 0.00 1.04 0.00 0.92 -0.01

time (sec)

N/A 0.136 0.069 0.026 0.000 0.390 0.000 4.530 0.000

Problem 606

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 59 125 0 66 0 0 63

N.S.

1 1.00 0.84 1.79 0.00 0.94 0.00 0.00 0.90

time (sec)

N/A 0.087 0.060 0.280 0.000 0.361 0.000 0.000 3.691

Problem 607

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 126 0 0 134 0 0 -1

N.S.

1 1.00 0.98 0.00 0.00 1.05 0.00 0.00 -0.01

time (sec)

N/A 0.160 0.206 0.014 0.000 0.354 0.000 0.000 0.000

Problem 608

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 121 0 0 129 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 1.02 0.00 0.00 -0.01

time (sec)

N/A 0.159 0.216 0.016 0.000 0.364 0.000 0.000 0.000

Problem 609

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 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.020 1.256 0.018 0.000 0.000 0.000 0.000 0.000

Problem 610

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

535 535 434 0 0 568 0 0 -1

N.S.

1 1.00 0.81 0.00 0.00 1.06 0.00 0.00 -0.00

time (sec)

N/A 0.836 2.082 0.014 0.000 0.397 0.000 0.000 0.000

Problem 611

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

397 397 331 0 0 410 0 0 -1

N.S.

1 1.00 0.83 0.00 0.00 1.03 0.00 0.00 -0.00

time (sec)

N/A 0.539 0.591 0.014 0.000 0.443 0.000 0.000 0.000

Problem 612

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

257 257 221 0 0 262 0 0 -1

N.S.

1 1.00 0.86 0.00 0.00 1.02 0.00 0.00 -0.00

time (sec)

N/A 0.285 0.318 0.008 0.000 0.455 0.000 0.000 0.000

Problem 613

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 123 0 0 131 0 116 -1

N.S.

1 1.00 0.98 0.00 0.00 1.04 0.00 0.92 -0.01

time (sec)

N/A 0.084 0.042 0.001 0.000 0.445 0.000 3.183 0.000

Problem 614

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

31 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.020 0.980 0.025 0.000 0.000 0.000 0.000 0.000

Problem 615

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

31 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.019 3.440 0.014 0.000 0.000 0.000 0.000 0.000

Problem 616

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

31 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.019 5.023 0.013 0.000 0.000 0.000 0.000 0.000

Problem 617

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 18 17 17 24 17 17

N.S.

1 1.00 1.00 1.06 1.00 1.00 1.41 1.00 1.00

time (sec)

N/A 0.035 0.045 0.017 0.292 0.450 0.042 1.994 3.684

Problem 618

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 19 21 20 20 32 20 20

N.S.

1 1.00 0.95 1.05 1.00 1.00 1.60 1.00 1.00

time (sec)

N/A 0.120 0.040 0.149 0.290 0.383 0.257 3.184 3.998

Problem 619

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 44 0 0 23 0 0 49

N.S.

1 1.00 0.90 0.00 0.00 0.47 0.00 0.00 1.00

time (sec)

N/A 0.141 0.111 0.081 0.000 0.104 0.000 0.000 3.689

Problem 620

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

90 90 49 87 2381 109 160 53 145

N.S.

1 1.00 0.54 0.97 26.46 1.21 1.78 0.59 1.61

time (sec)

N/A 0.126 0.109 0.125 0.865 0.367 0.118 2.819 3.793

Problem 621

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

64 64 36 62 1223 55 68 42 64

N.S.

1 1.00 0.56 0.97 19.11 0.86 1.06 0.66 1.00

time (sec)

N/A 0.113 0.107 0.111 0.601 0.386 0.079 3.302 3.614

Problem 622

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

38 38 23 37 501 23 22 23 23

N.S.

1 1.00 0.61 0.97 13.18 0.61 0.58 0.61 0.61

time (sec)

N/A 0.065 0.081 0.021 0.428 0.379 0.052 3.618 0.102

Problem 623

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

N.S.

1 1.00 1.00 1.00 0.92 0.92 0.83 0.92 1.08

time (sec)

N/A 0.013 0.047 0.015 0.289 0.382 0.035 3.510 0.075

Problem 624

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

11 11 10 19 0 11 10 11 11

N.S.

1 1.00 0.91 1.73 0.00 1.00 0.91 1.00 1.00

time (sec)

N/A 0.119 0.099 0.098 0.000 0.396 9.075 3.843 3.787

Problem 625

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 35 45 0 49 24 0 44

N.S.

1 1.00 0.92 1.18 0.00 1.29 0.63 0.00 1.16

time (sec)

N/A 0.133 0.116 0.107 0.000 0.365 84.573 0.000 3.989

Problem 626

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 50 70 0 111 0 0 62

N.S.

1 1.00 0.69 0.97 0.00 1.54 0.00 0.00 0.86

time (sec)

N/A 0.168 0.135 0.106 0.000 0.370 0.000 0.000 4.043

Problem 627

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 47 119 0 0 0 91 135

N.S.

1 1.00 0.33 0.84 0.00 0.00 0.00 0.64 0.95

time (sec)

N/A 0.434 2.516 0.114 0.000 0.000 0.000 3.590 4.217

Problem 628

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 46 94 0 0 0 77 117

N.S.

1 1.00 0.41 0.84 0.00 0.00 0.00 0.69 1.04

time (sec)

N/A 0.311 2.011 0.126 0.000 0.000 0.000 2.950 3.910

Problem 629

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F A C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 47 69 0 0 94 63 102

N.S.

1 1.00 0.57 0.84 0.00 0.00 1.15 0.77 1.24

time (sec)

N/A 0.244 1.913 0.098 0.000 0.000 56.657 2.500 3.767

Problem 630

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F A C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 46 44 0 0 78 45 76

N.S.

1 1.00 0.88 0.85 0.00 0.00 1.50 0.87 1.46

time (sec)

N/A 0.156 1.777 0.117 0.000 0.000 2.690 2.828 3.508

Problem 631

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F F B C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 21 46 18 0 0 49 20 49

N.S.

1 1.00 2.19 0.86 0.00 0.00 2.33 0.95 2.33

time (sec)

N/A 0.179 1.837 0.095 0.000 0.000 2.056 2.457 3.896

Problem 632

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 62 45 0 0 80 0 79

N.S.

1 1.00 1.22 0.88 0.00 0.00 1.57 0.00 1.55

time (sec)

N/A 0.212 1.947 0.105 0.000 0.000 3.209 0.000 4.005

Problem 633

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 77 70 0 0 105 0 104

N.S.

1 1.00 0.91 0.82 0.00 0.00 1.24 0.00 1.22

time (sec)

N/A 0.237 3.244 0.098 0.000 0.000 21.019 0.000 4.200

Problem 634

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 91 95 0 0 0 0 129

N.S.

1 1.00 0.79 0.83 0.00 0.00 0.00 0.00 1.12

time (sec)

N/A 0.244 4.915 0.103 0.000 0.000 0.000 0.000 4.664

Problem 635

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 103 120 0 0 0 0 154

N.S.

1 1.00 0.71 0.83 0.00 0.00 0.00 0.00 1.06

time (sec)

N/A 0.262 5.952 0.111 0.000 0.000 0.000 0.000 5.698

Problem 636

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B A B A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

8 8 42 37 14 18 7 9 -1

N.S.

1 1.00 5.25 4.62 1.75 2.25 0.88 1.12 -0.12

time (sec)

N/A 0.018 0.028 0.053 0.475 0.410 0.477 2.999 0.000

Problem 637

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

12 12 12 8 7 7 15 7 7

N.S.

1 1.00 1.00 0.67 0.58 0.58 1.25 0.58 0.58

time (sec)

N/A 0.012 0.014 0.020 0.482 0.413 0.034 3.597 3.584

Problem 638

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

4 4 4 4 15 15 15 16 15

N.S.

1 1.00 1.00 1.00 3.75 3.75 3.75 4.00 3.75

time (sec)

N/A 0.013 0.002 0.015 0.288 0.429 0.034 3.665 0.128

Problem 639

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 20 14 26 32 15 30 13

N.S.

1 1.00 1.00 0.70 1.30 1.60 0.75 1.50 0.65

time (sec)

N/A 0.014 0.034 0.020 0.480 0.389 0.038 4.031 0.155

Problem 640

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 49 26 25 34 51 25 24

N.S.

1 1.00 1.36 0.72 0.69 0.94 1.42 0.69 0.67

time (sec)

N/A 0.020 0.043 0.023 0.489 0.447 0.687 5.110 0.092

Problem 641

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 22 14 17 11 11 10 11 11

N.S.

1 1.00 0.64 0.77 0.50 0.50 0.45 0.50 0.50

time (sec)

N/A 0.014 0.016 0.016 0.277 0.408 0.021 3.769 0.037

Problem 642

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 45 21 20 35 29 20 20

N.S.

1 1.00 1.55 0.72 0.69 1.21 1.00 0.69 0.69

time (sec)

N/A 0.018 0.057 0.022 0.482 0.385 0.608 3.777 3.352

Problem 643

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

14 14 26 11 12 21 0 21 15

N.S.

1 1.00 1.86 0.79 0.86 1.50 0.00 1.50 1.07

time (sec)

N/A 0.025 0.062 0.019 0.494 0.457 0.000 4.242 3.643

Problem 644

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

12 12 12 16 15 15 15 16 15

N.S.

1 1.00 1.00 1.33 1.25 1.25 1.25 1.33 1.25

time (sec)

N/A 0.013 0.023 0.018 0.286 0.402 0.034 4.700 0.139

Problem 645

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

N.S.

1 1.00 1.00 0.85 0.77 0.77 0.62 0.77 0.77

time (sec)

N/A 0.007 0.011 0.012 0.280 0.409 0.022 3.713 0.059

Problem 646

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 18 17 23 14 17 16

N.S.

1 1.00 1.00 1.12 1.06 1.44 0.88 1.06 1.00

time (sec)

N/A 0.003 0.007 0.018 0.280 0.348 0.019 0.425 3.332

Problem 647

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 18 21 18 13 13 14 13 13

N.S.

1 1.00 1.17 1.00 0.72 0.72 0.78 0.72 0.72

time (sec)

N/A 0.018 0.025 0.014 0.345 0.427 0.021 5.561 0.075

Problem 648

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

4 4 18 4 3 20 3 3 3

N.S.

1 1.00 4.50 1.00 0.75 5.00 0.75 0.75 0.75

time (sec)

N/A 0.014 0.030 0.018 0.509 0.364 0.347 4.533 3.533

Problem 649

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

10 10 10 8 7 7 17 7 7

N.S.

1 1.00 1.00 0.80 0.70 0.70 1.70 0.70 0.70

time (sec)

N/A 0.014 0.015 0.019 0.509 0.357 0.037 2.790 3.369

Problem 650

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 24 20 17 21 17 18 17

N.S.

1 1.00 0.89 0.74 0.63 0.78 0.63 0.67 0.63

time (sec)

N/A 0.014 0.022 0.029 0.278 0.403 0.031 3.154 0.075

Problem 651

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 11 10 10 10 10 10

N.S.

1 1.00 1.00 0.92 0.83 0.83 0.83 0.83 0.83

time (sec)

N/A 0.025 0.014 0.013 0.275 0.377 0.024 4.565 3.328

Problem 652

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

6 6 6 6 15 15 15 16 15

N.S.

1 1.00 1.00 1.00 2.50 2.50 2.50 2.67 2.50

time (sec)

N/A 0.012 0.022 0.017 0.285 0.358 0.034 3.231 0.076

Problem 653

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

4 4 4 4 3 3 15 3 3

N.S.

1 1.00 1.00 1.00 0.75 0.75 3.75 0.75 0.75

time (sec)

N/A 0.013 0.002 0.011 0.508 0.377 0.034 5.781 0.052

Problem 654

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

N.S.

1 1.17 1.42 1.42 0.83 0.92 0.67 1.00 0.92

time (sec)

N/A 0.027 0.028 0.020 0.278 0.379 0.027 5.221 0.056

Problem 655

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

10 12 15 14 8 11 8 11 11

N.S.

1 1.20 1.50 1.40 0.80 1.10 0.80 1.10 1.10

time (sec)

N/A 0.025 0.024 0.017 0.294 0.365 0.026 4.081 3.537

Problem 656

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 39 30 14 13 12 14 22

N.S.

1 1.00 2.17 1.67 0.78 0.72 0.67 0.78 1.22

time (sec)

N/A 0.029 0.040 0.020 0.298 0.379 0.029 4.925 3.340

Problem 657

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

4 4 16 4 3 16 3 16 3

N.S.

1 1.00 4.00 1.00 0.75 4.00 0.75 4.00 0.75

time (sec)

N/A 0.013 0.024 0.017 0.524 0.372 0.312 4.916 0.076

Problem 658

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

11 11 11 9 8 8 8 8 8

N.S.

1 1.00 1.00 0.82 0.73 0.73 0.73 0.73 0.73

time (sec)

N/A 0.015 0.004 0.065 0.296 0.381 0.066 4.245 3.457

Problem 659

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

18 18 18 14 13 13 0 13 13

N.S.

1 1.00 1.00 0.78 0.72 0.72 0.00 0.72 0.72

time (sec)

N/A 0.040 0.028 0.040 0.504 0.372 0.000 4.967 3.707

Problem 660

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

31 31 39 21 20 29 0 29 20

N.S.

1 1.00 1.26 0.68 0.65 0.94 0.00 0.94 0.65

time (sec)

N/A 0.016 0.035 0.020 0.508 0.365 0.000 4.826 3.589

Problem 661

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

27 27 36 19 18 29 0 29 18

N.S.

1 1.00 1.33 0.70 0.67 1.07 0.00 1.07 0.67

time (sec)

N/A 0.015 0.036 0.019 0.510 0.379 0.000 2.839 3.546

Problem 662

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

10 10 10 8 7 7 17 7 7

N.S.

1 1.00 1.00 0.80 0.70 0.70 1.70 0.70 0.70

time (sec)

N/A 0.086 0.024 0.022 0.574 0.359 0.044 2.621 0.067

Problem 663

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 13 17 11 11 24 11 16

N.S.

1 1.00 0.46 0.61 0.39 0.39 0.86 0.39 0.57

time (sec)

N/A 0.027 0.002 0.012 0.282 0.370 0.476 3.718 3.565

Problem 664

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

N.S.

1 1.00 1.00 0.81 1.00 1.00 0.62 1.00 0.75

time (sec)

N/A 0.016 0.026 0.017 0.279 0.352 0.315 4.819 3.770

Problem 665

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

12 12 12 16 15 15 15 16 15

N.S.

1 1.00 1.00 1.33 1.25 1.25 1.25 1.33 1.25

time (sec)

N/A 0.013 0.025 0.019 0.284 0.374 0.034 2.636 3.654

Problem 666

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

10 10 10 8 7 7 17 7 7

N.S.

1 1.00 1.00 0.80 0.70 0.70 1.70 0.70 0.70

time (sec)

N/A 0.013 0.156 0.020 0.518 0.346 0.037 6.455 0.057

Problem 667

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 22 0 9 18 8 18 -1

N.S.

1 1.00 1.57 0.00 0.64 1.29 0.57 1.29 -0.07

time (sec)

N/A 0.015 0.029 0.013 0.722 0.362 0.433 5.101 0.000

Problem 668

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

35 35 28 44 29 29 32 25 25

N.S.

1 1.00 0.80 1.26 0.83 0.83 0.91 0.71 0.71

time (sec)

N/A 0.130 0.044 0.053 0.337 0.391 0.336 4.625 3.591

Problem 669

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

11 11 11 9 8 8 7 8 8

N.S.

1 1.00 1.00 0.82 0.73 0.73 0.64 0.73 0.73

time (sec)

N/A 0.006 0.013 0.013 0.354 0.356 0.021 3.661 0.048

Problem 670

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

11 11 11 9 8 8 7 8 8

N.S.

1 1.00 1.00 0.82 0.73 0.73 0.64 0.73 0.73

time (sec)

N/A 0.010 0.011 0.013 0.374 0.403 0.023 2.294 3.513

Problem 671

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

9 9 9 7 6 6 7 6 6

N.S.

1 1.00 1.00 0.78 0.67 0.67 0.78 0.67 0.67

time (sec)

N/A 0.007 0.003 0.011 0.312 0.356 0.062 4.756 3.490

Problem 672

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

9 9 9 7 6 6 7 6 6

N.S.

1 1.00 1.00 0.78 0.67 0.67 0.78 0.67 0.67

time (sec)

N/A 0.007 0.003 0.010 0.273 0.371 0.109 6.517 3.571

Problem 673

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

68 68 34 51 59 31 31 31 31

N.S.

1 1.00 0.50 0.75 0.87 0.46 0.46 0.46 0.46

time (sec)

N/A 0.069 0.064 0.024 0.287 0.360 0.030 3.446 3.533

Problem 674

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

N.S.

1 1.00 0.93 0.79 0.68 0.68 0.71 0.68 0.75

time (sec)

N/A 0.016 0.026 0.015 0.287 0.477 0.027 3.585 3.499

Problem 675

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 26 23 20 19 18 22 18 18

N.S.

1 1.00 0.88 0.77 0.73 0.69 0.85 0.69 0.69

time (sec)

N/A 0.014 0.017 0.021 0.282 0.377 0.028 3.791 0.065

Problem 676

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

9 9 9 9 8 8 7 8 8

N.S.

1 1.00 1.00 1.00 0.89 0.89 0.78 0.89 0.89

time (sec)

N/A 0.016 0.002 0.014 0.288 0.357 0.017 3.243 0.060

Problem 677

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 20 22 17 21 20 17 17

N.S.

1 1.00 0.74 0.81 0.63 0.78 0.74 0.63 0.63

time (sec)

N/A 0.007 0.023 0.031 0.285 0.351 0.159 3.913 0.029

Problem 678

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

N.S.

1 1.00 1.00 0.94 0.88 0.88 0.82 0.88 0.88

time (sec)

N/A 0.021 0.026 0.025 0.313 0.363 0.041 4.634 3.543

Problem 679

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

N.S.

1 1.00 1.00 0.92 0.83 0.83 0.67 0.83 0.83

time (sec)

N/A 0.014 0.013 0.015 0.294 0.347 0.023 5.719 3.536

Problem 680

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.023 0.030 0.288 0.363 0.084 3.558 0.031

Problem 681

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

5 5 5 5 4 16 0 6 6

N.S.

1 1.00 1.00 1.00 0.80 3.20 0.00 1.20 1.20

time (sec)

N/A 0.008 0.006 0.017 0.286 0.383 0.000 4.142 0.047

Problem 682

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

N.S.

1 1.00 1.14 1.05 0.76 1.14 0.81 0.90 0.90

time (sec)

N/A 0.018 0.021 0.015 0.288 0.353 0.030 5.650 0.070

Problem 683

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 24 19 19

N.S.

1 1.00 0.81 0.81 0.70 0.78 0.89 0.70 0.70

time (sec)

N/A 0.007 0.034 0.037 0.286 0.364 0.081 4.317 3.534

Problem 684

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

34 34 34 28 39 52 0 41 78

N.S.

1 1.00 1.00 0.82 1.15 1.53 0.00 1.21 2.29

time (sec)

N/A 0.022 0.013 0.144 0.292 0.359 0.000 3.559 5.530

Problem 685

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 26 20 23 16 18 14 16 10

N.S.

1 1.00 0.77 0.88 0.62 0.69 0.54 0.62 0.38

time (sec)

N/A 0.012 0.028 0.016 0.318 0.439 0.027 2.751 0.060

Problem 686

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

N.S.

1 1.00 0.67 0.93 0.87 0.87 0.80 0.87 0.87

time (sec)

N/A 0.020 0.023 0.022 0.289 0.439 0.039 2.274 3.488

Problem 687

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 18 17 14 22 17 14

N.S.

1 1.00 0.81 0.67 0.63 0.52 0.81 0.63 0.52

time (sec)

N/A 0.018 0.022 0.016 0.286 0.389 0.985 3.768 0.062

Problem 688

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 18 17 14 22 17 14

N.S.

1 1.00 0.81 0.67 0.63 0.52 0.81 0.63 0.52

time (sec)

N/A 0.017 0.021 0.016 0.315 0.414 1.143 4.714 3.535

Problem 689

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

62 62 56 50 48 62 0 49 49

N.S.

1 1.00 0.90 0.81 0.77 1.00 0.00 0.79 0.79

time (sec)

N/A 0.036 0.133 0.026 0.497 0.442 0.000 5.701 4.201

Problem 690

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 19 12 17 19 11 10 11 11

N.S.

1 1.00 0.63 0.89 1.00 0.58 0.53 0.58 0.58

time (sec)

N/A 0.030 0.015 0.013 0.287 0.395 0.023 4.681 3.457

Problem 691

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

N.S.

1 1.00 0.59 0.75 0.88 0.50 0.47 0.50 0.50

time (sec)

N/A 0.033 0.016 0.018 0.281 0.374 0.025 4.650 3.526

Problem 692

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

11 0 11 11 10 10 8 10 10

N.S.

1 0.00 1.00 1.00 0.91 0.91 0.73 0.91 0.91

time (sec)

N/A 0.098 0.025 0.017 0.357 0.367 0.151 5.525 3.594

Problem 693

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

9 9 9 7 6 6 5 6 6

N.S.

1 1.00 1.00 0.78 0.67 0.67 0.56 0.67 0.67

time (sec)

N/A 0.017 0.005 0.017 0.282 0.369 0.033 2.189 0.038

Problem 694

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

9 0 9 18 9 18 12 16 9

N.S.

1 0.00 1.00 2.00 1.00 2.00 1.33 1.78 1.00

time (sec)

N/A 0.051 0.011 0.013 0.330 0.355 0.064 2.703 3.584

Problem 695

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 25 26 24 21 21 22 21 21

N.S.

1 1.00 1.04 0.96 0.84 0.84 0.88 0.84 0.84

time (sec)

N/A 0.010 0.015 0.012 0.273 0.339 0.036 4.919 3.549

Problem 696

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 40 36 33 33 37 33 33

N.S.

1 1.00 1.00 0.90 0.82 0.82 0.92 0.82 0.82

time (sec)

N/A 0.013 0.019 0.015 0.296 0.354 0.048 5.830 0.072

Problem 697

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

53 53 53 48 45 45 51 45 45

N.S.

1 1.00 1.00 0.91 0.85 0.85 0.96 0.85 0.85

time (sec)

N/A 0.017 0.021 0.018 0.287 0.346 0.058 6.312 3.426

Problem 698

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

32 32 32 26 45 83 0 29 25

N.S.

1 1.00 1.00 0.81 1.41 2.59 0.00 0.91 0.78

time (sec)

N/A 0.020 0.035 0.026 0.508 0.376 0.000 5.733 3.618

Problem 699

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

34 34 34 28 27 85 0 27 31

N.S.

1 1.00 1.00 0.82 0.79 2.50 0.00 0.79 0.91

time (sec)

N/A 0.019 0.035 0.024 0.494 0.350 0.000 7.234 3.617

Problem 700

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

53 53 50 42 63 110 0 44 43

N.S.

1 1.00 0.94 0.79 1.19 2.08 0.00 0.83 0.81

time (sec)

N/A 0.023 0.040 0.027 0.514 0.377 0.000 3.718 3.515

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