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

2.2.80 Integrals 7901 to 8000

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 7901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B F F B B F F

verified

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

size

26 0 88 0 0 72 117 0 -1

N.S.

1 0.00 3.38 0.00 0.00 2.77 4.50 0.00 -0.04

time (sec)

N/A 37.347 0.124 0.233 0.000 0.396 4.524 0.000 0.000

Problem 7902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B F A F A A F B

verified

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

size

29 62 0 29 0 28 22 0 24

N.S.

1 2.14 0.00 1.00 0.00 0.97 0.76 0.00 0.83

time (sec)

N/A 0.041 0.694 0.562 0.000 0.406 0.950 0.000 5.102

Problem 7903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A A F B

verified

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

size

26 0 25 470 33 32 29 0 23

N.S.

1 0.00 0.96 18.08 1.27 1.23 1.12 0.00 0.88

time (sec)

N/A 1.301 0.175 0.301 0.336 0.413 45.428 0.000 5.421

Problem 7904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A C A A A F

verified

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

size

28 0 24 37 44 36 22 36 -1

N.S.

1 0.00 0.86 1.32 1.57 1.29 0.79 1.29 -0.04

time (sec)

N/A 1.210 0.311 0.369 0.556 0.345 0.095 0.504 0.000

Problem 7905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 29 58 47 38 0 0 53

N.S.

1 0.00 1.00 2.00 1.62 1.31 0.00 0.00 1.83

time (sec)

N/A 180.006 0.247 20.710 0.321 0.400 0.000 0.000 11.382

Problem 7906

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

24 0 20 19 16 18 17 26 18

N.S.

1 0.00 0.83 0.79 0.67 0.75 0.71 1.08 0.75

time (sec)

N/A 0.388 0.074 21.148 0.565 0.362 0.039 0.419 5.192

Problem 7907

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 34 25 33 47 33 29 26 37

N.S.

1 1.21 0.89 1.18 1.68 1.18 1.04 0.93 1.32

time (sec)

N/A 0.161 0.056 1.850 0.308 0.384 0.091 0.409 5.498

Problem 7908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B B A A B B F

verified

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

size

32 0 153 98 38 37 75 66 -1

N.S.

1 0.00 4.78 3.06 1.19 1.16 2.34 2.06 -0.03

time (sec)

N/A 2.528 0.244 5.438 0.602 0.384 15.345 0.439 0.000

Problem 7909

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

30 0 37 50 579 30 31 32 30

N.S.

1 0.00 1.23 1.67 19.30 1.00 1.03 1.07 1.00

time (sec)

N/A 0.258 0.153 0.796 0.526 0.361 0.671 0.423 1.231

Problem 7910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B F A A B F

verified

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

size

34 0 33 73 0 29 29 58 -1

N.S.

1 0.00 0.97 2.15 0.00 0.85 0.85 1.71 -0.03

time (sec)

N/A 0.970 0.263 0.463 0.000 0.369 0.120 0.419 0.000

Problem 7911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A B B B B

verified

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

size

25 0 34 844 41 64 102 64 62

N.S.

1 0.00 1.36 33.76 1.64 2.56 4.08 2.56 2.48

time (sec)

N/A 7.604 0.123 2.933 0.335 0.418 0.733 0.843 5.869

Problem 7912

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

N.S.

1 0.67 0.58 0.67 0.62 1.00 0.58 0.67 0.62

time (sec)

N/A 0.030 0.014 0.364 0.283 0.430 0.079 0.410 0.099

Problem 7913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B B B B B B

verified

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

size

28 0 39 2336 1994 279 333 2318 367

N.S.

1 0.00 1.39 83.43 71.21 9.96 11.89 82.79 13.11

time (sec)

N/A 36.266 0.452 4.270 0.566 0.413 0.692 0.943 8.410

Problem 7914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 58 56 308 45 43 51 45 29

N.S.

1 2.07 2.00 11.00 1.61 1.54 1.82 1.61 1.04

time (sec)

N/A 0.110 0.021 0.380 0.281 0.359 0.098 0.412 0.160

Problem 7915

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

24 0 24 25 46 24 19 0 24

N.S.

1 0.00 1.00 1.04 1.92 1.00 0.79 0.00 1.00

time (sec)

N/A 0.879 0.096 0.608 0.291 0.382 0.084 0.000 6.064

Problem 7916

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

N.S.

1 0.94 1.18 0.88 0.82 0.82 0.82 0.82 0.82

time (sec)

N/A 0.217 0.052 2.102 0.307 0.365 0.066 0.416 4.782

Problem 7917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 27 26 118 0 20 51 20 21

N.S.

1 1.17 1.13 5.13 0.00 0.87 2.22 0.87 0.91

time (sec)

N/A 0.082 0.025 1.010 0.000 0.376 0.778 0.428 4.887

Problem 7918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B B B B B B

verified

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

size

36 0 61 69 83 83 75 85 76

N.S.

1 0.00 1.69 1.92 2.31 2.31 2.08 2.36 2.11

time (sec)

N/A 13.862 10.232 0.187 0.406 0.368 0.310 0.485 5.414

Problem 7919

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

28 0 29 30 36 29 19 38 30

N.S.

1 0.00 1.04 1.07 1.29 1.04 0.68 1.36 1.07

time (sec)

N/A 1.715 2.348 0.852 0.334 0.355 0.088 0.413 0.190

Problem 7920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B B B A B F

verified

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

size

21 0 30 183 67 67 32 128 -1

N.S.

1 0.00 1.43 8.71 3.19 3.19 1.52 6.10 -0.05

time (sec)

N/A 0.971 0.045 4.348 0.571 0.383 0.104 0.460 0.000

Problem 7921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C A B B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 123 42 102 67 39 29 52 48

N.S.

1 4.92 1.68 4.08 2.68 1.56 1.16 2.08 1.92

time (sec)

N/A 0.368 0.153 0.882 0.568 0.389 0.249 0.400 5.175

Problem 7922

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

26 38 212 35 33 32 31 36 2500

N.S.

1 1.46 8.15 1.35 1.27 1.23 1.19 1.38 96.15

time (sec)

N/A 0.095 0.196 0.279 0.340 0.382 6.203 0.433 31.348

Problem 7923

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

36 34 35 56 59 35 27 36 30

N.S.

1 0.94 0.97 1.56 1.64 0.97 0.75 1.00 0.83

time (sec)

N/A 0.087 0.082 0.306 0.296 0.356 0.066 0.421 5.020

Problem 7924

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

N.S.

1 0.00 1.04 0.92 0.92 0.72 0.88 0.88 0.68

time (sec)

N/A 0.306 0.136 1.975 0.538 0.393 0.110 0.438 5.803

Problem 7925

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

24 0 35 72 20 18 12 18 38

N.S.

1 0.00 1.46 3.00 0.83 0.75 0.50 0.75 1.58

time (sec)

N/A 6.919 1.345 0.303 0.351 0.432 0.080 0.463 5.174

Problem 7926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C C A C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 15 15 12 15 11 10 11 11

N.S.

1 0.56 0.56 0.44 0.56 0.41 0.37 0.41 0.41

time (sec)

N/A 0.045 0.010 0.977 0.303 0.354 0.030 0.424 4.614

Problem 7927

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 20 20 19 18 20 15 18 18

N.S.

1 1.11 1.11 1.06 1.00 1.11 0.83 1.00 1.00

time (sec)

N/A 0.053 0.025 0.152 0.310 0.371 0.050 0.412 0.135

Problem 7928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B F A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 36 14 35 0 13 10 37 13

N.S.

1 2.57 1.00 2.50 0.00 0.93 0.71 2.64 0.93

time (sec)

N/A 0.143 0.046 3.520 0.000 0.340 0.058 0.424 5.120

Problem 7929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B A B B B B F

verified

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

size

26 0 59 51 56 55 49 54 -1

N.S.

1 0.00 2.27 1.96 2.15 2.12 1.88 2.08 -0.04

time (sec)

N/A 2.855 10.182 0.395 0.350 0.372 0.789 1.476 0.000

Problem 7930

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 28 21 24 23 23 20 25 20

N.S.

1 1.33 1.00 1.14 1.10 1.10 0.95 1.19 0.95

time (sec)

N/A 2.104 0.142 0.455 0.307 0.360 0.851 0.428 4.939

Problem 7931

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 18 18 16 16 15 30 16

N.S.

1 0.00 0.86 0.86 0.76 0.76 0.71 1.43 0.76

time (sec)

N/A 0.270 0.072 0.285 0.308 0.375 0.129 0.428 4.746

Problem 7932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 46 16 25 41 21 24 21 12

N.S.

1 2.88 1.00 1.56 2.56 1.31 1.50 1.31 0.75

time (sec)

N/A 0.047 0.117 0.053 0.281 0.343 0.048 0.424 0.095

Problem 7933

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

N.S.

1 0.93 0.93 1.00 0.93 0.73 1.00 0.93 0.93

time (sec)

N/A 0.080 0.016 0.293 0.310 0.352 0.120 0.413 4.830

Problem 7934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B B B B B B B

verified

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

size

32 0 109 114 323 136 136 246 218

N.S.

1 0.00 3.41 3.56 10.09 4.25 4.25 7.69 6.81

time (sec)

N/A 0.683 1.309 0.709 0.586 0.375 0.410 0.480 5.235

Problem 7935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

22 0 30 34 33 33 0 41 41

N.S.

1 0.00 1.36 1.55 1.50 1.50 0.00 1.86 1.86

time (sec)

N/A 1.224 0.184 54.403 0.332 0.363 0.000 0.433 4.955

Problem 7936

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

29 45 38 42 45 32 44 39 24

N.S.

1 1.55 1.31 1.45 1.55 1.10 1.52 1.34 0.83

time (sec)

N/A 0.045 0.239 0.776 0.312 0.375 0.067 0.412 4.694

Problem 7937

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 14 14 17 25 16 14 16 14

N.S.

1 1.00 1.00 1.21 1.79 1.14 1.00 1.14 1.00

time (sec)

N/A 1.136 0.237 0.670 0.312 0.352 0.054 0.430 6.380

Problem 7938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 51 50 60 60 53 0 61

N.S.

1 0.00 1.89 1.85 2.22 2.22 1.96 0.00 2.26

time (sec)

N/A 2.684 10.073 0.435 0.319 0.374 0.169 0.000 0.644

Problem 7939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 17 15 261 0 18 15 33 -1

N.S.

1 0.94 0.83 14.50 0.00 1.00 0.83 1.83 -0.06

time (sec)

N/A 0.236 0.011 3.210 0.000 0.383 15.076 0.483 0.000

Problem 7940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 69 33 26 25 25 26 0 25

N.S.

1 3.00 1.43 1.13 1.09 1.09 1.13 0.00 1.09

time (sec)

N/A 0.122 0.806 1.524 0.353 0.376 0.105 0.000 5.226

Problem 7941

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

18 26 26 27 34 22 27 26 16

N.S.

1 1.44 1.44 1.50 1.89 1.22 1.50 1.44 0.89

time (sec)

N/A 0.031 0.008 0.138 0.280 0.377 0.067 0.430 5.032

Problem 7942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A B A B

verified

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

size

19 0 19 22 20 20 27 21 31

N.S.

1 0.00 1.00 1.16 1.05 1.05 1.42 1.11 1.63

time (sec)

N/A 1.520 1.372 0.098 0.396 0.381 0.109 0.444 0.149

Problem 7943

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

37 213 31 166 269 51 46 56 53

N.S.

1 5.76 0.84 4.49 7.27 1.38 1.24 1.51 1.43

time (sec)

N/A 0.769 0.266 0.915 0.716 0.374 0.132 0.525 3.852

Problem 7944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B B B B B B F

verified

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

size

24 0 52 47 53 43 51 46 -1

N.S.

1 0.00 2.17 1.96 2.21 1.79 2.12 1.92 -0.04

time (sec)

N/A 1.601 0.095 1.411 0.546 0.400 0.180 0.498 0.000

Problem 7945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 544 22 76 19 19 15 19 18

N.S.

1 22.67 0.92 3.17 0.79 0.79 0.62 0.79 0.75

time (sec)

N/A 0.918 0.153 0.343 0.307 0.373 0.042 0.466 5.140

Problem 7946

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

N.S.

1 0.95 1.00 1.36 1.18 1.14 1.09 1.18 0.86

time (sec)

N/A 0.023 0.015 0.463 0.347 0.387 0.056 0.469 5.769

Problem 7947

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 17 17 18 17 19 17 16 19

N.S.

1 1.21 1.21 1.29 1.21 1.36 1.21 1.14 1.36

time (sec)

N/A 0.033 0.014 0.064 0.273 0.383 0.048 0.477 5.305

Problem 7948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B F B B B B B B

verified

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

size

17 56 0 56 57 52 54 57 65

N.S.

1 3.29 0.00 3.29 3.35 3.06 3.18 3.35 3.82

time (sec)

N/A 1.089 1.469 0.375 0.639 0.399 0.105 0.476 4.831

Problem 7949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B B B B B F

verified

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

size

27 0 53 84 57 61 63 85 -1

N.S.

1 0.00 1.96 3.11 2.11 2.26 2.33 3.15 -0.04

time (sec)

N/A 46.660 0.093 2.216 0.581 0.361 0.487 0.960 0.000

Problem 7950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 0 58 55 77 0 57 57

N.S.

1 0.00 0.00 1.81 1.72 2.41 0.00 1.78 1.78

time (sec)

N/A 68.799 7.854 0.451 0.689 0.366 0.000 0.518 37.182

Problem 7951

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 30 32 29 30 28 29 30 30

N.S.

1 1.36 1.45 1.32 1.36 1.27 1.32 1.36 1.36

time (sec)

N/A 0.009 0.008 0.265 0.274 0.365 0.088 0.485 4.836

Problem 7952

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

N.S.

1 1.08 1.12 1.16 1.12 1.08 0.96 1.12 1.08

time (sec)

N/A 0.040 0.014 0.383 0.279 0.349 0.194 0.459 0.095

Problem 7953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 21 21 38 20 96 34 0 22

N.S.

1 1.00 1.00 1.81 0.95 4.57 1.62 0.00 1.05

time (sec)

N/A 0.988 0.365 2.320 0.299 0.368 0.701 0.000 6.285

Problem 7954

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

N.S.

1 0.50 0.50 0.56 0.50 0.50 0.39 0.50 0.44

time (sec)

N/A 0.001 0.000 0.246 0.268 0.366 0.005 0.476 0.032

Problem 7955

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

26 0 25 24 28 25 20 0 28

N.S.

1 0.00 0.96 0.92 1.08 0.96 0.77 0.00 1.08

time (sec)

N/A 3.341 0.092 2.003 0.576 0.354 0.551 0.000 8.631

Problem 7956

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

28 40 32 280 106 65 131 46 75

N.S.

1 1.43 1.14 10.00 3.79 2.32 4.68 1.64 2.68

time (sec)

N/A 0.029 0.016 0.543 0.270 0.381 0.724 0.567 5.001

Problem 7957

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 23 23 24 21 21 20 21 19

N.S.

1 0.96 0.96 1.00 0.88 0.88 0.83 0.88 0.79

time (sec)

N/A 0.002 0.002 0.331 0.280 0.344 0.009 0.471 0.350

Problem 7958

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

23 0 23 2102 23 23 19 26 23

N.S.

1 0.00 1.00 91.39 1.00 1.00 0.83 1.13 1.00

time (sec)

N/A 1.578 0.139 3.497 0.526 0.375 1.068 0.609 5.647

Problem 7959

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

30 0 33 30 33 38 20 40 26

N.S.

1 0.00 1.10 1.00 1.10 1.27 0.67 1.33 0.87

time (sec)

N/A 4.303 0.241 0.164 0.387 0.358 0.072 0.430 4.949

Problem 7960

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 7 7 7 6 6 5 6 6

N.S.

1 1.00 1.00 1.00 0.86 0.86 0.71 0.86 0.86

time (sec)

N/A 0.001 0.003 1.660 0.288 0.352 0.035 0.451 5.534

Problem 7961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A F

verified

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

size

29 0 47 50 49 49 31 49 -1

N.S.

1 0.00 1.62 1.72 1.69 1.69 1.07 1.69 -0.03

time (sec)

N/A 2.135 0.063 1.483 0.332 0.366 0.258 0.534 0.000

Problem 7962

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

28 0 24 34 36 36 31 44 28

N.S.

1 0.00 0.86 1.21 1.29 1.29 1.11 1.57 1.00

time (sec)

N/A 2.687 0.142 1.450 0.543 0.399 0.068 0.415 0.259

Problem 7963

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 24 12 29 17 13 17 13 17

N.S.

1 1.09 0.55 1.32 0.77 0.59 0.77 0.59 0.77

time (sec)

N/A 0.019 0.049 0.146 0.270 0.366 0.036 0.409 4.789

Problem 7964

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 16 9 7 9 12 7 8

N.S.

1 0.80 1.07 0.60 0.47 0.60 0.80 0.47 0.53

time (sec)

N/A 0.002 0.000 0.129 0.291 0.376 0.004 0.561 0.002

Problem 7965

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 30 36 35 33 34 36 21

N.S.

1 0.00 1.43 1.71 1.67 1.57 1.62 1.71 1.00

time (sec)

N/A 0.437 0.146 60.366 0.317 0.377 0.184 0.424 5.331

Problem 7966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B A A B B B

verified

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

size

24 0 40 51 38 44 41 131 97

N.S.

1 0.00 1.67 2.12 1.58 1.83 1.71 5.46 4.04

time (sec)

N/A 3.920 0.180 0.176 0.495 0.379 0.327 0.556 5.458

Problem 7967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B B B B B

verified

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

size

18 0 28 35 305 46 41 126 130

N.S.

1 0.00 1.56 1.94 16.94 2.56 2.28 7.00 7.22

time (sec)

N/A 4.439 0.101 0.510 0.659 0.388 0.091 0.590 7.716

Problem 7968

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

16 0 27 19 25 24 20 18 18

N.S.

1 0.00 1.69 1.19 1.56 1.50 1.25 1.12 1.12

time (sec)

N/A 0.489 0.384 0.153 0.332 0.399 0.109 0.420 0.162

Problem 7969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B B F B B B F

verified

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

size

27 0 104 230 0 172 231 717 -1

N.S.

1 0.00 3.85 8.52 0.00 6.37 8.56 26.56 -0.04

time (sec)

N/A 3.241 0.244 0.450 0.000 0.387 0.388 0.468 0.000

Problem 7970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B A A F B

verified

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

size

31 0 28 35 83 34 32 0 87

N.S.

1 0.00 0.90 1.13 2.68 1.10 1.03 0.00 2.81

time (sec)

N/A 7.797 0.193 0.687 0.521 0.420 0.283 0.000 7.432

Problem 7971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B B B F B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 69 65 56 0 61 70 61 -1

N.S.

1 2.76 2.60 2.24 0.00 2.44 2.80 2.44 -0.04

time (sec)

N/A 0.210 0.102 0.266 0.000 0.399 0.217 0.460 0.000

Problem 7972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 53 22 28 57 27 32 27 24

N.S.

1 2.41 1.00 1.27 2.59 1.23 1.45 1.23 1.09

time (sec)

N/A 0.481 5.627 0.319 0.352 0.407 0.064 0.440 0.232

Problem 7973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 79 24 18 0 20 0 0 18

N.S.

1 3.04 0.92 0.69 0.00 0.77 0.00 0.00 0.69

time (sec)

N/A 0.137 0.094 1.133 0.000 0.428 0.000 0.000 5.180

Problem 7974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A C A A B B

verified

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

size

32 0 28 47 70 41 19 86 25

N.S.

1 0.00 0.88 1.47 2.19 1.28 0.59 2.69 0.78

time (sec)

N/A 0.162 0.382 6.783 0.538 0.382 0.055 0.453 5.085

Problem 7975

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 121 85 115 104 104 112 104 114

N.S.

1 5.26 3.70 5.00 4.52 4.52 4.87 4.52 4.96

time (sec)

N/A 0.350 0.106 0.417 0.499 0.402 0.071 0.413 0.359

Problem 7976

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 40 36 34 34 32 29 33 34

N.S.

1 1.48 1.33 1.26 1.26 1.19 1.07 1.22 1.26

time (sec)

N/A 0.019 0.012 0.468 0.304 0.369 0.054 0.410 5.304

Problem 7977

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B A A B B

verified

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

size

24 0 36 45 43 21 32 43 36

N.S.

1 0.00 1.50 1.88 1.79 0.88 1.33 1.79 1.50

time (sec)

N/A 0.586 0.120 2.601 0.540 0.374 0.176 0.427 8.403

Problem 7978

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 29 28 24 23 23 24 24 22

N.S.

1 1.26 1.22 1.04 1.00 1.00 1.04 1.04 0.96

time (sec)

N/A 0.069 0.027 0.391 0.334 0.366 0.130 0.419 5.823

Problem 7979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F F A F B A F B

verified

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

size

26 0 83 34 0 49 32 0 25

N.S.

1 0.00 3.19 1.31 0.00 1.88 1.23 0.00 0.96

time (sec)

N/A 1.610 0.644 0.530 0.000 0.374 0.171 0.000 5.609

Problem 7980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B A A B B

verified

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

size

23 0 28 28 110 25 26 49 25

N.S.

1 0.00 1.22 1.22 4.78 1.09 1.13 2.13 1.09

time (sec)

N/A 1.375 0.070 5.329 0.527 0.378 0.147 0.498 15.734

Problem 7981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C B C B A A B B

verified

N/A NO Yes TBD TBD TBD TBD TBD TBD

size

23 13828 55 220 49 46 49 48 48

N.S.

1 601.22 2.39 9.57 2.13 2.00 2.13 2.09 2.09

time (sec)

N/A 104.205 0.048 1.246 0.296 0.366 1.739 0.413 0.432

Problem 7982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 54 16 15 14 14 14 0 14

N.S.

1 3.38 1.00 0.94 0.88 0.88 0.88 0.00 0.88

time (sec)

N/A 0.024 0.024 0.099 0.316 0.374 1.985 0.000 5.519

Problem 7983

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

N.S.

1 1.70 1.00 1.80 1.70 1.00 0.70 1.00 1.00

time (sec)

N/A 0.147 0.022 1.754 0.304 0.372 0.041 0.415 5.844

Problem 7984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F F B A B B B B

verified

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

size

27 0 0 60 43 51 46 149 120

N.S.

1 0.00 0.00 2.22 1.59 1.89 1.70 5.52 4.44

time (sec)

N/A 51.569 5.812 2.187 0.802 0.381 0.935 0.635 6.650

Problem 7985

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 8 8 9 8 8 5 9 8

N.S.

1 0.38 0.38 0.43 0.38 0.38 0.24 0.43 0.38

time (sec)

N/A 0.002 0.001 0.007 0.273 0.359 0.017 0.421 0.021

Problem 7986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B B B B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 122 70 59 117 46 53 122 49

N.S.

1 4.88 2.80 2.36 4.68 1.84 2.12 4.88 1.96

time (sec)

N/A 0.092 0.039 0.413 0.282 0.375 0.090 0.404 5.092

Problem 7987

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

N.S.

1 0.76 0.76 0.76 0.71 0.71 0.67 0.71 0.62

time (sec)

N/A 0.127 0.418 0.936 0.304 0.397 0.061 0.423 0.183

Problem 7988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 28 260 27 25 22 25 24

N.S.

1 0.00 1.00 9.29 0.96 0.89 0.79 0.89 0.86

time (sec)

N/A 180.000 0.277 0.413 0.405 0.372 1.055 0.528 5.618

Problem 7989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B B A B B

verified

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

size

25 0 24 24 74 74 37 78 191

N.S.

1 0.00 0.96 0.96 2.96 2.96 1.48 3.12 7.64

time (sec)

N/A 3.881 0.277 0.296 0.440 0.411 0.188 0.572 6.031

Problem 7990

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

N.S.

1 0.70 0.70 0.80 0.70 0.75 0.75 0.80 0.70

time (sec)

N/A 0.008 0.009 0.350 0.286 0.408 0.032 0.419 0.053

Problem 7991

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

23 0 23 37 36 36 15 22 28

N.S.

1 0.00 1.00 1.61 1.57 1.57 0.65 0.96 1.22

time (sec)

N/A 0.346 0.080 1.441 0.318 0.415 0.043 0.442 5.184

Problem 7992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 93 26 25 52 24 24 0 25

N.S.

1 3.00 0.84 0.81 1.68 0.77 0.77 0.00 0.81

time (sec)

N/A 1.208 0.065 0.625 0.600 0.374 10.115 0.000 8.116

Problem 7993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 27 27 50 46 27 20 31 30

N.S.

1 1.12 1.12 2.08 1.92 1.12 0.83 1.29 1.25

time (sec)

N/A 0.083 0.226 0.999 0.301 0.412 0.050 0.428 5.269

Problem 7994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A F A A F B

verified

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

size

19 0 19 16 0 27 19 0 22

N.S.

1 0.00 1.00 0.84 0.00 1.42 1.00 0.00 1.16

time (sec)

N/A 0.623 0.115 0.074 0.000 0.408 0.103 0.000 6.515

Problem 7995

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

N.S.

1 1.60 1.33 1.93 1.33 1.33 1.27 1.33 1.27

time (sec)

N/A 0.003 0.005 0.362 0.300 0.359 0.011 0.413 0.305

Problem 7996

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 13 5 5 9 4 3 4 4

N.S.

1 1.86 0.71 0.71 1.29 0.57 0.43 0.57 0.57

time (sec)

N/A 0.006 0.004 0.143 0.351 0.391 0.027 0.415 0.023

Problem 7997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F F A A A A A F

verified

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

size

31 0 0 40 54 38 36 38 -1

N.S.

1 0.00 0.00 1.29 1.74 1.23 1.16 1.23 -0.03

time (sec)

N/A 2.464 0.405 0.933 0.311 0.410 0.144 0.463 0.000

Problem 7998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 110 260 217 195 201 0 1346

N.S.

1 0.00 4.07 9.63 8.04 7.22 7.44 0.00 49.85

time (sec)

N/A 180.002 8.840 1.423 2.253 0.436 40.490 0.000 8.478

Problem 7999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A B A B

verified

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

size

29 0 24 187 26 24 41 23 21

N.S.

1 0.00 0.83 6.45 0.90 0.83 1.41 0.79 0.72

time (sec)

N/A 0.504 0.059 9.867 0.540 0.387 0.739 0.588 5.421

Problem 8000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F C A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 18 18 0 25 18 14 284 18

N.S.

1 0.82 0.82 0.00 1.14 0.82 0.64 12.91 0.82

time (sec)

N/A 0.111 0.025 7.118 0.558 0.383 0.077 0.510 5.550

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