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

2.2.2 Integrals 101 to 200

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 101

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

143 143 92 116 64 86 0 64 660

N.S.

1 1.00 0.64 0.81 0.45 0.60 0.00 0.45 4.62

time (sec)

N/A 0.064 0.038 0.027 0.652 0.337 0.000 0.381 3.716

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 51 0 0 0 0 0 -1

N.S.

1 1.00 0.54 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.045 0.394 0.040 0.000 0.000 0.000 0.000 0.000

Problem 103

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

92 92 114 371 81 95 0 61 867

N.S.

1 1.00 1.24 4.03 0.88 1.03 0.00 0.66 9.42

time (sec)

N/A 0.094 0.029 0.833 0.854 0.335 0.000 0.387 1.336

Problem 104

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

71 71 86 239 69 83 0 44 620

N.S.

1 1.00 1.21 3.37 0.97 1.17 0.00 0.62 8.73

time (sec)

N/A 0.082 0.033 0.256 0.873 0.330 0.000 0.383 1.473

Problem 105

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

47 47 49 136 48 61 54 37 46

N.S.

1 1.00 1.04 2.89 1.02 1.30 1.15 0.79 0.98

time (sec)

N/A 0.039 0.027 0.107 0.851 0.381 39.214 0.384 1.028

Problem 106

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 34 27 43 32 32 42 18 25

N.S.

1 1.00 0.79 1.26 0.94 0.94 1.24 0.53 0.74

time (sec)

N/A 0.019 0.032 0.084 0.845 0.325 37.239 0.385 0.082

Problem 107

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

N.S.

1 1.00 1.00 0.94 0.75 1.50 1.50 0.75 0.88

time (sec)

N/A 0.005 0.007 0.059 0.475 0.345 25.471 0.389 0.059

Problem 108

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

97 97 74 92 51 80 0 43 645

N.S.

1 1.00 0.76 0.95 0.53 0.82 0.00 0.44 6.65

time (sec)

N/A 0.100 0.062 0.023 0.863 0.347 0.000 0.391 3.661

Problem 109

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

131 131 93 117 69 109 0 60 804

N.S.

1 1.00 0.71 0.89 0.53 0.83 0.00 0.46 6.14

time (sec)

N/A 0.113 0.037 0.027 0.863 0.368 0.000 0.392 3.665

Problem 110

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

170 170 107 145 86 130 0 73 909

N.S.

1 1.00 0.63 0.85 0.51 0.76 0.00 0.43 5.35

time (sec)

N/A 0.098 0.036 0.031 0.842 0.342 0.000 0.404 2.728

Problem 111

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

101 101 83 154 64 64 0 150 811

N.S.

1 1.00 0.82 1.52 0.63 0.63 0.00 1.49 8.03

time (sec)

N/A 0.048 0.024 0.090 0.532 0.325 0.000 0.402 1.052

Problem 112

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

80 80 66 124 53 53 0 125 648

N.S.

1 1.00 0.82 1.55 0.66 0.66 0.00 1.56 8.10

time (sec)

N/A 0.035 0.025 0.080 0.524 0.341 0.000 0.388 0.990

Problem 113

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

59 59 49 69 42 42 0 102 485

N.S.

1 1.00 0.83 1.17 0.71 0.71 0.00 1.73 8.22

time (sec)

N/A 0.022 0.026 0.085 0.538 0.337 0.000 0.395 0.992

Problem 114

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

38 38 32 42 30 30 0 75 151

N.S.

1 1.00 0.84 1.11 0.79 0.79 0.00 1.97 3.97

time (sec)

N/A 0.011 0.033 0.082 0.523 0.349 0.000 0.394 1.038

Problem 115

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 18 18 15 12 12 26 18 95

N.S.

1 1.00 1.00 0.83 0.67 0.67 1.44 1.00 5.28

time (sec)

N/A 0.004 0.009 0.065 0.537 0.347 0.138 0.409 1.121

Problem 116

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

63 63 61 54 0 73 0 40 308

N.S.

1 1.00 0.97 0.86 0.00 1.16 0.00 0.63 4.89

time (sec)

N/A 0.044 0.061 0.064 0.000 0.345 0.000 0.384 2.364

Problem 117

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

66 66 65 63 0 93 0 51 341

N.S.

1 1.00 0.98 0.95 0.00 1.41 0.00 0.77 5.17

time (sec)

N/A 0.022 0.031 0.068 0.000 0.335 0.000 0.396 6.975

Problem 118

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

125 125 89 92 0 119 0 75 741

N.S.

1 1.00 0.71 0.74 0.00 0.95 0.00 0.60 5.93

time (sec)

N/A 0.052 0.077 0.069 0.000 0.342 0.000 0.392 5.739

Problem 119

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

179 179 115 185 0 145 0 93 964

N.S.

1 1.00 0.64 1.03 0.00 0.81 0.00 0.52 5.39

time (sec)

N/A 0.084 0.072 0.069 0.000 0.360 0.000 0.395 5.513

Problem 120

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

101 101 83 154 64 75 0 241 1813

N.S.

1 1.00 0.82 1.52 0.63 0.74 0.00 2.39 17.95

time (sec)

N/A 0.047 0.025 0.079 0.523 0.330 0.000 0.393 1.186

Problem 121

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

80 80 66 124 53 64 0 205 1483

N.S.

1 1.00 0.82 1.55 0.66 0.80 0.00 2.56 18.54

time (sec)

N/A 0.035 0.039 0.080 0.527 0.333 0.000 0.388 1.124

Problem 122

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

59 59 49 69 42 53 0 168 1153

N.S.

1 1.00 0.83 1.17 0.71 0.90 0.00 2.85 19.54

time (sec)

N/A 0.023 0.053 0.080 0.536 0.345 0.000 0.396 1.119

Problem 123

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

38 38 32 42 31 41 49 131 823

N.S.

1 1.00 0.84 1.11 0.82 1.08 1.29 3.45 21.66

time (sec)

N/A 0.014 0.034 0.081 0.536 0.344 2.445 0.403 1.081

Problem 124

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

18 18 18 15 12 28 26 84 97

N.S.

1 1.00 1.00 0.83 0.67 1.56 1.44 4.67 5.39

time (sec)

N/A 0.004 0.008 0.066 0.517 0.329 1.186 0.406 1.162

Problem 125

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

91 91 80 131 0 88 0 57 501

N.S.

1 1.00 0.88 1.44 0.00 0.97 0.00 0.63 5.51

time (sec)

N/A 0.036 0.054 0.063 0.000 0.347 0.000 0.392 5.999

Problem 126

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

81 81 79 85 0 102 0 69 459

N.S.

1 1.00 0.98 1.05 0.00 1.26 0.00 0.85 5.67

time (sec)

N/A 0.034 0.031 0.069 0.000 0.341 0.000 0.394 2.217

Problem 127

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

92 92 88 91 0 124 0 73 609

N.S.

1 1.00 0.96 0.99 0.00 1.35 0.00 0.79 6.62

time (sec)

N/A 0.035 0.044 0.069 0.000 0.356 0.000 0.395 6.032

Problem 128

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

146 146 117 116 0 145 0 93 1019

N.S.

1 1.00 0.80 0.79 0.00 0.99 0.00 0.64 6.98

time (sec)

N/A 0.068 0.062 0.071 0.000 0.378 0.000 0.412 5.419

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 83 154 64 86 0 344 2500

N.S.

1 1.00 0.82 1.52 0.63 0.85 0.00 3.41 24.75

time (sec)

N/A 0.052 0.026 0.081 0.543 0.333 0.000 0.401 1.280

Problem 130

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

80 80 66 124 53 75 94 296 2235

N.S.

1 1.00 0.82 1.55 0.66 0.94 1.18 3.70 27.94

time (sec)

N/A 0.053 0.027 0.081 0.544 0.324 113.235 0.394 1.152

Problem 131

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

59 59 49 69 42 64 71 248 1789

N.S.

1 1.00 0.83 1.17 0.71 1.08 1.20 4.20 30.32

time (sec)

N/A 0.038 0.025 0.081 0.538 0.339 62.073 0.387 1.139

Problem 132

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

38 38 32 42 31 52 49 197 773

N.S.

1 1.00 0.84 1.11 0.82 1.37 1.29 5.18 20.34

time (sec)

N/A 0.014 0.036 0.077 0.540 0.336 33.862 0.410 1.105

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 18 15 12 39 26 136 337

N.S.

1 1.00 1.00 0.83 0.67 2.17 1.44 7.56 18.72

time (sec)

N/A 0.004 0.009 0.065 0.509 0.338 17.679 0.405 1.120

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 99 222 0 114 0 73 789

N.S.

1 1.00 0.82 1.83 0.00 0.94 0.00 0.60 6.52

time (sec)

N/A 0.057 0.056 0.065 0.000 0.331 0.000 0.391 4.816

Problem 135

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

110 110 106 193 0 126 0 89 616

N.S.

1 1.00 0.96 1.75 0.00 1.15 0.00 0.81 5.60

time (sec)

N/A 0.052 0.044 0.069 0.000 0.344 0.000 0.397 4.967

Problem 136

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

110 110 108 142 0 133 0 92 614

N.S.

1 1.00 0.98 1.29 0.00 1.21 0.00 0.84 5.58

time (sec)

N/A 0.049 0.037 0.072 0.000 0.349 0.000 0.423 2.066

Problem 137

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

113 113 107 144 0 146 0 88 669

N.S.

1 1.00 0.95 1.27 0.00 1.29 0.00 0.78 5.92

time (sec)

N/A 0.050 0.051 0.072 0.000 0.344 0.000 0.396 5.675

Problem 138

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

167 167 134 169 0 167 0 108 1069

N.S.

1 1.00 0.80 1.01 0.00 1.00 0.00 0.65 6.40

time (sec)

N/A 0.087 0.080 0.072 0.000 0.360 0.000 0.406 5.848

Problem 139

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

221 221 150 262 0 189 0 123 1292

N.S.

1 1.00 0.68 1.19 0.00 0.86 0.00 0.56 5.85

time (sec)

N/A 0.124 0.080 0.076 0.000 0.323 0.000 0.412 6.506

Problem 140

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

99 99 83 153 64 53 0 61 496

N.S.

1 1.00 0.84 1.55 0.65 0.54 0.00 0.62 5.01

time (sec)

N/A 0.049 0.028 0.065 0.536 0.341 0.000 0.404 1.090

Problem 141

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

76 76 66 123 53 42 0 49 385

N.S.

1 1.00 0.87 1.62 0.70 0.55 0.00 0.64 5.07

time (sec)

N/A 0.037 0.027 0.063 0.537 0.349 0.000 0.402 1.066

Problem 142

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

57 57 49 68 42 31 0 37 211

N.S.

1 1.00 0.86 1.19 0.74 0.54 0.00 0.65 3.70

time (sec)

N/A 0.026 0.027 0.064 0.527 0.342 0.000 0.382 1.145

Problem 143

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

36 36 32 56 30 19 0 23 105

N.S.

1 1.00 0.89 1.56 0.83 0.53 0.00 0.64 2.92

time (sec)

N/A 0.012 0.032 0.063 0.540 0.343 0.000 0.384 1.213

Problem 144

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

N.S.

1 1.00 1.00 0.94 0.75 0.75 1.50 0.75 3.25

time (sec)

N/A 0.004 0.009 0.066 0.519 0.379 23.207 0.379 1.176

Problem 145

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

49 49 47 42 0 56 0 21 285

N.S.

1 1.00 0.96 0.86 0.00 1.14 0.00 0.43 5.82

time (sec)

N/A 0.011 0.038 0.065 0.000 0.366 0.000 0.389 7.189

Problem 146

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

94 94 78 95 0 93 0 47 570

N.S.

1 1.00 0.83 1.01 0.00 0.99 0.00 0.50 6.06

time (sec)

N/A 0.039 0.048 0.067 0.000 0.336 0.000 0.385 7.018

Problem 147

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

158 158 98 148 0 123 0 69 802

N.S.

1 1.00 0.62 0.94 0.00 0.78 0.00 0.44 5.08

time (sec)

N/A 0.073 0.061 0.066 0.000 0.396 0.000 0.393 6.009

Problem 148

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

212 212 117 200 0 145 0 84 1086

N.S.

1 1.00 0.55 0.94 0.00 0.68 0.00 0.40 5.12

time (sec)

N/A 0.106 0.075 0.069 0.000 0.347 0.000 0.420 5.749

Problem 149

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

95 95 83 319 64 63 0 77 1057

N.S.

1 1.00 0.87 3.36 0.67 0.66 0.00 0.81 11.13

time (sec)

N/A 0.047 0.032 0.066 0.530 0.327 0.000 0.399 1.450

Problem 150

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

74 74 66 201 52 51 0 61 660

N.S.

1 1.00 0.89 2.72 0.70 0.69 0.00 0.82 8.92

time (sec)

N/A 0.034 0.027 0.066 0.520 0.319 0.000 0.401 1.258

Problem 151

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

55 55 49 106 41 40 0 46 259

N.S.

1 1.00 0.89 1.93 0.75 0.73 0.00 0.84 4.71

time (sec)

N/A 0.024 0.028 0.066 0.544 0.344 0.000 0.393 1.293

Problem 152

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 34 29 40 30 29 46 29 152

N.S.

1 1.00 0.85 1.18 0.88 0.85 1.35 0.85 4.47

time (sec)

N/A 0.011 0.036 0.063 0.537 0.372 46.134 0.389 1.334

Problem 153

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 16 16 15 12 20 26 12 97

N.S.

1 1.00 1.00 0.94 0.75 1.25 1.62 0.75 6.06

time (sec)

N/A 0.004 0.009 0.065 0.519 0.336 45.834 0.383 1.310

Problem 154

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

78 78 75 68 0 110 0 37 614

N.S.

1 1.00 0.96 0.87 0.00 1.41 0.00 0.47 7.87

time (sec)

N/A 0.029 0.073 0.066 0.000 0.374 0.000 0.387 6.144

Problem 155

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

124 124 91 105 0 151 0 64 807

N.S.

1 1.00 0.73 0.85 0.00 1.22 0.00 0.52 6.51

time (sec)

N/A 0.051 0.060 0.071 0.000 0.390 0.000 0.407 5.856

Problem 156

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

191 191 115 131 0 189 0 80 1028

N.S.

1 1.00 0.60 0.69 0.00 0.99 0.00 0.42 5.38

time (sec)

N/A 0.087 0.083 0.075 0.000 0.353 0.000 0.403 6.072

Problem 157

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

245 245 133 186 0 211 0 95 1258

N.S.

1 1.00 0.54 0.76 0.00 0.86 0.00 0.39 5.13

time (sec)

N/A 0.138 0.081 0.075 0.000 0.386 0.000 0.400 5.092

Problem 158

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

99 99 83 295 64 74 0 75 817

N.S.

1 1.00 0.84 2.98 0.65 0.75 0.00 0.76 8.25

time (sec)

N/A 0.048 0.034 0.069 0.529 0.346 0.000 0.382 1.423

Problem 159

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

76 76 65 186 52 62 90 59 533

N.S.

1 1.00 0.86 2.45 0.68 0.82 1.18 0.78 7.01

time (sec)

N/A 0.034 0.030 0.067 0.540 0.341 72.695 0.396 1.296

Problem 160

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

59 59 48 91 42 52 71 39 259

N.S.

1 1.00 0.81 1.54 0.71 0.88 1.20 0.66 4.39

time (sec)

N/A 0.024 0.032 0.067 0.550 0.330 71.896 0.395 1.262

Problem 161

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

38 38 31 42 31 41 51 20 152

N.S.

1 1.00 0.82 1.11 0.82 1.08 1.34 0.53 4.00

time (sec)

N/A 0.013 0.031 0.068 0.526 0.335 72.213 0.385 1.382

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 18 15 12 31 27 12 103

N.S.

1 1.00 1.00 0.83 0.67 1.72 1.50 0.67 5.72

time (sec)

N/A 0.004 0.009 0.066 0.509 0.327 48.569 0.388 1.367

Problem 163

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

108 108 91 93 0 177 0 45 886

N.S.

1 1.00 0.84 0.86 0.00 1.64 0.00 0.42 8.20

time (sec)

N/A 0.042 0.104 0.068 0.000 0.348 0.000 0.385 6.263

Problem 164

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

155 155 113 130 0 221 0 65 1230

N.S.

1 1.00 0.73 0.84 0.00 1.43 0.00 0.42 7.94

time (sec)

N/A 0.074 0.091 0.073 0.000 0.358 0.000 0.390 7.338

Problem 165

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

224 224 133 157 0 255 0 93 1514

N.S.

1 1.00 0.59 0.70 0.00 1.14 0.00 0.42 6.76

time (sec)

N/A 0.106 0.079 0.075 0.000 0.354 0.000 0.394 8.471

Problem 166

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

278 278 150 211 0 277 0 115 2359

N.S.

1 1.00 0.54 0.76 0.00 1.00 0.00 0.41 8.49

time (sec)

N/A 0.151 0.251 0.079 0.000 0.365 0.000 0.396 6.417

Problem 167

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

27 27 23 20 19 18 0 13 57

N.S.

1 1.00 0.85 0.74 0.70 0.67 0.00 0.48 2.11

time (sec)

N/A 0.006 0.027 0.109 0.265 0.327 0.000 0.394 1.242

Problem 168

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 27 23 20 19 18 26 13 57

N.S.

1 1.00 0.85 0.74 0.70 0.67 0.96 0.48 2.11

time (sec)

N/A 0.006 0.020 0.104 0.260 0.325 18.981 0.373 1.087

Problem 169

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 27 23 20 19 18 26 13 57

N.S.

1 1.00 0.85 0.74 0.70 0.67 0.96 0.48 2.11

time (sec)

N/A 0.006 0.020 0.103 0.266 0.321 1.666 0.384 1.100

Problem 170

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

27 27 23 20 19 16 0 13 57

N.S.

1 1.00 0.85 0.74 0.70 0.59 0.00 0.48 2.11

time (sec)

N/A 0.006 0.019 0.102 0.267 0.323 0.000 0.399 1.092

Problem 171

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

25 25 23 20 19 12 0 13 56

N.S.

1 1.00 0.92 0.80 0.76 0.48 0.00 0.52 2.24

time (sec)

N/A 0.006 0.014 0.101 0.261 0.367 0.000 0.388 1.127

Problem 172

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 23 20 20 19 12 22 13 56

N.S.

1 1.00 0.87 0.87 0.83 0.52 0.96 0.57 2.43

time (sec)

N/A 0.007 0.015 0.099 0.270 0.354 0.388 0.377 1.116

Problem 173

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 27 21 20 19 11 27 11 52

N.S.

1 1.00 0.78 0.74 0.70 0.41 1.00 0.41 1.93

time (sec)

N/A 0.007 0.015 0.100 0.260 0.331 2.589 0.381 1.241

Problem 174

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 27 23 20 19 13 27 13 57

N.S.

1 1.00 0.85 0.74 0.70 0.48 1.00 0.48 2.11

time (sec)

N/A 0.006 0.016 0.107 0.266 0.330 19.822 0.390 1.282

Problem 175

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

48 48 40 38 36 29 0 24 122

N.S.

1 1.00 0.83 0.79 0.75 0.60 0.00 0.50 2.54

time (sec)

N/A 0.015 0.041 0.293 0.268 0.360 0.000 0.391 1.154

Problem 176

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

48 48 40 38 36 29 48 24 122

N.S.

1 1.00 0.83 0.79 0.75 0.60 1.00 0.50 2.54

time (sec)

N/A 0.015 0.034 0.289 0.273 0.332 33.816 0.399 1.131

Problem 177

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

48 48 40 38 36 29 0 24 122

N.S.

1 1.00 0.83 0.79 0.75 0.60 0.00 0.50 2.54

time (sec)

N/A 0.016 0.029 0.284 0.277 0.357 0.000 0.381 1.141

Problem 178

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

48 48 40 38 36 27 0 24 122

N.S.

1 1.00 0.83 0.79 0.75 0.56 0.00 0.50 2.54

time (sec)

N/A 0.015 0.043 0.283 0.277 0.334 0.000 0.385 1.119

Problem 179

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

46 46 40 47 36 24 0 24 122

N.S.

1 1.00 0.87 1.02 0.78 0.52 0.00 0.52 2.65

time (sec)

N/A 0.014 0.023 0.273 0.271 0.350 0.000 0.393 1.154

Problem 180

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

44 44 40 37 36 23 0 24 122

N.S.

1 1.00 0.91 0.84 0.82 0.52 0.00 0.55 2.77

time (sec)

N/A 0.015 0.036 0.290 0.275 0.333 0.000 0.384 1.162

Problem 181

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

48 48 40 38 36 24 48 23 122

N.S.

1 1.00 0.83 0.79 0.75 0.50 1.00 0.48 2.54

time (sec)

N/A 0.015 0.032 0.282 0.269 0.362 2.302 0.393 1.132

Problem 182

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

48 48 40 38 36 24 49 24 122

N.S.

1 1.00 0.83 0.79 0.75 0.50 1.02 0.50 2.54

time (sec)

N/A 0.016 0.032 0.287 0.277 0.350 20.262 0.379 1.134

Problem 183

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

69 69 57 56 55 40 0 35 182

N.S.

1 1.00 0.83 0.81 0.80 0.58 0.00 0.51 2.64

time (sec)

N/A 0.025 0.021 1.199 0.282 0.341 0.000 0.390 1.165

Problem 184

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

69 69 57 56 55 40 70 35 182

N.S.

1 1.00 0.83 0.81 0.80 0.58 1.01 0.51 2.64

time (sec)

N/A 0.026 0.036 1.224 0.282 0.373 61.609 0.396 1.177

Problem 185

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

69 69 57 56 55 40 0 35 182

N.S.

1 1.00 0.83 0.81 0.80 0.58 0.00 0.51 2.64

time (sec)

N/A 0.026 0.022 1.211 0.289 0.340 0.000 0.399 1.170

Problem 186

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

69 69 57 56 55 38 0 35 182

N.S.

1 1.00 0.83 0.81 0.80 0.55 0.00 0.51 2.64

time (sec)

N/A 0.025 0.020 1.192 0.277 0.372 0.000 0.377 1.157

Problem 187

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

65 65 57 69 55 35 0 35 182

N.S.

1 1.00 0.88 1.06 0.85 0.54 0.00 0.54 2.80

time (sec)

N/A 0.024 0.021 1.317 0.283 0.345 0.000 0.396 1.186

Problem 188

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

63 63 57 64 55 34 0 35 182

N.S.

1 1.00 0.90 1.02 0.87 0.54 0.00 0.56 2.89

time (sec)

N/A 0.025 0.059 1.331 0.277 0.369 0.000 0.377 1.214

Problem 189

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

65 65 55 55 55 34 66 34 182

N.S.

1 1.00 0.85 0.85 0.85 0.52 1.02 0.52 2.80

time (sec)

N/A 0.025 0.061 1.222 0.283 0.343 2.052 0.407 1.216

Problem 190

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

69 69 57 56 55 35 70 34 182

N.S.

1 1.00 0.83 0.81 0.80 0.51 1.01 0.49 2.64

time (sec)

N/A 0.026 0.041 1.228 0.277 0.342 20.155 0.392 1.185

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 129 481 65 153 0 70 475

N.S.

1 1.00 0.90 3.36 0.45 1.07 0.00 0.49 3.32

time (sec)

N/A 0.095 0.091 0.125 0.467 0.363 0.000 0.395 1.721

Problem 192

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

116 116 108 330 54 132 0 59 415

N.S.

1 1.00 0.93 2.84 0.47 1.14 0.00 0.51 3.58

time (sec)

N/A 0.125 0.080 0.086 0.475 0.368 0.000 0.387 1.388

Problem 193

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

89 89 86 207 42 103 0 45 354

N.S.

1 1.00 0.97 2.33 0.47 1.16 0.00 0.51 3.98

time (sec)

N/A 0.094 0.058 0.083 0.497 0.353 0.000 0.393 1.852

Problem 194

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

64 64 62 112 31 85 0 31 296

N.S.

1 1.00 0.97 1.75 0.48 1.33 0.00 0.48 4.62

time (sec)

N/A 0.059 0.035 0.087 0.490 0.343 0.000 0.393 2.228

Problem 195

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

53 53 51 41 18 68 0 18 347

N.S.

1 1.00 0.96 0.77 0.34 1.28 0.00 0.34 6.55

time (sec)

N/A 0.036 0.027 0.081 0.460 0.380 0.000 0.392 4.005

Problem 196

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

76 76 73 76 31 93 0 31 464

N.S.

1 1.00 0.96 1.00 0.41 1.22 0.00 0.41 6.11

time (sec)

N/A 0.044 0.043 0.084 0.467 0.354 0.000 0.402 1.968

Problem 197

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

101 101 89 98 41 118 0 41 642

N.S.

1 1.00 0.88 0.97 0.41 1.17 0.00 0.41 6.36

time (sec)

N/A 0.114 0.123 0.085 0.468 0.380 0.000 0.393 1.832

Problem 198

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

128 128 107 120 52 144 0 52 822

N.S.

1 1.00 0.84 0.94 0.41 1.12 0.00 0.41 6.42

time (sec)

N/A 0.063 0.102 0.090 0.473 0.362 0.000 0.389 1.634

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 144 452 75 188 0 76 523

N.S.

1 1.00 1.07 3.35 0.56 1.39 0.00 0.56 3.87

time (sec)

N/A 0.074 0.127 0.953 0.471 0.335 0.000 0.373 1.612

Problem 200

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

108 108 119 294 64 161 0 65 463

N.S.

1 1.00 1.10 2.72 0.59 1.49 0.00 0.60 4.29

time (sec)

N/A 0.052 0.100 0.514 0.483 0.380 0.000 0.384 1.532

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