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

2.2.10 Integrals 901 to 1000

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

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 77 68 85 86 0 70 0 0

N.S.

1 1.13 1.00 1.25 1.26 0.00 1.03 0.00 0.00

time (sec)

N/A 0.204 0.315 1.454 0.284 0.000 1.268 0.000 0.000

Problem 902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

68 0 101 95 0 339 0 0 0

N.S.

1 0.00 1.49 1.40 0.00 4.99 0.00 0.00 0.00

time (sec)

N/A 0.000 1.063 11.031 0.000 8.145 0.000 0.000 0.000

Problem 903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 88 68 59 0 61 85 62 107

N.S.

1 1.29 1.00 0.87 0.00 0.90 1.25 0.91 1.57

time (sec)

N/A 0.556 0.107 5.525 0.000 0.270 100.196 0.277 7.451

Problem 904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

68 0 61 0 0 60 0 0 0

N.S.

1 0.00 0.90 0.00 0.00 0.88 0.00 0.00 0.00

time (sec)

N/A 0.000 1.739 0.000 0.000 0.275 0.000 0.000 0.000

Problem 905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A N/A N/A C N/A N/A N/A

verified

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

size

69 441 106 60 31 1332 24 31 32

N.S.

1 6.39 1.54 0.87 0.45 19.30 0.35 0.45 0.46

time (sec)

N/A 0.569 0.257 1.374 0.244 0.268 0.894 0.598 5.297

Problem 906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A N/A N/A C N/A N/A N/A

verified

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

size

69 441 106 60 31 1332 24 31 32

N.S.

1 6.39 1.54 0.87 0.45 19.30 0.35 0.45 0.46

time (sec)

N/A 0.492 0.001 1.306 0.205 0.277 0.928 0.576 0.002

Problem 907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

69 0 4112 321 0 338 0 0 97

N.S.

1 0.00 59.59 4.65 0.00 4.90 0.00 0.00 1.41

time (sec)

N/A 0.000 22.639 3.365 0.000 1.113 0.000 0.000 9.442

Problem 908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No No Yes TBD TBD TBD TBD TBD

size

69 86 58 68 0 282 0 62 0

N.S.

1 1.25 0.84 0.99 0.00 4.09 0.00 0.90 0.00

time (sec)

N/A 0.294 10.027 7.303 0.000 1.062 0.000 0.311 0.000

Problem 909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 83 81 67 0 94 0 119 0

N.S.

1 1.20 1.17 0.97 0.00 1.36 0.00 1.72 0.00

time (sec)

N/A 0.275 0.123 1.225 0.000 0.258 0.000 0.304 0.000

Problem 910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

69 6101 65 57 0 87 0 0 0

N.S.

1 88.42 0.94 0.83 0.00 1.26 0.00 0.00 0.00

time (sec)

N/A 10.076 0.648 8.450 0.000 0.296 0.000 0.000 0.000

Problem 911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

69 680 104 55 35 0 31 35 35

N.S.

1 9.86 1.51 0.80 0.51 0.00 0.45 0.51 0.51

time (sec)

N/A 1.142 0.404 1.301 0.224 0.000 7.390 3.054 5.575

Problem 912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

69 680 104 55 35 0 31 35 35

N.S.

1 9.86 1.51 0.80 0.51 0.00 0.45 0.51 0.51

time (sec)

N/A 0.938 0.001 1.199 0.239 0.000 7.546 3.039 0.002

Problem 913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 69 63 0 162 0 0 0

N.S.

1 1.00 1.00 0.91 0.00 2.35 0.00 0.00 0.00

time (sec)

N/A 0.541 0.433 2.094 0.000 0.725 0.000 0.000 0.000

Problem 914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

69 0 62 84 0 137 0 0 0

N.S.

1 0.00 0.90 1.22 0.00 1.99 0.00 0.00 0.00

time (sec)

N/A 0.000 0.626 2.801 0.000 0.285 0.000 0.000 0.000

Problem 915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

69 0 0 91 0 125 0 0 0

N.S.

1 0.00 0.00 1.32 0.00 1.81 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 4.556 0.000 25.545 0.000 0.000 0.000

Problem 916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

69 0 72 91 0 125 0 0 0

N.S.

1 0.00 1.04 1.32 0.00 1.81 0.00 0.00 0.00

time (sec)

N/A 0.000 11.510 4.828 0.000 25.345 0.000 0.000 0.000

Problem 917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 78 70 69 71 126 46 185 50

N.S.

1 1.11 1.00 0.99 1.01 1.80 0.66 2.64 0.71

time (sec)

N/A 0.205 0.054 0.948 0.263 0.252 0.728 0.263 5.654

Problem 918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 66 90 88 141 66 0 41

N.S.

1 1.00 0.94 1.29 1.26 2.01 0.94 0.00 0.59

time (sec)

N/A 0.259 5.437 9.490 0.263 6.688 1.642 0.000 5.587

Problem 919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 78 70 69 71 126 44 185 50

N.S.

1 1.11 1.00 0.99 1.01 1.80 0.63 2.64 0.71

time (sec)

N/A 0.205 0.055 0.968 0.265 0.250 0.685 0.277 5.354

Problem 920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

70 0 67 66 0 291 0 0 0

N.S.

1 0.00 0.96 0.94 0.00 4.16 0.00 0.00 0.00

time (sec)

N/A 0.000 0.463 2.235 0.000 0.453 0.000 0.000 0.000

Problem 921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 70 63 0 159 0 0 0

N.S.

1 1.00 1.00 0.90 0.00 2.27 0.00 0.00 0.00

time (sec)

N/A 0.544 0.427 10.794 0.000 0.697 0.000 0.000 0.000

Problem 922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 78 70 69 71 126 46 185 50

N.S.

1 1.11 1.00 0.99 1.01 1.80 0.66 2.64 0.71

time (sec)

N/A 0.204 0.054 0.980 0.271 0.293 0.767 0.277 5.398

Problem 923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

70 0 87 65 0 69 0 0 0

N.S.

1 0.00 1.24 0.93 0.00 0.99 0.00 0.00 0.00

time (sec)

N/A 0.000 4.304 4.604 0.000 0.284 0.000 0.000 0.000

Problem 924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

70 0 70 103 0 154 0 0 0

N.S.

1 0.00 1.00 1.47 0.00 2.20 0.00 0.00 0.00

time (sec)

N/A 0.000 1.498 15.863 0.000 111.081 0.000 0.000 0.000

Problem 925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 78 70 69 71 126 46 185 50

N.S.

1 1.11 1.00 0.99 1.01 1.80 0.66 2.64 0.71

time (sec)

N/A 0.215 0.051 1.006 0.270 0.250 0.720 0.265 5.366

Problem 926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 80 60 47 0 56 53 44 0

N.S.

1 1.14 0.86 0.67 0.00 0.80 0.76 0.63 0.00

time (sec)

N/A 0.325 0.097 0.887 0.000 0.506 0.405 0.278 0.000

Problem 927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 64 60 41 0 56 53 44 0

N.S.

1 0.91 0.86 0.59 0.00 0.80 0.76 0.63 0.00

time (sec)

N/A 0.284 0.071 0.883 0.000 0.480 0.362 0.273 0.000

Problem 928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

70 0 52 0 0 87 0 0 0

N.S.

1 0.00 0.74 0.00 0.00 1.24 0.00 0.00 0.00

time (sec)

N/A 0.000 0.091 0.000 0.000 0.895 0.000 0.000 0.000

Problem 929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

70 0 70 51 0 90 15 0 0

N.S.

1 0.00 1.00 0.73 0.00 1.29 0.21 0.00 0.00

time (sec)

N/A 0.000 0.282 0.155 0.000 0.418 1.752 0.000 0.000

Problem 930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

70 0 70 51 0 81 53 0 0

N.S.

1 0.00 1.00 0.73 0.00 1.16 0.76 0.00 0.00

time (sec)

N/A 0.000 0.275 0.159 0.000 0.519 1.829 0.000 0.000

Problem 931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 82 60 67 0 61 0 132 96

N.S.

1 1.15 0.85 0.94 0.00 0.86 0.00 1.86 1.35

time (sec)

N/A 0.338 0.238 0.937 0.000 0.249 0.000 0.288 6.633

Problem 932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 43 71 52 0 80 0 94 0

N.S.

1 0.61 1.00 0.73 0.00 1.13 0.00 1.32 0.00

time (sec)

N/A 0.174 0.083 1.263 0.000 0.256 0.000 0.286 0.000

Problem 933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 57 71 55 54 56 29 55 74

N.S.

1 0.80 1.00 0.77 0.76 0.79 0.41 0.77 1.04

time (sec)

N/A 0.184 0.047 3.161 0.287 0.248 0.415 0.269 5.447

Problem 934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

71 0 0 0 0 0 0 264 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 3.72 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.513 0.000

Problem 935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

71 699 110 59 40 0 31 40 40

N.S.

1 9.85 1.55 0.83 0.56 0.00 0.44 0.56 0.56

time (sec)

N/A 1.237 0.415 1.296 0.252 0.000 7.210 3.077 5.774

Problem 936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

71 699 110 59 40 0 31 40 40

N.S.

1 9.85 1.55 0.83 0.56 0.00 0.44 0.56 0.56

time (sec)

N/A 1.015 0.001 1.225 0.226 0.000 7.446 3.191 0.002

Problem 937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

71 1036 102 62 21 0 19 21 21

N.S.

1 14.59 1.44 0.87 0.30 0.00 0.27 0.30 0.30

time (sec)

N/A 4.230 7.942 4.458 0.219 0.000 8.773 0.361 5.493

Problem 938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

71 1036 102 62 21 0 19 21 21

N.S.

1 14.59 1.44 0.87 0.30 0.00 0.27 0.30 0.30

time (sec)

N/A 4.060 0.002 1.295 0.208 0.000 7.885 0.357 0.002

Problem 939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

71 0 71 86 0 0 0 0 0

N.S.

1 0.00 1.00 1.21 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 2.570 2.679 0.000 0.000 0.000 0.000 0.000

Problem 940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

71 0 62 84 0 0 0 0 0

N.S.

1 0.00 0.87 1.18 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 1.557 3.438 0.000 0.000 0.000 0.000 0.000

Problem 941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F C F F B

verified

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

size

71 0 64 94 0 289 0 0 173

N.S.

1 0.00 0.90 1.32 0.00 4.07 0.00 0.00 2.44

time (sec)

N/A 0.000 3.100 5.030 0.000 0.325 0.000 0.000 19.124

Problem 942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 82 60 73 0 100 0 177 204

N.S.

1 1.15 0.85 1.03 0.00 1.41 0.00 2.49 2.87

time (sec)

N/A 0.287 0.196 0.417 0.000 0.266 0.000 0.274 0.237

Problem 943

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

71 0 129 0 0 142 0 0 0

N.S.

1 0.00 1.82 0.00 0.00 2.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.347 0.000 0.000 10.881 0.000 0.000 0.000

Problem 944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A N/A N/A C N/A N/A N/A

verified

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

size

71 0 71 23 25 329 24 25 25

N.S.

1 0.00 1.00 0.32 0.35 4.63 0.34 0.35 0.35

time (sec)

N/A 0.000 0.114 0.185 0.599 0.263 0.842 1.452 5.508

Problem 945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A N/A N/A C N/A N/A N/A

verified

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

size

71 0 71 23 25 329 24 25 25

N.S.

1 0.00 1.00 0.32 0.35 4.63 0.34 0.35 0.35

time (sec)

N/A 0.000 0.001 0.025 0.624 0.259 0.816 1.429 0.002

Problem 946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

72 3748 72 0 24 3331 19 24 24

N.S.

1 52.06 1.00 0.00 0.33 46.26 0.26 0.33 0.33

time (sec)

N/A 10.727 0.069 0.000 0.220 0.912 2.453 0.284 5.507

Problem 947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 2585 67 51 0 73 0 0 0

N.S.

1 35.90 0.93 0.71 0.00 1.01 0.00 0.00 0.00

time (sec)

N/A 10.262 1.431 9.934 0.000 0.287 0.000 0.000 0.000

Problem 948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

72 141 96 33 0 123 0 89 0

N.S.

1 1.96 1.33 0.46 0.00 1.71 0.00 1.24 0.00

time (sec)

N/A 0.302 0.207 2.737 0.000 0.857 0.000 0.278 0.000

Problem 949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 161 95 15 0 87 0 87 0

N.S.

1 2.24 1.32 0.21 0.00 1.21 0.00 1.21 0.00

time (sec)

N/A 0.324 0.151 1.570 0.000 0.243 0.000 0.286 0.000

Problem 950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

72 0 72 0 0 0 0 0 0

N.S.

1 0.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 1.423 0.000 0.000 0.000 0.000 0.000 0.000

Problem 951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

72 531 107 59 32 0 27 32 32

N.S.

1 7.38 1.49 0.82 0.44 0.00 0.38 0.44 0.44

time (sec)

N/A 0.879 0.308 1.414 0.241 0.000 5.528 0.861 8.389

Problem 952

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

72 531 107 59 32 0 27 32 32

N.S.

1 7.38 1.49 0.82 0.44 0.00 0.38 0.44 0.44

time (sec)

N/A 0.757 0.001 1.349 0.233 0.000 5.565 0.886 0.003

Problem 953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 67 68 64 0 58 0 61 0

N.S.

1 0.93 0.94 0.89 0.00 0.81 0.00 0.85 0.00

time (sec)

N/A 0.431 0.122 1.907 0.000 0.285 0.000 0.312 0.000

Problem 954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

72 0 72 73 0 120 0 0 0

N.S.

1 0.00 1.00 1.01 0.00 1.67 0.00 0.00 0.00

time (sec)

N/A 0.000 0.503 2.132 0.000 0.337 0.000 0.000 0.000

Problem 955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 75 75 65 0 177 119 66 63

N.S.

1 1.03 1.03 0.89 0.00 2.42 1.63 0.90 0.86

time (sec)

N/A 0.212 0.294 1.662 0.000 0.284 0.273 0.281 0.133

Problem 956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 134 67 116 0 126 0 0 102

N.S.

1 1.84 0.92 1.59 0.00 1.73 0.00 0.00 1.40

time (sec)

N/A 0.742 10.968 2.350 0.000 0.305 0.000 0.000 6.331

Problem 957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 398 67 273 0 126 0 0 159

N.S.

1 5.45 0.92 3.74 0.00 1.73 0.00 0.00 2.18

time (sec)

N/A 1.028 11.191 3.276 0.000 0.301 0.000 0.000 0.076

Problem 958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

73 0 73 230 0 74 0 0 0

N.S.

1 0.00 1.00 3.15 0.00 1.01 0.00 0.00 0.00

time (sec)

N/A 0.000 1.192 1.237 0.000 0.246 0.000 0.000 0.000

Problem 959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

73 151 85 27 0 90 0 106 0

N.S.

1 2.07 1.16 0.37 0.00 1.23 0.00 1.45 0.00

time (sec)

N/A 0.373 0.285 1.431 0.000 0.262 0.000 0.272 0.000

Problem 960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

73 0 90 83 0 122 0 0 81

N.S.

1 0.00 1.23 1.14 0.00 1.67 0.00 0.00 1.11

time (sec)

N/A 0.000 3.714 1.094 0.000 0.260 0.000 0.000 9.304

Problem 961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

73 2268 83 72 0 389 0 0 119

N.S.

1 31.07 1.14 0.99 0.00 5.33 0.00 0.00 1.63

time (sec)

N/A 10.315 1.020 3.092 0.000 0.331 0.000 0.000 10.256

Problem 962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

73 685 73 66 28 0 0 0 28

N.S.

1 9.38 1.00 0.90 0.38 0.00 0.00 0.00 0.38

time (sec)

N/A 1.109 0.180 102.886 0.307 0.000 0.000 0.000 6.537

Problem 963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

73 685 73 66 28 0 0 0 28

N.S.

1 9.38 1.00 0.90 0.38 0.00 0.00 0.00 0.38

time (sec)

N/A 0.926 0.001 102.594 0.313 0.000 0.000 0.000 0.003

Problem 964

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

73 0 90 80 0 111 0 0 0

N.S.

1 0.00 1.23 1.10 0.00 1.52 0.00 0.00 0.00

time (sec)

N/A 0.000 4.350 2.215 0.000 0.290 0.000 0.000 0.000

Problem 965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

73 0 73 208 0 405 0 0 0

N.S.

1 0.00 1.00 2.85 0.00 5.55 0.00 0.00 0.00

time (sec)

N/A 0.000 0.359 17.707 0.000 0.380 0.000 0.000 0.000

Problem 966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

73 0 91 0 0 37 0 0 0

N.S.

1 0.00 1.25 0.00 0.00 0.51 0.00 0.00 0.00

time (sec)

N/A 0.000 1.208 0.000 0.000 0.252 0.000 0.000 0.000

Problem 967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 58 69 46 54 56 32 54 70

N.S.

1 0.78 0.93 0.62 0.73 0.76 0.43 0.73 0.95

time (sec)

N/A 0.196 0.055 2.360 0.279 0.245 0.454 0.256 6.344

Problem 968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 57 69 55 54 56 32 54 80

N.S.

1 0.77 0.93 0.74 0.73 0.76 0.43 0.73 1.08

time (sec)

N/A 0.192 0.033 1.809 0.294 0.243 0.447 0.270 6.119

Problem 969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

74 1561 79 63 21 501 22 0 21

N.S.

1 21.09 1.07 0.85 0.28 6.77 0.30 0.00 0.28

time (sec)

N/A 2.926 0.180 15.568 0.317 0.257 0.664 0.000 6.387

Problem 970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

74 1561 79 63 21 501 22 0 21

N.S.

1 21.09 1.07 0.85 0.28 6.77 0.30 0.00 0.28

time (sec)

N/A 2.645 0.001 14.619 0.322 0.269 0.692 0.000 0.002

Problem 971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

74 0 74 67 0 141 0 0 117

N.S.

1 0.00 1.00 0.91 0.00 1.91 0.00 0.00 1.58

time (sec)

N/A 0.000 1.183 3.626 0.000 0.302 0.000 0.000 7.509

Problem 972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

74 0 74 0 33 4191 22 33 37

N.S.

1 0.00 1.00 0.00 0.45 56.64 0.30 0.45 0.50

time (sec)

N/A 0.000 0.070 0.000 0.221 0.938 3.392 0.273 6.180

Problem 973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

74 0 74 80 0 103 0 0 0

N.S.

1 0.00 1.00 1.08 0.00 1.39 0.00 0.00 0.00

time (sec)

N/A 0.000 0.752 7.994 0.000 0.281 0.000 0.000 0.000

Problem 974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 68 90 90 123 66 0 43

N.S.

1 1.00 0.92 1.22 1.22 1.66 0.89 0.00 0.58

time (sec)

N/A 0.253 5.441 1.665 0.286 5.337 2.270 0.000 6.375

Problem 975

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 101 91 87 0 141 0 73 0

N.S.

1 1.36 1.23 1.18 0.00 1.91 0.00 0.99 0.00

time (sec)

N/A 0.319 0.279 6.401 0.000 0.262 0.000 0.291 0.000

Problem 976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

74 0 74 69 0 110 0 0 0

N.S.

1 0.00 1.00 0.93 0.00 1.49 0.00 0.00 0.00

time (sec)

N/A 0.000 1.166 4.516 0.000 1.028 0.000 0.000 0.000

Problem 977

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

74 681 109 61 36 0 31 36 36

N.S.

1 9.20 1.47 0.82 0.49 0.00 0.42 0.49 0.49

time (sec)

N/A 1.179 0.433 1.320 0.231 0.000 8.497 6.776 6.272

Problem 978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

74 681 109 61 36 0 31 36 36

N.S.

1 9.20 1.47 0.82 0.49 0.00 0.42 0.49 0.49

time (sec)

N/A 0.973 0.003 1.224 0.247 0.000 7.849 6.742 0.003

Problem 979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 83 74 93 94 0 126 0 0

N.S.

1 1.12 1.00 1.26 1.27 0.00 1.70 0.00 0.00

time (sec)

N/A 0.221 0.336 1.263 0.283 0.000 1.272 0.000 0.000

Problem 980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 57 69 55 54 56 31 54 80

N.S.

1 0.77 0.93 0.74 0.73 0.76 0.42 0.73 1.08

time (sec)

N/A 0.190 0.046 5.896 0.285 0.285 0.497 0.267 6.048

Problem 981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 133 104 103 0 107 0 43 270

N.S.

1 1.80 1.41 1.39 0.00 1.45 0.00 0.58 3.65

time (sec)

N/A 1.602 3.840 1.250 0.000 0.278 0.000 0.297 6.632

Problem 982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

74 0 74 122 0 151 0 108 0

N.S.

1 0.00 1.00 1.65 0.00 2.04 0.00 1.46 0.00

time (sec)

N/A 0.000 0.277 4.934 0.000 2.427 0.000 0.592 0.000

Problem 983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 79 75 82 74 185 42 209 55

N.S.

1 1.05 1.00 1.09 0.99 2.47 0.56 2.79 0.73

time (sec)

N/A 0.189 0.118 1.184 0.283 0.293 0.844 0.278 5.906

Problem 984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

75 0 58 0 0 0 0 288 0

N.S.

1 0.00 0.77 0.00 0.00 0.00 0.00 3.84 0.00

time (sec)

N/A 0.000 11.194 0.000 0.000 0.000 0.000 0.361 0.000

Problem 985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

75 0 75 0 33 6285 24 33 37

N.S.

1 0.00 1.00 0.00 0.44 83.80 0.32 0.44 0.49

time (sec)

N/A 0.000 0.058 0.000 0.227 0.939 8.142 0.283 5.666

Problem 986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 79 75 82 74 180 42 209 55

N.S.

1 1.05 1.00 1.09 0.99 2.40 0.56 2.79 0.73

time (sec)

N/A 0.206 0.114 1.300 0.275 0.260 0.837 0.271 6.137

Problem 987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

75 97 105 115 0 326 0 65 0

N.S.

1 1.29 1.40 1.53 0.00 4.35 0.00 0.87 0.00

time (sec)

N/A 0.372 0.282 11.704 0.000 1.265 0.000 0.306 0.000

Problem 988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

75 0 72 69 0 102 0 0 0

N.S.

1 0.00 0.96 0.92 0.00 1.36 0.00 0.00 0.00

time (sec)

N/A 0.000 1.361 4.481 0.000 0.887 0.000 0.000 0.000

Problem 989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

75 475 52 61 0 71 0 0 0

N.S.

1 6.33 0.69 0.81 0.00 0.95 0.00 0.00 0.00

time (sec)

N/A 1.521 0.307 18.465 0.000 0.329 0.000 0.000 0.000

Problem 990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 79 75 84 102 188 37 0 37

N.S.

1 1.05 1.00 1.12 1.36 2.51 0.49 0.00 0.49

time (sec)

N/A 0.197 0.242 1.308 0.284 0.274 0.758 0.000 5.651

Problem 991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 78 75 90 85 0 42 0 0

N.S.

1 1.04 1.00 1.20 1.13 0.00 0.56 0.00 0.00

time (sec)

N/A 0.200 0.225 1.332 0.278 0.000 0.828 0.000 0.000

Problem 992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 79 75 82 74 185 42 209 55

N.S.

1 1.05 1.00 1.09 0.99 2.47 0.56 2.79 0.73

time (sec)

N/A 0.206 0.101 1.294 0.272 0.270 0.905 0.272 6.131

Problem 993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

75 0 0 72 0 100 0 0 0

N.S.

1 0.00 0.00 0.96 0.00 1.33 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 6.542 0.000 1.281 0.000 0.000 0.000

Problem 994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 79 75 82 74 180 42 209 55

N.S.

1 1.05 1.00 1.09 0.99 2.40 0.56 2.79 0.73

time (sec)

N/A 0.207 0.113 1.283 0.279 0.267 0.903 0.271 6.753

Problem 995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

75 0 50 74 0 0 0 0 0

N.S.

1 0.00 0.67 0.99 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 3.394 2.927 0.000 0.000 0.000 0.000 0.000

Problem 996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

75 1130 66 94 0 261 0 0 0

N.S.

1 15.07 0.88 1.25 0.00 3.48 0.00 0.00 0.00

time (sec)

N/A 2.201 0.271 9.209 0.000 0.352 0.000 0.000 0.000

Problem 997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 109 55 47 0 413 0 0 90

N.S.

1 1.43 0.72 0.62 0.00 5.43 0.00 0.00 1.18

time (sec)

N/A 0.673 13.741 4.656 0.000 0.446 0.000 0.000 9.367

Problem 998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 55 69 57 56 58 34 57 80

N.S.

1 0.72 0.91 0.75 0.74 0.76 0.45 0.75 1.05

time (sec)

N/A 0.185 0.052 4.310 0.282 0.281 0.454 0.264 6.423

Problem 999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

76 0 51 0 0 113 0 0 0

N.S.

1 0.00 0.67 0.00 0.00 1.49 0.00 0.00 0.00

time (sec)

N/A 0.000 2.090 0.000 0.000 0.273 0.000 0.000 0.000

Problem 1000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

76 0 57 76 0 799 0 0 714

N.S.

1 0.00 0.75 1.00 0.00 10.51 0.00 0.00 9.39

time (sec)

N/A 0.000 12.272 3.194 0.000 0.653 0.000 0.000 7.317

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