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

2.2.12 Integrals 1101 to 1200

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 1101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A C B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 190 20 786 437 32 17 359 18

N.S.

1 8.26 0.87 34.17 19.00 1.39 0.74 15.61 0.78

time (sec)

N/A 0.492 0.075 0.355 0.500 0.418 0.045 0.395 0.230

Problem 1102

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

N.S.

1 1.00 0.93 1.60 1.07 1.27 1.00 1.07 0.80

time (sec)

N/A 0.010 0.016 0.052 0.268 0.351 0.034 0.383 0.733

Problem 1103

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

N.S.

1 0.61 0.61 0.65 0.61 0.90 0.55 0.68 0.55

time (sec)

N/A 0.031 0.006 0.175 0.259 0.386 0.040 0.398 0.719

Problem 1104

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 23 29 31 27 27 24 27 24

N.S.

1 1.10 1.38 1.48 1.29 1.29 1.14 1.29 1.14

time (sec)

N/A 0.003 0.005 0.053 0.278 0.402 0.009 0.390 0.258

Problem 1105

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

N.S.

1 0.76 0.62 0.79 0.82 0.59 0.56 0.59 0.65

time (sec)

N/A 0.010 0.015 0.043 0.265 0.350 0.039 0.392 0.715

Problem 1106

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 19 17 14 16 16 12 16 15

N.S.

1 0.79 0.71 0.58 0.67 0.67 0.50 0.67 0.62

time (sec)

N/A 0.020 0.006 0.026 0.258 0.335 0.030 0.384 0.050

Problem 1107

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

N.S.

1 0.77 0.77 0.91 0.95 0.77 0.68 0.77 0.77

time (sec)

N/A 0.067 0.028 0.061 0.506 0.381 0.092 0.402 1.156

Problem 1108

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

27 34 23 25 0 22 20 22 19

N.S.

1 1.26 0.85 0.93 0.00 0.81 0.74 0.81 0.70

time (sec)

N/A 0.117 0.119 0.260 0.000 0.346 0.057 0.367 0.100

Problem 1109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 33 31 29 95 44 24 60 32

N.S.

1 1.03 0.97 0.91 2.97 1.38 0.75 1.88 1.00

time (sec)

N/A 0.136 0.034 0.106 0.325 0.337 0.097 0.384 0.972

Problem 1110

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

N.S.

1 1.00 1.00 1.20 1.13 1.13 0.93 1.13 1.13

time (sec)

N/A 0.178 0.079 0.031 0.289 0.342 0.050 0.411 1.068

Problem 1111

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

20 32 18 31 0 26 17 26 18

N.S.

1 1.60 0.90 1.55 0.00 1.30 0.85 1.30 0.90

time (sec)

N/A 0.174 0.033 0.072 0.000 0.364 0.131 0.394 0.938

Problem 1112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 34 23 24 41 45 20 23 34

N.S.

1 1.70 1.15 1.20 2.05 2.25 1.00 1.15 1.70

time (sec)

N/A 0.202 0.047 0.323 0.319 0.333 0.041 0.410 1.060

Problem 1113

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

19 0 16 16 23 26 10 69 23

N.S.

1 0.00 0.84 0.84 1.21 1.37 0.53 3.63 1.21

time (sec)

N/A 0.440 0.401 0.043 0.292 0.362 0.044 0.401 0.103

Problem 1114

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

N.S.

1 1.14 1.09 1.27 1.23 1.32 1.09 1.23 1.18

time (sec)

N/A 0.010 0.010 0.079 0.259 0.330 0.026 0.391 0.063

Problem 1115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A B A B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 105 35 56 155 46 63 0 91

N.S.

1 3.09 1.03 1.65 4.56 1.35 1.85 0.00 2.68

time (sec)

N/A 0.773 0.155 0.392 0.347 0.347 0.233 0.000 1.371

Problem 1116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 26 0 0 0 75 0 0 223

N.S.

1 0.84 0.00 0.00 0.00 2.42 0.00 0.00 7.19

time (sec)

N/A 0.279 0.331 18.529 0.000 0.360 0.000 0.000 1.479

Problem 1117

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

N.S.

1 0.96 1.96 1.17 1.70 0.91 0.74 0.91 0.87

time (sec)

N/A 0.061 0.016 0.129 0.503 0.361 0.047 0.384 0.920

Problem 1118

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

N.S.

1 1.12 1.00 1.04 0.88 0.92 0.92 0.88 0.88

time (sec)

N/A 0.016 0.009 0.140 0.259 0.359 0.133 0.386 0.741

Problem 1119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B A B A F

verified

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

size

24 0 25 34 66 56 48 44 -1

N.S.

1 0.00 1.04 1.42 2.75 2.33 2.00 1.83 -0.04

time (sec)

N/A 4.005 0.069 0.071 0.320 0.379 0.254 0.393 0.000

Problem 1120

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

N.S.

1 1.27 0.93 0.73 0.67 0.67 0.80 0.67 0.80

time (sec)

N/A 0.005 0.010 0.025 0.261 0.352 0.023 0.387 0.767

Problem 1121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C F C A A B B F

verified

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

size

33 1873 0 45072 48 45 53 288 -1

N.S.

1 56.76 0.00 1365.82 1.45 1.36 1.61 8.73 -0.03

time (sec)

N/A 5.480 2.362 0.617 0.519 0.367 0.192 0.484 0.000

Problem 1122

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

18 34 24 31 18 30 27 18 22

N.S.

1 1.89 1.33 1.72 1.00 1.67 1.50 1.00 1.22

time (sec)

N/A 0.841 0.182 0.047 0.348 0.346 0.142 0.380 0.927

Problem 1123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A A A F

verified

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

size

34 0 31 110 29 35 37 35 -1

N.S.

1 0.00 0.91 3.24 0.85 1.03 1.09 1.03 -0.03

time (sec)

N/A 2.157 0.078 1.417 0.321 0.360 0.274 61.906 0.000

Problem 1124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 54 58 66 54 0 0 57

N.S.

1 0.00 2.00 2.15 2.44 2.00 0.00 0.00 2.11

time (sec)

N/A 62.698 0.210 0.069 0.500 0.376 0.000 0.000 1.239

Problem 1125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 35 85 127 61 60 0 354

N.S.

1 0.00 1.09 2.66 3.97 1.91 1.88 0.00 11.06

time (sec)

N/A 180.001 0.262 0.275 1.232 0.401 2.875 0.000 1.340

Problem 1126

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

N.S.

1 0.80 0.60 0.60 0.60 0.53 0.47 0.53 0.40

time (sec)

N/A 0.005 0.001 0.116 0.256 0.347 0.014 0.403 0.049

Problem 1127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 26 107 0 66 82 84 68

N.S.

1 1.00 0.93 3.82 0.00 2.36 2.93 3.00 2.43

time (sec)

N/A 0.192 0.037 0.350 0.000 0.356 0.202 0.389 1.085

Problem 1128

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

N.S.

1 0.60 0.60 0.50 0.45 0.45 0.50 0.45 0.45

time (sec)

N/A 0.003 0.000 0.030 0.262 0.342 0.006 0.400 0.002

Problem 1129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A C A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 26 34 26 33 36 34 48 32

N.S.

1 1.13 1.48 1.13 1.43 1.57 1.48 2.09 1.39

time (sec)

N/A 0.210 0.076 0.124 0.291 0.337 0.146 0.391 0.808

Problem 1130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 24 22 48 34 36 44 47 -1

N.S.

1 1.04 0.96 2.09 1.48 1.57 1.91 2.04 -0.04

time (sec)

N/A 0.311 0.039 0.203 0.531 0.333 0.240 0.452 0.000

Problem 1131

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 31 14 18 19 17 14 19 14

N.S.

1 1.24 0.56 0.72 0.76 0.68 0.56 0.76 0.56

time (sec)

N/A 0.025 0.015 0.026 0.265 0.381 0.076 0.379 0.782

Problem 1132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 18 15 15 14 14 14 14 14

N.S.

1 1.12 0.94 0.94 0.88 0.88 0.88 0.88 0.88

time (sec)

N/A 0.044 0.014 0.033 0.266 0.355 0.061 0.398 0.754

Problem 1133

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

26 0 65 71 68 68 68 98 98

N.S.

1 0.00 2.50 2.73 2.62 2.62 2.62 3.77 3.77

time (sec)

N/A 6.797 0.147 0.061 0.304 0.382 0.434 0.442 1.197

Problem 1134

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

12 27 17 18 15 15 12 15 12

N.S.

1 2.25 1.42 1.50 1.25 1.25 1.00 1.25 1.00

time (sec)

N/A 0.008 0.004 0.093 0.263 0.339 0.039 0.393 0.787

Problem 1135

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

N.S.

1 1.00 1.00 1.13 1.07 1.07 1.27 1.13 1.07

time (sec)

N/A 0.013 0.005 0.030 0.258 0.349 0.040 0.392 0.735

Problem 1136

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

25 32 28 60 24 24 27 29 22

N.S.

1 1.28 1.12 2.40 0.96 0.96 1.08 1.16 0.88

time (sec)

N/A 0.040 0.032 0.577 0.289 0.347 0.105 0.400 1.028

Problem 1137

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

19 0 19 17 25 21 20 16 16

N.S.

1 0.00 1.00 0.89 1.32 1.11 1.05 0.84 0.84

time (sec)

N/A 3.515 0.397 0.082 0.696 0.386 1.961 1.471 1.148

Problem 1138

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 19 24 27 20 32 17 20 17

N.S.

1 0.83 1.04 1.17 0.87 1.39 0.74 0.87 0.74

time (sec)

N/A 0.011 0.016 0.077 0.262 0.345 0.067 0.396 0.092

Problem 1139

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

N.S.

1 0.89 1.11 1.28 1.00 0.78 0.94 1.00 0.83

time (sec)

N/A 0.034 0.015 0.248 0.278 0.342 0.049 0.385 0.800

Problem 1140

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

N.S.

1 0.86 0.69 0.79 0.79 0.79 0.76 0.79 0.93

time (sec)

N/A 0.261 0.886 0.168 0.525 0.412 0.132 0.399 1.095

Problem 1141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 31 0 125 30 31 0 32

N.S.

1 0.00 0.97 0.00 3.91 0.94 0.97 0.00 1.00

time (sec)

N/A 9.352 0.059 0.040 0.534 0.365 3.798 0.000 1.523

Problem 1142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 517 65 48 1762 67 48 78 54

N.S.

1 14.77 1.86 1.37 50.34 1.91 1.37 2.23 1.54

time (sec)

N/A 1.311 0.077 0.369 0.397 0.382 1.640 0.389 1.465

Problem 1143

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

N.S.

1 1.30 1.00 1.20 1.20 1.15 0.95 1.15 1.20

time (sec)

N/A 0.099 0.013 0.094 0.299 0.331 0.046 0.393 0.929

Problem 1144

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

18 21 18 29 25 15 26 26 15

N.S.

1 1.17 1.00 1.61 1.39 0.83 1.44 1.44 0.83

time (sec)

N/A 0.003 0.003 0.155 0.259 0.338 0.017 0.386 0.204

Problem 1145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 32 32 32 25 25 32 25 27

N.S.

1 2.00 2.00 2.00 1.56 1.56 2.00 1.56 1.69

time (sec)

N/A 0.009 0.004 0.042 0.266 0.323 0.011 0.391 0.750

Problem 1146

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

25 0 31 25 45 45 20 45 -1

N.S.

1 0.00 1.24 1.00 1.80 1.80 0.80 1.80 -0.04

time (sec)

N/A 1.329 2.445 0.076 0.315 0.356 0.076 0.448 0.000

Problem 1147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 203 61 233 22 19 0 0 -1

N.S.

1 6.77 2.03 7.77 0.73 0.63 0.00 0.00 -0.03

time (sec)

N/A 1.496 0.152 0.079 0.316 0.371 0.000 0.000 0.000

Problem 1148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 190 40 96 88 94 39 2500

N.S.

1 0.00 6.33 1.33 3.20 2.93 3.13 1.30 83.33

time (sec)

N/A 180.099 0.132 0.192 0.284 0.335 2.730 0.404 32.591

Problem 1149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C B B C B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 145 60 73 80 47 48 72 52

N.S.

1 6.30 2.61 3.17 3.48 2.04 2.09 3.13 2.26

time (sec)

N/A 1.225 0.364 0.175 0.298 0.343 0.075 0.394 0.110

Problem 1150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 49 72 0 205 65 0 184

N.S.

1 0.00 1.63 2.40 0.00 6.83 2.17 0.00 6.13

time (sec)

N/A 180.001 1.074 0.282 0.000 0.353 5.898 0.000 0.920

Problem 1151

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 24 27 55 24 20 30 32

N.S.

1 0.00 0.96 1.08 2.20 0.96 0.80 1.20 1.28

time (sec)

N/A 3.282 1.109 0.443 0.574 0.331 0.137 0.766 1.223

Problem 1152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B B C B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 78 53 444 150 22 44 63 22

N.S.

1 3.90 2.65 22.20 7.50 1.10 2.20 3.15 1.10

time (sec)

N/A 0.261 0.057 0.427 0.507 0.369 0.126 0.378 1.115

Problem 1153

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 29 30 26 24 31 22 23 25

N.S.

1 1.61 1.67 1.44 1.33 1.72 1.22 1.28 1.39

time (sec)

N/A 0.025 0.015 0.291 0.259 0.344 0.068 0.388 0.777

Problem 1154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A F A A A F B

verified

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

size

21 0 21 0 18 30 20 0 18

N.S.

1 0.00 1.00 0.00 0.86 1.43 0.95 0.00 0.86

time (sec)

N/A 7.179 0.484 0.889 0.558 0.342 7.555 0.000 0.583

Problem 1155

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 25 40 31 39 27 39 22

N.S.

1 0.00 0.93 1.48 1.15 1.44 1.00 1.44 0.81

time (sec)

N/A 1.684 0.066 0.123 0.294 0.344 0.183 0.392 0.219

Problem 1156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 0 68 110 311 105 0 125

N.S.

1 0.00 0.00 2.19 3.55 10.03 3.39 0.00 4.03

time (sec)

N/A 180.003 163.666 0.661 2.416 0.388 7.879 0.000 2.308

Problem 1157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C B A A A B

verified

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

size

22 0 22 210 55 26 22 21 27

N.S.

1 0.00 1.00 9.55 2.50 1.18 1.00 0.95 1.23

time (sec)

N/A 6.399 0.124 0.423 0.433 0.388 2.847 2.674 1.457

Problem 1158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 0 87 144 30 29 0 43

N.S.

1 0.00 0.00 2.90 4.80 1.00 0.97 0.00 1.43

time (sec)

N/A 56.391 0.809 0.061 0.426 0.357 1.942 0.000 1.483

Problem 1159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B A A A B B

verified

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

size

29 0 30 87 39 32 56 67 31

N.S.

1 0.00 1.03 3.00 1.34 1.10 1.93 2.31 1.07

time (sec)

N/A 0.134 0.044 0.490 0.509 0.365 0.074 0.410 0.955

Problem 1160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 66 0 3290 28 62 70 0 65

N.S.

1 2.28 0.00 113.45 0.97 2.14 2.41 0.00 2.24

time (sec)

N/A 0.324 0.386 6.971 3.334 0.379 6.624 0.000 3.628

Problem 1161

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

N.S.

1 1.05 1.00 1.43 0.95 1.24 1.29 1.24 1.00

time (sec)

N/A 0.151 0.065 0.272 0.553 0.351 0.102 0.428 0.835

Problem 1162

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

28 49 26 70 34 34 27 34 24

N.S.

1 1.75 0.93 2.50 1.21 1.21 0.96 1.21 0.86

time (sec)

N/A 0.017 0.050 0.112 0.259 0.346 0.038 0.389 0.086

Problem 1163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F F A B A B B B

verified

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

size

23 0 0 47 49 44 48 49 52

N.S.

1 0.00 0.00 2.04 2.13 1.91 2.09 2.13 2.26

time (sec)

N/A 6.891 0.601 0.058 2.155 0.357 0.222 0.412 1.093

Problem 1164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

17 0 18 505 104 86 112 23 105

N.S.

1 0.00 1.06 29.71 6.12 5.06 6.59 1.35 6.18

time (sec)

N/A 180.282 0.139 1.084 0.291 0.358 2.229 0.438 2.270

Problem 1165

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

12 15 12 11 13 13 12 25 10

N.S.

1 1.25 1.00 0.92 1.08 1.08 1.00 2.08 0.83

time (sec)

N/A 0.018 0.042 0.045 0.294 0.379 0.075 0.396 0.808

Problem 1166

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 36 37 37 32 39 37 37

N.S.

1 0.00 1.20 1.23 1.23 1.07 1.30 1.23 1.23

time (sec)

N/A 0.867 0.118 0.144 0.260 0.359 2.536 0.407 0.323

Problem 1167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 37 18 34 17 17 0 17

N.S.

1 1.00 1.61 0.78 1.48 0.74 0.74 0.00 0.74

time (sec)

N/A 0.078 0.185 0.195 0.472 0.383 6.554 0.000 0.879

Problem 1168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F F C A A A F B

verified

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

size

35 0 0 47401 64 31 27 0 33

N.S.

1 0.00 0.00 1354.31 1.83 0.89 0.77 0.00 0.94

time (sec)

N/A 27.124 0.305 6.098 0.354 0.387 21.631 0.000 1.315

Problem 1169

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

N.S.

1 1.00 0.88 1.00 0.94 0.94 0.88 0.94 0.94

time (sec)

N/A 0.055 0.041 0.038 0.298 0.358 0.118 0.381 0.978

Problem 1170

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

23 0 23 27 46 26 24 0 118

N.S.

1 0.00 1.00 1.17 2.00 1.13 1.04 0.00 5.13

time (sec)

N/A 1.246 0.211 0.036 0.536 0.355 0.152 0.000 0.942

Problem 1171

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

N.S.

1 1.20 1.20 1.53 1.27 1.27 1.00 1.27 1.27

time (sec)

N/A 0.111 0.014 0.376 0.288 0.333 0.058 0.416 1.058

Problem 1172

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

32 0 33 0 0 31 44 0 28

N.S.

1 0.00 1.03 0.00 0.00 0.97 1.38 0.00 0.88

time (sec)

N/A 3.115 0.053 0.199 0.000 0.361 0.135 0.000 1.163

Problem 1173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F F A A A A A B

verified

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

size

20 0 0 28 38 37 24 27 27

N.S.

1 0.00 0.00 1.40 1.90 1.85 1.20 1.35 1.35

time (sec)

N/A 7.073 3.366 0.337 0.283 0.358 0.216 0.410 0.809

Problem 1174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A C A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 95 49 280 52 53 46 63 48

N.S.

1 3.52 1.81 10.37 1.93 1.96 1.70 2.33 1.78

time (sec)

N/A 0.261 0.054 0.286 0.267 0.339 1.971 0.410 0.976

Problem 1175

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

26 0 31 23 41 41 17 45 26

N.S.

1 0.00 1.19 0.88 1.58 1.58 0.65 1.73 1.00

time (sec)

N/A 1.200 0.144 0.075 0.294 0.353 0.058 0.386 0.837

Problem 1176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C B A B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 545 90 41 620 80 48 74 -1

N.S.

1 23.70 3.91 1.78 26.96 3.48 2.09 3.22 -0.04

time (sec)

N/A 0.551 0.128 0.257 0.539 0.359 0.333 0.383 0.000

Problem 1177

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

18 0 18 20 24 24 19 110 17

N.S.

1 0.00 1.00 1.11 1.33 1.33 1.06 6.11 0.94

time (sec)

N/A 0.377 0.047 0.580 0.300 0.376 0.047 0.385 0.391

Problem 1178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 20 22 20 21 19 21 22

N.S.

1 1.00 1.00 1.10 1.00 1.05 0.95 1.05 1.10

time (sec)

N/A 0.062 0.049 0.046 0.255 0.345 0.081 0.400 0.080

Problem 1179

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

N.S.

1 0.83 0.83 1.33 0.75 0.75 0.58 0.75 0.75

time (sec)

N/A 0.002 0.002 0.265 0.255 0.311 0.020 0.388 0.758

Problem 1180

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

36 0 20 20 18 34 12 34 18

N.S.

1 0.00 0.56 0.56 0.50 0.94 0.33 0.94 0.50

time (sec)

N/A 0.249 0.062 0.211 0.324 0.367 0.097 0.407 0.891

Problem 1181

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

N.S.

1 1.15 1.15 1.23 1.15 1.15 1.15 1.15 1.15

time (sec)

N/A 0.052 0.008 0.020 0.259 0.356 0.035 0.384 0.841

Problem 1182

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

16 52 49 49 48 48 46 48 48

N.S.

1 3.25 3.06 3.06 3.00 3.00 2.88 3.00 3.00

time (sec)

N/A 1.894 0.012 0.089 0.258 0.374 0.893 0.396 0.246

Problem 1183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F F A B A B B B

verified

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

size

24 0 0 35 261 33 39 239 75

N.S.

1 0.00 0.00 1.46 10.88 1.38 1.62 9.96 3.12

time (sec)

N/A 3.655 3.181 0.717 0.581 0.356 0.239 0.762 1.397

Problem 1184

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

19 19 18 26 27 18 32 27 18

N.S.

1 1.00 0.95 1.37 1.42 0.95 1.68 1.42 0.95

time (sec)

N/A 0.198 0.045 0.377 0.500 0.357 0.534 0.407 0.953

Problem 1185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 1749 33759 952 407 426 0 1494 -1

N.S.

1 60.31 1164.10 32.83 14.03 14.69 0.00 51.52 -0.03

time (sec)

N/A 3.364 8.984 0.608 0.341 0.372 0.000 0.479 0.000

Problem 1186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 70 32 33 34 34 53 34 34

N.S.

1 2.59 1.19 1.22 1.26 1.26 1.96 1.26 1.26

time (sec)

N/A 0.214 0.009 0.066 0.259 0.359 0.676 0.389 0.085

Problem 1187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 20 20 53 25 20 14 50 30

N.S.

1 0.91 0.91 2.41 1.14 0.91 0.64 2.27 1.36

time (sec)

N/A 0.173 0.072 0.507 0.501 0.349 0.079 0.393 0.438

Problem 1188

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

20 0 19 20 17 56 17 0 17

N.S.

1 0.00 0.95 1.00 0.85 2.80 0.85 0.00 0.85

time (sec)

N/A 0.245 0.056 0.126 0.342 0.365 0.079 0.000 0.897

Problem 1189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F F F A A A A B

verified

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

size

22 0 0 0 27 27 22 27 23

N.S.

1 0.00 0.00 0.00 1.23 1.23 1.00 1.23 1.05

time (sec)

N/A 0.680 0.344 0.050 0.501 0.351 0.234 0.436 1.725

Problem 1190

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

N.S.

1 0.83 0.83 0.75 0.67 0.67 0.58 0.75 0.67

time (sec)

N/A 0.002 0.001 0.043 0.256 0.365 0.018 0.400 0.017

Problem 1191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 49 18 33 42 42 44 42 20

N.S.

1 2.04 0.75 1.38 1.75 1.75 1.83 1.75 0.83

time (sec)

N/A 0.013 0.009 0.074 0.254 0.345 0.012 0.399 0.083

Problem 1192

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 119 43 142 100 99 110 121 103

N.S.

1 4.41 1.59 5.26 3.70 3.67 4.07 4.48 3.81

time (sec)

N/A 0.049 0.073 0.083 0.264 0.342 0.098 0.396 0.134

Problem 1193

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

N.S.

1 0.00 0.65 0.70 0.70 0.78 0.65 1.48 0.65

time (sec)

N/A 0.221 0.091 0.164 0.284 0.335 0.036 0.382 0.999

Problem 1194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 50 58 38 0 54 44 58 35

N.S.

1 1.85 2.15 1.41 0.00 2.00 1.63 2.15 1.30

time (sec)

N/A 0.106 0.022 0.053 0.000 0.362 0.073 0.387 0.889

Problem 1195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A F A A A A B

verified

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

size

29 0 25 0 40 41 27 33 106

N.S.

1 0.00 0.86 0.00 1.38 1.41 0.93 1.14 3.66

time (sec)

N/A 1.380 0.076 0.116 0.507 0.365 0.074 0.483 1.376

Problem 1196

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

8 7 7 13 6 6 7 7 6

N.S.

1 0.88 0.88 1.62 0.75 0.75 0.88 0.88 0.75

time (sec)

N/A 0.001 0.000 0.044 0.273 0.335 0.009 0.415 0.022

Problem 1197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B A A A F B

verified

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

size

27 0 27 71 23 31 29 0 46

N.S.

1 0.00 1.00 2.63 0.85 1.15 1.07 0.00 1.70

time (sec)

N/A 3.529 0.147 0.318 0.382 0.367 0.192 0.000 1.264

Problem 1198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 21 21 20 19 30 22 30 19

N.S.

1 1.00 1.00 0.95 0.90 1.43 1.05 1.43 0.90

time (sec)

N/A 0.016 0.015 0.095 0.261 0.348 0.049 0.388 0.086

Problem 1199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 37 36 0 37 0 0 30

N.S.

1 0.00 1.19 1.16 0.00 1.19 0.00 0.00 0.97

time (sec)

N/A 174.013 0.173 0.038 0.000 0.355 0.000 0.000 1.171

Problem 1200

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 47 25 42 24 27 27 24 34

N.S.

1 1.52 0.81 1.35 0.77 0.87 0.87 0.77 1.10

time (sec)

N/A 0.058 0.012 0.308 0.295 0.350 0.572 0.372 0.140

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