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

2.2.10 Integrals 901 to 1000

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 901

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

17 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.06

time (sec)

N/A 0.023 0.072 0.029 0.000 0.000 0.000 0.000 0.000

Problem 902

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

17 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.06

time (sec)

N/A 0.024 0.122 0.028 0.000 0.000 0.000 0.000 0.000

Problem 903

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

17 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.06

time (sec)

N/A 0.070 0.020 0.029 0.000 0.000 0.000 0.000 0.000

Problem 904

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

17 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.06

time (sec)

N/A 0.077 0.017 0.027 0.000 0.000 0.000 0.000 0.000

Problem 905

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

11 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.09

time (sec)

N/A 0.011 0.005 0.007 0.000 0.000 0.000 0.000 0.000

Problem 906

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

11 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.09

time (sec)

N/A 0.009 0.006 0.008 0.000 0.000 0.000 0.000 0.000

Problem 907

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

13 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.08

time (sec)

N/A 0.006 0.006 0.005 0.000 0.000 0.000 0.000 0.000

Problem 908

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

17 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.06

time (sec)

N/A 0.007 0.008 0.006 0.000 0.000 0.000 0.000 0.000

Problem 909

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

15 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.07

time (sec)

N/A 0.006 0.010 0.007 0.000 0.000 0.000 0.000 0.000

Problem 910

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

17 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.06

time (sec)

N/A 0.007 0.010 0.008 0.000 0.000 0.000 0.000 0.000

Problem 911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 49 0 0 135 0 0 -1

N.S.

1 1.00 1.04 0.00 0.00 2.87 0.00 0.00 -0.02

time (sec)

N/A 0.073 0.259 180.000 0.000 1.152 0.000 0.000 0.000

Problem 912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 51 0 0 146 0 0 -1

N.S.

1 1.00 1.06 0.00 0.00 3.04 0.00 0.00 -0.02

time (sec)

N/A 0.075 0.253 180.000 0.000 1.252 0.000 0.000 0.000

Problem 913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

169 169 531 0 0 0 0 0 -1

N.S.

1 1.00 3.14 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.182 4.001 0.055 0.000 0.000 0.000 0.000 0.000

Problem 914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

268 268 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.219 10.096 0.050 0.000 0.000 0.000 0.000 0.000

Problem 915

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

41 41 42 28 27 25 0 27 27

N.S.

1 1.00 1.02 0.68 0.66 0.61 0.00 0.66 0.66

time (sec)

N/A 0.029 0.033 0.222 0.516 0.364 0.000 4.155 3.367

Problem 916

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

N.S.

1 1.00 1.00 0.81 0.77 0.77 0.92 0.77 0.85

time (sec)

N/A 0.026 0.031 0.222 0.489 0.364 1.112 2.387 3.361

Problem 917

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

42 42 42 48 30 30 39 30 42

N.S.

1 1.00 1.00 1.14 0.71 0.71 0.93 0.71 1.00

time (sec)

N/A 0.103 0.031 0.218 0.515 0.374 39.361 4.537 0.026

Problem 918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 48 50 0 75 0 44 17

N.S.

1 1.00 2.40 2.50 0.00 3.75 0.00 2.20 0.85

time (sec)

N/A 0.006 0.022 0.223 0.000 0.351 0.000 3.996 3.460

Problem 919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 52 61 0 84 0 40 21

N.S.

1 1.00 2.60 3.05 0.00 4.20 0.00 2.00 1.05

time (sec)

N/A 0.006 0.023 0.224 0.000 0.394 0.000 4.228 3.470

Problem 920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 160 247 0 1515 0 0 -1

N.S.

1 1.00 1.32 2.04 0.00 12.52 0.00 0.00 -0.01

time (sec)

N/A 0.110 0.256 0.260 0.000 0.854 0.000 0.000 0.000

Problem 921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 186 397 0 2407 0 0 -1

N.S.

1 1.00 1.03 2.19 0.00 13.30 0.00 0.00 -0.01

time (sec)

N/A 0.190 0.532 0.228 0.000 41.376 0.000 0.000 0.000

Problem 922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 26 17 16 16 0 11 16

N.S.

1 1.00 1.00 0.65 0.62 0.62 0.00 0.42 0.62

time (sec)

N/A 0.005 7.084 0.010 0.303 0.350 0.000 5.057 3.541

Problem 923

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

26 26 43 23 22 32 0 22 22

N.S.

1 1.00 1.65 0.88 0.85 1.23 0.00 0.85 0.85

time (sec)

N/A 0.008 0.046 0.240 0.522 0.341 0.000 4.979 3.529

Problem 924

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

N.S.

1 1.00 0.87 0.80 0.73 0.73 0.80 0.73 0.60

time (sec)

N/A 0.002 10.010 0.225 0.294 0.322 0.067 5.169 3.565

Problem 925

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

22 22 19 31 28 27 0 27 18

N.S.

1 1.00 0.86 1.41 1.27 1.23 0.00 1.23 0.82

time (sec)

N/A 0.003 0.055 0.235 0.284 0.357 0.000 3.639 3.504

Problem 926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 41 13 9 17 0 17 -1

N.S.

1 1.00 3.42 1.08 0.75 1.42 0.00 1.42 -0.08

time (sec)

N/A 0.006 0.044 0.238 0.548 0.340 0.000 3.171 0.000

Problem 927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 43 15 11 17 0 17 -1

N.S.

1 1.00 3.58 1.25 0.92 1.42 0.00 1.42 -0.08

time (sec)

N/A 0.006 0.036 0.240 0.530 0.340 0.000 2.876 0.000

Problem 928

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

N.S.

1 1.00 0.80 0.93 0.87 0.87 0.67 0.87 0.67

time (sec)

N/A 0.003 0.029 0.225 0.298 0.414 0.046 4.337 3.640

Problem 929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 82 54 42 49 0 53 -1

N.S.

1 1.00 1.52 1.00 0.78 0.91 0.00 0.98 -0.02

time (sec)

N/A 0.027 0.100 0.257 0.522 0.363 0.000 5.062 0.000

Problem 930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 47 342 0 0 0 45 27

N.S.

1 1.00 0.80 5.80 0.00 0.00 0.00 0.76 0.46

time (sec)

N/A 0.045 0.343 0.529 0.000 0.000 0.000 5.972 3.532

Problem 931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 39 28 0 30 0 33 27

N.S.

1 1.00 0.66 0.47 0.00 0.51 0.00 0.56 0.46

time (sec)

N/A 0.032 0.027 0.220 0.000 0.361 0.000 5.353 3.544

Problem 932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 51 38 0 40 0 51 -1

N.S.

1 1.00 0.54 0.40 0.00 0.43 0.00 0.54 -0.01

time (sec)

N/A 0.059 0.031 0.221 0.000 0.407 0.000 5.998 0.000

Problem 933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 18 20 0 20 29 18 19

N.S.

1 1.00 1.00 1.11 0.00 1.11 1.61 1.00 1.06

time (sec)

N/A 0.011 0.030 0.229 0.000 0.362 0.407 4.883 3.499

Problem 934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 82 81 0 62 0 60 -1

N.S.

1 1.00 0.77 0.76 0.00 0.58 0.00 0.56 -0.01

time (sec)

N/A 0.020 0.072 0.117 0.000 0.394 0.000 4.077 0.000

Problem 935

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

25 25 25 24 14 64 0 14 25

N.S.

1 1.00 1.00 0.96 0.56 2.56 0.00 0.56 1.00

time (sec)

N/A 0.003 0.034 0.224 0.280 0.418 0.000 3.460 3.508

Problem 936

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

42 42 42 34 33 35 49 33 35

N.S.

1 1.00 1.00 0.81 0.79 0.83 1.17 0.79 0.83

time (sec)

N/A 0.020 0.029 0.159 0.505 0.370 0.086 2.679 3.448

Problem 937

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 32 26 25 27 37 25 27

N.S.

1 1.00 1.00 0.81 0.78 0.84 1.16 0.78 0.84

time (sec)

N/A 0.016 0.023 0.158 0.487 0.324 0.079 3.291 0.035

Problem 938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 49 53 0 95 0 45 -1

N.S.

1 1.00 0.64 0.70 0.00 1.25 0.00 0.59 -0.01

time (sec)

N/A 0.015 0.228 0.011 0.000 0.365 0.000 3.280 0.000

Problem 939

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

46 46 41 53 0 64 48 79 46

N.S.

1 1.00 0.89 1.15 0.00 1.39 1.04 1.72 1.00

time (sec)

N/A 0.060 0.084 0.061 0.000 0.388 1.503 4.233 0.036

Problem 940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 20 18 0 14 0 13 -1

N.S.

1 1.00 1.00 0.90 0.00 0.70 0.00 0.65 -0.05

time (sec)

N/A 0.004 0.236 0.246 0.000 0.376 0.000 2.847 0.000

Problem 941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C A A A A C F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 36 18 20 38 19 68 0 14

N.S.

1 1.03 0.51 0.57 1.09 0.54 1.94 0.00 0.40

time (sec)

N/A 0.008 0.113 0.274 0.519 0.352 0.663 0.000 3.591

Problem 942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A C F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 15 0 13 16 100 0 13

N.S.

1 1.00 1.00 0.00 0.87 1.07 6.67 0.00 0.87

time (sec)

N/A 0.012 0.174 0.047 0.347 0.331 65.654 0.000 3.684

Problem 943

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 28 38 37 24 46 37 37

N.S.

1 1.00 0.53 0.72 0.70 0.45 0.87 0.70 0.70

time (sec)

N/A 0.014 0.016 0.223 0.373 0.337 5.972 5.291 0.043

Problem 944

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

N.S.

1 1.00 1.00 0.84 0.81 0.81 0.87 0.81 0.81

time (sec)

N/A 0.011 0.019 0.016 0.367 0.321 0.103 4.103 0.069

Problem 945

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

N.S.

1 1.00 1.00 0.91 0.82 0.82 0.73 0.82 0.82

time (sec)

N/A 0.002 0.027 0.220 0.283 0.372 0.064 5.639 3.516

Problem 946

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

6 6 6 5 4 4 5 4 4

N.S.

1 1.00 1.00 0.83 0.67 0.67 0.83 0.67 0.67

time (sec)

N/A 0.002 0.010 0.223 0.472 0.352 0.080 4.875 0.143

Problem 947

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

20 20 17 17 16 16 0 25 16

N.S.

1 1.00 0.85 0.85 0.80 0.80 0.00 1.25 0.80

time (sec)

N/A 0.003 0.014 0.226 0.486 0.355 0.000 4.956 3.508

Problem 948

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

17 17 17 12 26 11 12 11 11

N.S.

1 1.00 1.00 0.71 1.53 0.65 0.71 0.65 0.65

time (sec)

N/A 0.002 0.002 0.018 0.275 0.339 0.063 4.583 0.024

Problem 949

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 19 12 11 11 15 11 12

N.S.

1 1.00 1.00 0.63 0.58 0.58 0.79 0.58 0.63

time (sec)

N/A 0.003 0.002 0.033 0.277 0.384 0.830 3.702 0.025

Problem 950

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

41 41 42 28 27 25 37 27 27

N.S.

1 1.00 1.02 0.68 0.66 0.61 0.90 0.66 0.66

time (sec)

N/A 0.008 0.024 0.220 0.510 0.347 1.890 3.154 0.027

Problem 951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 86 64 63 65 39 64 73

N.S.

1 1.00 1.28 0.96 0.94 0.97 0.58 0.96 1.09

time (sec)

N/A 0.021 0.045 0.227 0.505 0.367 0.602 2.742 3.832

Problem 952

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

N.S.

1 1.00 1.00 0.73 0.64 0.64 0.73 0.64 0.64

time (sec)

N/A 0.001 0.001 0.016 0.267 0.333 0.009 3.152 0.002

Problem 953

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

N.S.

1 1.00 1.00 0.73 0.64 0.64 0.73 0.64 0.64

time (sec)

N/A 0.001 0.001 0.024 0.264 0.335 0.008 3.871 0.023

Problem 954

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

11 11 11 46 7 7 8 7 7

N.S.

1 1.00 1.00 4.18 0.64 0.64 0.73 0.64 0.64

time (sec)

N/A 0.001 0.000 0.223 0.266 0.321 2.136 5.443 0.026

Problem 955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 75 49 0 192 0 123 -1

N.S.

1 1.00 1.23 0.80 0.00 3.15 0.00 2.02 -0.02

time (sec)

N/A 0.016 0.017 0.306 0.000 0.367 0.000 3.908 0.000

Problem 956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 78 55 0 202 0 131 -1

N.S.

1 1.00 1.20 0.85 0.00 3.11 0.00 2.02 -0.02

time (sec)

N/A 0.016 0.080 0.299 0.000 0.387 0.000 5.542 0.000

Problem 957

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

13 13 13 10 21 21 26 22 9

N.S.

1 1.00 1.00 0.77 1.62 1.62 2.00 1.69 0.69

time (sec)

N/A 0.005 0.019 0.232 0.503 0.374 0.120 4.657 3.339

Problem 958

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

13 13 13 10 21 21 26 22 9

N.S.

1 1.00 1.00 0.77 1.62 1.62 2.00 1.69 0.69

time (sec)

N/A 0.008 0.019 0.234 0.490 0.354 0.175 5.454 0.027

Problem 959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 72 58 77 131 202 80 233

N.S.

1 1.00 1.00 0.81 1.07 1.82 2.81 1.11 3.24

time (sec)

N/A 0.074 0.064 0.309 0.525 0.344 0.752 5.066 4.234

Problem 960

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

37 37 23 23 15 22 0 48 22

N.S.

1 1.00 0.62 0.62 0.41 0.59 0.00 1.30 0.59

time (sec)

N/A 0.017 0.012 0.226 0.268 0.335 0.000 4.878 3.513

Problem 961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 41 13 9 17 0 17 -1

N.S.

1 1.00 3.42 1.08 0.75 1.42 0.00 1.42 -0.08

time (sec)

N/A 0.005 0.003 0.235 0.524 0.326 0.000 4.318 0.000

Problem 962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 71 67 0 89 0 51 -1

N.S.

1 1.00 0.75 0.71 0.00 0.94 0.00 0.54 -0.01

time (sec)

N/A 0.035 0.119 0.013 0.000 0.885 0.000 4.121 0.000

Problem 963

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

35 35 28 24 23 21 184 23 16

N.S.

1 1.00 0.80 0.69 0.66 0.60 5.26 0.66 0.46

time (sec)

N/A 0.008 0.013 0.062 0.279 0.361 0.609 3.731 3.506

Problem 964

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

37 37 30 28 27 22 265 27 24

N.S.

1 1.00 0.81 0.76 0.73 0.59 7.16 0.73 0.65

time (sec)

N/A 0.010 0.014 0.044 0.313 0.328 0.607 3.666 3.578

Problem 965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 40 48 0 33 32 29 39

N.S.

1 1.00 1.38 1.66 0.00 1.14 1.10 1.00 1.34

time (sec)

N/A 0.017 0.087 0.240 0.000 0.344 1.380 3.142 3.897

Problem 966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 42 48 0 36 87 32 40

N.S.

1 1.00 1.68 1.92 0.00 1.44 3.48 1.28 1.60

time (sec)

N/A 0.017 0.089 0.249 0.000 0.359 2.176 2.837 3.648

Problem 967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 21 21 16 0 15 56 15 22

N.S.

1 1.00 1.00 0.76 0.00 0.71 2.67 0.71 1.05

time (sec)

N/A 0.015 0.056 0.218 0.000 0.322 0.166 4.876 0.041

Problem 968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 49 175 0 97 0 105 127

N.S.

1 1.00 0.75 2.69 0.00 1.49 0.00 1.62 1.95

time (sec)

N/A 0.036 0.116 0.139 0.000 0.332 0.000 5.392 3.499

Problem 969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 50 28 0 41 0 63 64

N.S.

1 1.00 1.61 0.90 0.00 1.32 0.00 2.03 2.06

time (sec)

N/A 0.028 0.141 0.132 0.000 0.340 0.000 3.695 0.188

Problem 970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 57 54 0 54 0 50 -1

N.S.

1 1.00 0.70 0.66 0.00 0.66 0.00 0.61 -0.01

time (sec)

N/A 0.029 0.098 0.225 0.000 0.572 0.000 5.436 0.000

Problem 971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 74 56 55 57 155 55 95

N.S.

1 1.00 1.00 0.76 0.74 0.77 2.09 0.74 1.28

time (sec)

N/A 0.076 0.047 0.224 0.492 0.348 2.111 3.798 3.412

Problem 972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 115 81 80 80 221 80 130

N.S.

1 1.00 1.00 0.70 0.70 0.70 1.92 0.70 1.13

time (sec)

N/A 0.103 0.057 0.225 0.494 0.354 2.431 3.182 0.087

Problem 973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

4 4 22 51 0 20 0 4 4

N.S.

1 1.00 5.50 12.75 0.00 5.00 0.00 1.00 1.00

time (sec)

N/A 0.028 0.103 0.080 0.000 0.333 0.000 2.953 0.032

Problem 974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 22 41 50 40 0 31 18

N.S.

1 1.00 1.00 1.86 2.27 1.82 0.00 1.41 0.82

time (sec)

N/A 0.008 0.025 0.060 0.277 0.331 0.000 3.309 3.387

Problem 975

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

24 24 24 40 37 26 0 28 20

N.S.

1 1.00 1.00 1.67 1.54 1.08 0.00 1.17 0.83

time (sec)

N/A 0.007 0.020 0.098 0.486 0.347 0.000 4.678 0.037

Problem 976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 28 34 45 51 40 0 35 24

N.S.

1 1.17 1.42 1.88 2.12 1.67 0.00 1.46 1.00

time (sec)

N/A 0.008 0.057 0.059 0.277 0.379 0.000 5.627 0.030

Problem 977

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 24 60 38 38 32 38 20

N.S.

1 1.00 1.00 2.50 1.58 1.58 1.33 1.58 0.83

time (sec)

N/A 0.012 0.019 0.056 0.277 0.330 1.768 4.706 0.037

Problem 978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 48 45 51 42 0 35 35

N.S.

1 1.00 2.18 2.05 2.32 1.91 0.00 1.59 1.59

time (sec)

N/A 0.004 0.015 0.054 0.275 0.348 0.000 4.998 0.040

Problem 979

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

29 29 49 44 35 25 0 35 23

N.S.

1 1.00 1.69 1.52 1.21 0.86 0.00 1.21 0.79

time (sec)

N/A 0.009 0.009 0.105 0.484 0.330 0.000 3.694 3.367

Problem 980

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

33 33 49 28 36 35 0 25 26

N.S.

1 1.00 1.48 0.85 1.09 1.06 0.00 0.76 0.79

time (sec)

N/A 0.008 0.077 0.237 0.474 0.330 0.000 4.582 3.468

Problem 981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

8 8 38 7 6 16 0 25 6

N.S.

1 1.00 4.75 0.88 0.75 2.00 0.00 3.12 0.75

time (sec)

N/A 0.003 0.026 0.228 0.496 0.344 0.000 4.265 0.014

Problem 982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 13 11 29 11 18 0 18 13

N.S.

1 1.00 0.85 2.23 0.85 1.38 0.00 1.38 1.00

time (sec)

N/A 0.007 0.013 0.225 0.278 0.360 0.000 4.301 3.518

Problem 983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 24 41 0 33 0 73 17

N.S.

1 1.00 1.09 1.86 0.00 1.50 0.00 3.32 0.77

time (sec)

N/A 0.021 0.039 0.232 0.000 0.327 0.000 4.634 3.583

Problem 984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 39 32 11 13 15 13 45

N.S.

1 1.00 1.62 1.33 0.46 0.54 0.62 0.54 1.88

time (sec)

N/A 0.020 0.018 0.244 0.805 0.369 0.322 2.962 0.099

Problem 985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 55 29 27 62 0 61 28

N.S.

1 1.00 1.96 1.04 0.96 2.21 0.00 2.18 1.00

time (sec)

N/A 0.006 0.038 0.230 0.488 0.375 0.000 3.123 3.472

Problem 986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 55 29 27 62 0 61 28

N.S.

1 1.00 1.96 1.04 0.96 2.21 0.00 2.18 1.00

time (sec)

N/A 0.007 0.002 0.226 0.286 0.347 0.000 1.948 3.529

Problem 987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 55 29 27 62 0 61 28

N.S.

1 1.00 1.96 1.04 0.96 2.21 0.00 2.18 1.00

time (sec)

N/A 0.009 0.002 0.018 0.387 0.355 0.000 2.443 3.593

Problem 988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 55 29 27 62 0 61 28

N.S.

1 1.00 1.96 1.04 0.96 2.21 0.00 2.18 1.00

time (sec)

N/A 0.010 0.003 0.019 0.527 0.335 0.000 2.440 3.529

Problem 989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 55 29 27 62 0 61 28

N.S.

1 1.00 1.96 1.04 0.96 2.21 0.00 2.18 1.00

time (sec)

N/A 0.009 0.002 0.018 0.302 0.324 0.000 2.795 3.524

Problem 990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 55 29 27 62 0 61 28

N.S.

1 1.00 1.96 1.04 0.96 2.21 0.00 2.18 1.00

time (sec)

N/A 0.009 0.003 0.018 0.314 0.346 0.000 4.491 3.515

Problem 991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 56 37 36 87 0 76 33

N.S.

1 1.00 1.40 0.92 0.90 2.18 0.00 1.90 0.82

time (sec)

N/A 0.011 0.009 0.230 0.286 0.342 0.000 3.147 3.903

Problem 992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 56 37 36 87 0 76 33

N.S.

1 1.00 1.40 0.92 0.90 2.18 0.00 1.90 0.82

time (sec)

N/A 0.012 0.003 0.226 0.262 0.328 0.000 2.606 3.557

Problem 993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 56 37 36 87 0 76 33

N.S.

1 1.00 1.40 0.92 0.90 2.18 0.00 1.90 0.82

time (sec)

N/A 0.011 0.002 0.228 0.331 0.334 0.000 2.211 3.475

Problem 994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 56 37 36 87 0 76 33

N.S.

1 1.00 1.40 0.92 0.90 2.18 0.00 1.90 0.82

time (sec)

N/A 0.013 0.003 0.019 0.397 0.334 0.000 3.079 3.654

Problem 995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A F F A F F F

verified

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

size

63 0 110 0 0 68 0 0 -1

N.S.

1 0.00 1.75 0.00 0.00 1.08 0.00 0.00 -0.02

time (sec)

N/A 0.018 0.526 0.008 0.000 0.891 0.000 0.000 0.000

Problem 996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A F F B F F F

verified

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

size

66 0 91 0 0 127 0 0 -1

N.S.

1 0.00 1.38 0.00 0.00 1.92 0.00 0.00 -0.02

time (sec)

N/A 0.093 0.638 0.031 0.000 190.194 0.000 0.000 0.000

Problem 997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 319 83 438 0 383 0 218 649

N.S.

1 4.09 1.06 5.62 0.00 4.91 0.00 2.79 8.32

time (sec)

N/A 0.407 0.348 1.132 0.000 0.404 0.000 2.450 4.380

Problem 998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 97 753 0 770 0 444 -1

N.S.

1 1.00 0.77 5.98 0.00 6.11 0.00 3.52 -0.01

time (sec)

N/A 0.111 0.125 0.773 0.000 0.382 0.000 2.256 0.000

Problem 999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 96 0 0 62 0 0 -1

N.S.

1 1.00 4.36 0.00 0.00 2.82 0.00 0.00 -0.05

time (sec)

N/A 0.041 0.210 0.055 0.000 0.767 0.000 0.000 0.000

Problem 1000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 42 0 0 0 0 0 -1

N.S.

1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.094 0.837 0.034 0.000 0.000 0.000 0.000 0.000

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