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

2.2.100 Integrals 9901 to 10000

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 9901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 26 15 93 0 14 15 14 15

N.S.

1 1.53 0.88 5.47 0.00 0.82 0.88 0.82 0.88

time (sec)

N/A 0.248 0.064 0.164 0.000 0.381 0.120 0.428 5.624

Problem 9902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 23 23 72 28 20 26 0 19

N.S.

1 0.79 0.79 2.48 0.97 0.69 0.90 0.00 0.66

time (sec)

N/A 0.293 0.022 0.260 0.499 0.397 0.669 0.000 5.671

Problem 9903

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

20 22 23 119 22 23 20 23 23

N.S.

1 1.10 1.15 5.95 1.10 1.15 1.00 1.15 1.15

time (sec)

N/A 0.140 0.012 0.183 0.252 0.380 0.416 0.399 0.119

Problem 9904

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

N.S.

1 0.47 0.53 0.38 0.34 0.53 0.25 0.34 0.41

time (sec)

N/A 0.011 0.005 0.080 0.253 0.343 0.022 0.404 0.037

Problem 9905

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

N.S.

1 0.58 0.47 0.42 0.37 0.37 0.26 0.37 0.42

time (sec)

N/A 0.001 0.001 0.006 0.257 0.332 0.005 0.400 0.036

Problem 9906

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

19 19 19 33 19 28 15 39 20

N.S.

1 1.00 1.00 1.74 1.00 1.47 0.79 2.05 1.05

time (sec)

N/A 0.059 0.016 0.034 0.255 0.362 0.052 0.426 0.078

Problem 9907

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 21 12 14 20 20 17 20 10

N.S.

1 1.91 1.09 1.27 1.82 1.82 1.55 1.82 0.91

time (sec)

N/A 0.004 0.001 0.015 0.255 0.418 0.009 0.402 5.644

Problem 9908

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

28 41 41 114 69 94 24 254 61

N.S.

1 1.46 1.46 4.07 2.46 3.36 0.86 9.07 2.18

time (sec)

N/A 0.180 0.176 0.076 0.464 0.381 0.139 0.520 0.306

Problem 9909

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

31 0 28 27 185 26 24 59 61

N.S.

1 0.00 0.90 0.87 5.97 0.84 0.77 1.90 1.97

time (sec)

N/A 9.740 0.073 0.277 0.645 0.375 0.487 1.384 6.454

Problem 9910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 25 25 22 21 23 19 21 20

N.S.

1 0.89 0.89 0.79 0.75 0.82 0.68 0.75 0.71

time (sec)

N/A 0.052 0.008 0.020 0.269 0.368 0.058 0.419 5.698

Problem 9911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

22 0 34 29 0 50 26 530 29

N.S.

1 0.00 1.55 1.32 0.00 2.27 1.18 24.09 1.32

time (sec)

N/A 0.915 0.850 1.307 0.000 0.373 0.182 0.448 5.686

Problem 9912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A B A B B

verified

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

size

25 0 27 21 20 43 20 43 21

N.S.

1 0.00 1.08 0.84 0.80 1.72 0.80 1.72 0.84

time (sec)

N/A 0.381 0.070 0.152 0.525 0.371 0.103 0.429 5.749

Problem 9913

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

26 26 21 23 20 20 26 61 17

N.S.

1 1.00 0.81 0.88 0.77 0.77 1.00 2.35 0.65

time (sec)

N/A 34.952 6.321 0.102 0.250 0.573 42.504 0.999 6.258

Problem 9914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 30 85 25 53 23 22 25 24

N.S.

1 1.15 3.27 0.96 2.04 0.88 0.85 0.96 0.92

time (sec)

N/A 0.597 0.135 0.085 0.512 0.361 0.078 0.424 5.747

Problem 9915

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

34 0 41 44 104 43 37 44 43

N.S.

1 0.00 1.21 1.29 3.06 1.26 1.09 1.29 1.26

time (sec)

N/A 23.832 0.119 1.889 0.419 0.363 0.266 2.535 7.559

Problem 9916

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

N.S.

1 1.00 0.94 0.94 0.59 0.59 0.88 0.59 0.65

time (sec)

N/A 0.007 0.010 0.023 0.271 0.357 0.052 0.422 0.056

Problem 9917

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 19 28 21 45 17 39 21

N.S.

1 1.00 0.86 1.27 0.95 2.05 0.77 1.77 0.95

time (sec)

N/A 0.140 0.015 0.072 0.255 0.375 0.073 0.410 0.205

Problem 9918

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

N.S.

1 1.38 1.00 0.85 0.77 0.77 0.77 0.77 0.77

time (sec)

N/A 0.042 0.011 0.015 0.252 0.401 0.028 0.413 7.023

Problem 9919

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

36 0 36 29 28 34 29 0 26

N.S.

1 0.00 1.00 0.81 0.78 0.94 0.81 0.00 0.72

time (sec)

N/A 3.015 0.197 0.086 0.347 0.372 0.392 0.000 0.163

Problem 9920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C B B F B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 553 51 141 0 57 206 61 62

N.S.

1 25.14 2.32 6.41 0.00 2.59 9.36 2.77 2.82

time (sec)

N/A 1.407 0.296 0.112 0.000 0.377 0.584 0.414 0.238

Problem 9921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

27 0 46 24 44 44 20 44 23

N.S.

1 0.00 1.70 0.89 1.63 1.63 0.74 1.63 0.85

time (sec)

N/A 1.041 2.642 0.037 0.293 0.390 0.078 0.418 6.541

Problem 9922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 36 268 33 31 0 40 31

N.S.

1 0.00 1.33 9.93 1.22 1.15 0.00 1.48 1.15

time (sec)

N/A 29.879 0.316 2.083 0.637 0.385 0.000 1.854 13.193

Problem 9923

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

31 22 20 21 27 25 26 27 22

N.S.

1 0.71 0.65 0.68 0.87 0.81 0.84 0.87 0.71

time (sec)

N/A 0.019 0.007 0.033 0.252 0.355 0.228 0.423 0.135

Problem 9924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A B A F B

verified

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

size

21 0 21 18 17 45 17 0 19

N.S.

1 0.00 1.00 0.86 0.81 2.14 0.81 0.00 0.90

time (sec)

N/A 4.627 0.527 0.130 0.297 0.446 27.690 0.000 7.273

Problem 9925

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 14 14 18 13 13 12 17 13

N.S.

1 0.78 0.78 1.00 0.72 0.72 0.67 0.94 0.72

time (sec)

N/A 0.154 0.056 0.174 0.290 0.382 0.152 0.409 7.179

Problem 9926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A F B A F B

verified

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

size

32 0 33 30 0 94 29 0 34

N.S.

1 0.00 1.03 0.94 0.00 2.94 0.91 0.00 1.06

time (sec)

N/A 106.298 0.164 3.543 0.000 0.386 0.559 0.000 9.060

Problem 9927

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

N.S.

1 1.00 1.00 1.00 0.93 0.93 0.93 0.93 0.93

time (sec)

N/A 0.018 0.006 0.043 0.276 0.389 0.074 0.386 7.321

Problem 9928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 36 35 74 61 43 39 43 25

N.S.

1 1.29 1.25 2.64 2.18 1.54 1.39 1.54 0.89

time (sec)

N/A 0.074 0.030 0.049 0.262 0.357 0.081 0.405 7.446

Problem 9929

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

25 0 34 50 44 35 65 51 51

N.S.

1 0.00 1.36 2.00 1.76 1.40 2.60 2.04 2.04

time (sec)

N/A 1.644 3.219 0.147 0.282 0.421 0.089 0.405 6.815

Problem 9930

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

21 28 34 50 35 36 48 36 34

N.S.

1 1.33 1.62 2.38 1.67 1.71 2.29 1.71 1.62

time (sec)

N/A 0.070 0.016 0.341 0.260 0.359 0.755 0.412 0.324

Problem 9931

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

22 22 22 21 40 22 17 18 33

N.S.

1 1.00 1.00 0.95 1.82 1.00 0.77 0.82 1.50

time (sec)

N/A 0.037 0.014 0.155 0.263 0.370 0.054 0.402 7.309

Problem 9932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 0 28 157 0 24 134 26 27

N.S.

1 0.00 1.12 6.28 0.00 0.96 5.36 1.04 1.08

time (sec)

N/A 180.021 0.026 0.220 0.000 0.349 2.576 0.401 0.182

Problem 9933

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

28 0 26 32 91 34 17 0 20

N.S.

1 0.00 0.93 1.14 3.25 1.21 0.61 0.00 0.71

time (sec)

N/A 7.666 0.342 0.145 0.533 0.395 0.338 0.000 7.816

Problem 9934

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

27 0 27 23 26 22 31 37 -1

N.S.

1 0.00 1.00 0.85 0.96 0.81 1.15 1.37 -0.04

time (sec)

N/A 14.119 0.068 0.057 0.376 0.356 0.484 0.483 0.000

Problem 9935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 21 50 33 141 42 40 33

N.S.

1 1.00 0.91 2.17 1.43 6.13 1.83 1.74 1.43

time (sec)

N/A 1.133 0.277 0.172 0.407 0.478 0.369 0.430 7.650

Problem 9936

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

N.S.

1 0.86 1.00 0.83 0.86 0.72 0.66 0.86 0.76

time (sec)

N/A 0.423 0.045 0.160 0.290 0.376 0.136 0.410 7.859

Problem 9937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 17 81 29 15 14 27 15

N.S.

1 1.00 1.00 4.76 1.71 0.88 0.82 1.59 0.88

time (sec)

N/A 0.040 0.048 0.089 0.289 0.352 0.046 0.415 8.123

Problem 9938

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

34 0 33 423 37 37 27 37 29

N.S.

1 0.00 0.97 12.44 1.09 1.09 0.79 1.09 0.85

time (sec)

N/A 0.740 0.065 0.234 0.487 0.354 0.067 0.426 8.071

Problem 9939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

22 0 18 17 36 16 17 0 16

N.S.

1 0.00 0.82 0.77 1.64 0.73 0.77 0.00 0.73

time (sec)

N/A 1.841 0.093 0.082 0.554 0.355 0.335 0.000 7.780

Problem 9940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C C A A A A C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 72 70 33 32 32 34 43 25

N.S.

1 2.88 2.80 1.32 1.28 1.28 1.36 1.72 1.00

time (sec)

N/A 0.049 0.055 0.036 0.249 0.421 0.038 0.424 0.093

Problem 9941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 34 30 55 52 27 0 40

N.S.

1 0.00 1.06 0.94 1.72 1.62 0.84 0.00 1.25

time (sec)

N/A 3.311 0.276 0.158 0.522 0.367 1.193 0.000 7.167

Problem 9942

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

34 45 47 36 31 48 26 54 31

N.S.

1 1.32 1.38 1.06 0.91 1.41 0.76 1.59 0.91

time (sec)

N/A 0.260 0.029 0.230 0.315 0.355 5.763 0.412 7.667

Problem 9943

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

31 0 25 31 26 26 29 26 -1

N.S.

1 0.00 0.81 1.00 0.84 0.84 0.94 0.84 -0.03

time (sec)

N/A 14.616 0.206 0.519 0.500 0.358 0.093 0.438 0.000

Problem 9944

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 18 16 13 12 12 12 12 14

N.S.

1 0.95 0.84 0.68 0.63 0.63 0.63 0.63 0.74

time (sec)

N/A 0.065 0.014 0.053 0.249 0.345 0.052 0.406 0.079

Problem 9945

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

N.S.

1 0.64 0.64 0.64 0.60 0.60 0.56 0.60 0.60

time (sec)

N/A 0.020 0.016 0.021 0.261 0.396 0.037 0.422 0.067

Problem 9946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 60 18 18 0 22 17 21 17

N.S.

1 2.86 0.86 0.86 0.00 1.05 0.81 1.00 0.81

time (sec)

N/A 0.102 0.025 0.055 0.000 0.384 0.103 0.414 7.410

Problem 9947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 197 36 32 0 36 0 37 69

N.S.

1 5.97 1.09 0.97 0.00 1.09 0.00 1.12 2.09

time (sec)

N/A 1.303 0.058 0.095 0.000 0.383 0.000 0.892 7.827

Problem 9948

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

18 24 23 24 29 22 26 22 18

N.S.

1 1.33 1.28 1.33 1.61 1.22 1.44 1.22 1.00

time (sec)

N/A 0.048 0.017 0.047 0.278 0.357 0.083 0.399 6.859

Problem 9949

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 28 14 27 24 19 15 24 13

N.S.

1 1.56 0.78 1.50 1.33 1.06 0.83 1.33 0.72

time (sec)

N/A 0.012 0.003 0.020 0.262 0.353 0.038 0.405 7.407

Problem 9950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 29 14 17 12 16 10 12 13

N.S.

1 2.07 1.00 1.21 0.86 1.14 0.71 0.86 0.93

time (sec)

N/A 0.066 0.012 0.149 0.307 0.392 0.066 0.429 8.888

Problem 9951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A C A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 247 24 133 36 52 49 52 50

N.S.

1 10.29 1.00 5.54 1.50 2.17 2.04 2.17 2.08

time (sec)

N/A 1.582 0.108 0.392 0.391 0.403 0.363 1.421 8.836

Problem 9952

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

N.S.

1 1.69 1.69 1.77 1.69 1.69 2.00 1.69 1.69

time (sec)

N/A 0.036 0.008 0.025 0.254 0.392 0.038 0.412 7.122

Problem 9953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 41 172 46 49 0 0 -1

N.S.

1 0.00 1.28 5.38 1.44 1.53 0.00 0.00 -0.03

time (sec)

N/A 25.219 0.162 0.339 0.490 0.383 0.000 0.000 0.000

Problem 9954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B C A A B B

verified

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

size

23 0 24 47 43 33 20 79 22

N.S.

1 0.00 1.04 2.04 1.87 1.43 0.87 3.43 0.96

time (sec)

N/A 0.257 0.077 0.360 0.491 0.391 0.070 0.579 7.088

Problem 9955

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 26 23 23 26 42 24 28 27

N.S.

1 0.90 0.79 0.79 0.90 1.45 0.83 0.97 0.93

time (sec)

N/A 0.071 0.011 0.039 0.264 0.423 0.140 0.430 7.487

Problem 9956

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

N.S.

1 1.00 1.00 0.96 0.93 0.93 0.93 0.96 0.93

time (sec)

N/A 0.236 0.018 0.045 0.259 0.380 0.231 0.419 6.892

Problem 9957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A C A A A B

verified

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

size

25 0 28 37 46 28 26 28 24

N.S.

1 0.00 1.12 1.48 1.84 1.12 1.04 1.12 0.96

time (sec)

N/A 0.227 0.064 0.040 0.285 0.569 0.035 0.421 7.442

Problem 9958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A F F

verified

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

size

33 0 32 36 38 38 37 0 -1

N.S.

1 0.00 0.97 1.09 1.15 1.15 1.12 0.00 -0.03

time (sec)

N/A 6.329 0.253 0.194 0.286 0.382 0.264 0.000 0.000

Problem 9959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 19 18 26 69 65 73 206 -1

N.S.

1 0.95 0.90 1.30 3.45 3.25 3.65 10.30 -0.05

time (sec)

N/A 0.306 0.022 1.702 0.499 0.389 0.200 0.442 0.000

Problem 9960

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

29 85 70 66 79 57 53 65 47

N.S.

1 2.93 2.41 2.28 2.72 1.97 1.83 2.24 1.62

time (sec)

N/A 0.102 0.014 0.038 0.265 0.426 0.067 0.414 8.536

Problem 9961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A F F A A F B

verified

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

size

26 0 29 0 0 20 20 0 20

N.S.

1 0.00 1.12 0.00 0.00 0.77 0.77 0.00 0.77

time (sec)

N/A 3.852 0.117 0.059 0.000 0.424 0.312 0.000 0.460

Problem 9962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 26 28 0 42 20 49 73

N.S.

1 0.00 0.96 1.04 0.00 1.56 0.74 1.81 2.70

time (sec)

N/A 1.370 0.135 0.377 0.000 0.524 0.088 0.464 7.536

Problem 9963

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

29 56 37 43 41 41 54 41 49

N.S.

1 1.93 1.28 1.48 1.41 1.41 1.86 1.41 1.69

time (sec)

N/A 0.019 0.013 0.032 0.260 0.369 0.011 0.416 7.452

Problem 9964

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 45 18 35 17 17 15 17 17

N.S.

1 2.05 0.82 1.59 0.77 0.77 0.68 0.77 0.77

time (sec)

N/A 0.509 0.200 0.052 0.291 0.367 0.042 0.422 8.228

Problem 9965

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

28 414 156 253 188 182 236 176 189

N.S.

1 14.79 5.57 9.04 6.71 6.50 8.43 6.29 6.75

time (sec)

N/A 0.534 0.202 0.094 0.462 0.403 0.164 0.411 0.377

Problem 9966

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

20 0 21 19 60 18 15 18 18

N.S.

1 0.00 1.05 0.95 3.00 0.90 0.75 0.90 0.90

time (sec)

N/A 1.109 0.118 0.056 0.318 0.383 0.212 1.460 8.461

Problem 9967

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

31 0 35 36 32 32 34 36 36

N.S.

1 0.00 1.13 1.16 1.03 1.03 1.10 1.16 1.16

time (sec)

N/A 3.808 3.340 0.076 0.312 0.401 0.151 0.434 7.483

Problem 9968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 68 47 57 54 54 61 54 54

N.S.

1 2.52 1.74 2.11 2.00 2.00 2.26 2.00 2.00

time (sec)

N/A 0.454 0.102 0.056 0.471 0.391 0.078 0.407 8.413

Problem 9969

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 28 18 18 21 17 15 19 12

N.S.

1 1.56 1.00 1.00 1.17 0.94 0.83 1.06 0.67

time (sec)

N/A 0.053 0.031 0.051 0.281 0.369 0.111 0.404 8.512

Problem 9970

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

22 80 89 98 93 59 99 100 185

N.S.

1 3.64 4.05 4.45 4.23 2.68 4.50 4.55 8.41

time (sec)

N/A 0.115 0.030 0.140 0.259 0.380 0.189 0.406 7.141

Problem 9971

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 21 21 19 18 18 19 18 18

N.S.

1 1.05 1.05 0.95 0.90 0.90 0.95 0.90 0.90

time (sec)

N/A 0.025 0.060 0.014 0.265 0.373 0.034 0.397 7.401

Problem 9972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 74 20 56 90 25 31 25 26

N.S.

1 2.64 0.71 2.00 3.21 0.89 1.11 0.89 0.93

time (sec)

N/A 0.832 1.572 0.072 0.294 0.373 0.071 0.405 8.461

Problem 9973

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 39 20 37 26 20 20 20 18

N.S.

1 1.86 0.95 1.76 1.24 0.95 0.95 0.95 0.86

time (sec)

N/A 0.229 0.125 0.128 0.284 0.414 0.059 0.383 6.815

Problem 9974

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

N.S.

1 0.73 0.73 0.77 0.73 0.73 0.68 0.77 0.73

time (sec)

N/A 0.013 0.003 0.016 0.267 0.384 0.032 0.392 0.132

Problem 9975

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

N.S.

1 0.56 0.78 0.56 0.50 0.67 0.56 0.50 0.50

time (sec)

N/A 0.003 0.000 0.010 0.260 0.353 0.004 0.416 0.002

Problem 9976

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

22 0 20 19 18 18 17 22 18

N.S.

1 0.00 0.91 0.86 0.82 0.82 0.77 1.00 0.82

time (sec)

N/A 0.411 0.232 0.119 0.284 0.393 0.051 0.410 0.131

Problem 9977

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

N.S.

1 0.76 0.76 0.82 0.76 0.76 0.59 0.76 0.76

time (sec)

N/A 0.019 0.003 0.011 0.257 0.373 0.040 0.406 7.200

Problem 9978

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

20 0 19 19 29 29 17 29 20

N.S.

1 0.00 0.95 0.95 1.45 1.45 0.85 1.45 1.00

time (sec)

N/A 1.057 1.467 0.042 0.289 0.381 0.043 0.413 7.703

Problem 9979

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 23 23 25 24 22 20 27 20

N.S.

1 0.79 0.79 0.86 0.83 0.76 0.69 0.93 0.69

time (sec)

N/A 0.056 0.014 0.057 0.256 0.346 0.299 0.404 8.827

Problem 9980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A A B B

verified

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

size

24 0 20 1023 24 24 26 50 24

N.S.

1 0.00 0.83 42.62 1.00 1.00 1.08 2.08 1.00

time (sec)

N/A 3.133 0.099 25.904 0.528 0.399 0.429 0.721 10.515

Problem 9981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 56 25 70 0 49 26 48 -1

N.S.

1 1.75 0.78 2.19 0.00 1.53 0.81 1.50 -0.03

time (sec)

N/A 0.339 0.209 0.207 0.000 0.456 0.084 0.424 0.000

Problem 9982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

36 0 104 6974 124 352 413 0 -1

N.S.

1 0.00 2.89 193.72 3.44 9.78 11.47 0.00 -0.03

time (sec)

N/A 105.563 0.333 1.187 0.611 0.393 1.672 0.000 0.000

Problem 9983

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 20 20 21 18 16 19 18 18

N.S.

1 0.91 0.91 0.95 0.82 0.73 0.86 0.82 0.82

time (sec)

N/A 0.244 0.018 0.133 0.500 0.381 0.093 0.435 9.374

Problem 9984

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

18 126 101 124 120 78 90 129 74

N.S.

1 7.00 5.61 6.89 6.67 4.33 5.00 7.17 4.11

time (sec)

N/A 0.085 0.019 0.055 0.248 0.410 0.095 0.406 7.705

Problem 9985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 19 18 19 18 18 17 18 14

N.S.

1 1.12 1.06 1.12 1.06 1.06 1.00 1.06 0.82

time (sec)

N/A 0.044 0.026 0.018 0.255 0.368 0.029 0.402 0.108

Problem 9986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 36 24 109 65 34 37 161 44

N.S.

1 1.38 0.92 4.19 2.50 1.31 1.42 6.19 1.69

time (sec)

N/A 0.221 0.014 0.310 0.487 0.522 0.201 0.418 0.853

Problem 9987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 47 32 126 93 34 26 27 41

N.S.

1 1.68 1.14 4.50 3.32 1.21 0.93 0.96 1.46

time (sec)

N/A 0.466 0.057 0.075 0.322 0.407 0.079 0.398 9.360

Problem 9988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F A A A A A B

verified

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

size

28 31 0 32 31 42 34 31 41

N.S.

1 1.11 0.00 1.14 1.11 1.50 1.21 1.11 1.46

time (sec)

N/A 0.391 1.187 0.054 0.257 0.365 0.149 0.455 8.800

Problem 9989

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

31 0 37 40 35 39 39 52 36

N.S.

1 0.00 1.19 1.29 1.13 1.26 1.26 1.68 1.16

time (sec)

N/A 1.902 0.110 0.030 0.311 0.394 0.115 0.430 7.970

Problem 9990

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

N.S.

1 0.86 0.93 0.86 0.68 1.29 0.93 0.75 0.71

time (sec)

N/A 0.014 0.003 0.043 0.282 0.378 0.037 0.392 0.111

Problem 9991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 33 35 61 39 37 0 68

N.S.

1 0.00 1.22 1.30 2.26 1.44 1.37 0.00 2.52

time (sec)

N/A 15.024 0.097 0.144 0.429 0.380 0.245 0.000 8.994

Problem 9992

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

N.S.

1 0.50 0.50 0.50 0.40 0.40 0.30 0.40 0.40

time (sec)

N/A 0.002 0.000 0.010 0.267 0.486 0.018 0.412 0.009

Problem 9993

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

N.S.

1 1.29 2.00 1.21 1.00 1.00 1.00 1.00 1.14

time (sec)

N/A 0.006 0.000 0.017 0.255 0.363 0.004 0.416 0.002

Problem 9994

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

N.S.

1 1.09 1.18 1.36 1.27 1.27 1.09 1.27 1.18

time (sec)

N/A 0.005 0.000 0.013 0.266 0.350 0.008 0.407 0.078

Problem 9995

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

N.S.

1 0.92 0.92 0.92 0.83 0.83 0.58 0.83 0.83

time (sec)

N/A 0.003 0.002 0.010 0.264 0.383 0.024 0.415 7.448

Problem 9996

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

N.S.

1 0.71 0.71 0.62 0.58 0.58 0.62 0.58 0.58

time (sec)

N/A 0.004 0.001 0.018 0.263 0.361 0.008 0.411 0.036

Problem 9997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A B B

verified

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

size

22 0 24 20 19 31 27 49 20

N.S.

1 0.00 1.09 0.91 0.86 1.41 1.23 2.23 0.91

time (sec)

N/A 0.247 0.281 0.056 0.288 0.415 0.088 0.420 0.164

Problem 9998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B A A B F

verified

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

size

27 0 28 29 47 25 22 1234 -1

N.S.

1 0.00 1.04 1.07 1.74 0.93 0.81 45.70 -0.04

time (sec)

N/A 14.707 0.077 0.059 0.527 0.428 0.442 0.714 0.000

Problem 9999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B A B B A A B

verified

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

size

19 0 41 25 43 43 31 24 24

N.S.

1 0.00 2.16 1.32 2.26 2.26 1.63 1.26 1.26

time (sec)

N/A 5.969 0.094 0.207 0.291 0.404 0.352 0.506 7.597

Problem 10000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A F A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 141 33 31 0 38 41 0 57

N.S.

1 5.22 1.22 1.15 0.00 1.41 1.52 0.00 2.11

time (sec)

N/A 0.536 0.108 0.038 0.000 0.381 1.370 0.000 6.703

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