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

Integrals 101 to 200

Detailed conclusion table per each integral is given by the 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 as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 172 273 239 0 134 0 134 0

N.S.

1 1.00 1.59 1.39 0.00 0.78 0.00 0.78 0.00

time (sec)

N/A 0.246 0.548 0.125 0.000 0.318 0.000 0.379 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 149 232 192 0 124 0 124 0

N.S.

1 1.00 1.56 1.29 0.00 0.83 0.00 0.83 0.00

time (sec)

N/A 0.181 0.499 0.078 0.000 0.329 0.000 0.388 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 127 190 175 0 114 0 114 0

N.S.

1 1.00 1.50 1.38 0.00 0.90 0.00 0.90 0.00

time (sec)

N/A 0.159 0.406 0.086 0.000 0.346 0.000 0.414 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 85 80 0 101 0 101 0

N.S.

1 1.00 0.89 0.84 0.00 1.06 0.00 1.06 0.00

time (sec)

N/A 0.104 0.041 0.075 0.000 0.322 0.000 0.360 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

21 21 23 19 21 23 19 21 21

N.S.

1 1.00 1.10 0.90 1.00 1.10 0.90 1.00 1.00

time (sec)

N/A 0.051 0.321 0.043 0.272 0.344 44.308 0.365 1.420

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 142 132 0 115 0 92 0

N.S.

1 1.00 1.87 1.74 0.00 1.51 0.00 1.21 0.00

time (sec)

N/A 0.177 0.392 0.076 0.000 0.339 0.000 0.377 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 95 186 0 138 0 130 0

N.S.

1 1.00 0.94 1.84 0.00 1.37 0.00 1.29 0.00

time (sec)

N/A 0.194 0.346 0.079 0.000 0.380 0.000 0.443 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A F(-1) C F(-1)

verified

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

size

187 187 216 0 0 110 0 132 0

N.S.

1 1.00 1.16 0.00 0.00 0.59 0.00 0.71 0.00

time (sec)

N/A 0.362 0.926 0.000 0.000 0.339 0.000 0.372 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A F(-1) C F(-1)

verified

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

size

158 158 198 0 0 100 0 122 0

N.S.

1 1.00 1.25 0.00 0.00 0.63 0.00 0.77 0.00

time (sec)

N/A 0.289 0.678 0.000 0.000 0.325 0.000 0.385 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A F(-1) F F(-1)

verified

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

size

118 118 172 0 0 84 0 0 0

N.S.

1 1.00 1.46 0.00 0.00 0.71 0.00 0.00 0.00

time (sec)

N/A 0.252 0.546 0.000 0.000 0.304 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A F(-1) F(-2) F(-1)

verified

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

size

114 114 180 0 0 84 0 0 0

N.S.

1 1.00 1.58 0.00 0.00 0.74 0.00 0.00 0.00

time (sec)

N/A 0.209 0.437 0.000 0.000 0.344 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A F(-1) A F(-1)

verified

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

size

151 151 280 0 0 108 0 181 0

N.S.

1 1.00 1.85 0.00 0.00 0.72 0.00 1.20 0.00

time (sec)

N/A 0.318 0.630 0.000 0.000 0.371 0.000 0.403 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 93 93 84 82 88 0 0 0

N.S.

1 1.00 1.00 0.90 0.88 0.95 0.00 0.00 0.00

time (sec)

N/A 0.051 0.007 0.321 0.197 0.325 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 77 69 67 73 0 0 0

N.S.

1 1.00 1.00 0.90 0.87 0.95 0.00 0.00 0.00

time (sec)

N/A 0.039 0.006 0.268 0.194 0.323 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 59 52 50 56 0 0 0

N.S.

1 1.00 1.00 0.88 0.85 0.95 0.00 0.00 0.00

time (sec)

N/A 0.026 0.005 0.228 0.200 0.300 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 38 28 34 40 0 0 35

N.S.

1 1.00 1.00 0.74 0.89 1.05 0.00 0.00 0.92

time (sec)

N/A 0.032 0.003 0.843 0.194 0.315 0.000 0.000 1.469

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

12 12 14 11 13 13 10 13 13

N.S.

1 1.00 1.17 0.92 1.08 1.08 0.83 1.08 1.08

time (sec)

N/A 0.023 0.041 0.060 0.235 0.298 0.348 0.317 1.420

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 132 132 601 189 128 0 0 0

N.S.

1 1.00 1.00 4.55 1.43 0.97 0.00 0.00 0.00

time (sec)

N/A 0.066 0.013 2.089 0.232 0.340 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 98 430 153 93 0 0 0

N.S.

1 1.00 1.00 4.39 1.56 0.95 0.00 0.00 0.00

time (sec)

N/A 0.043 0.006 1.063 0.242 0.336 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 63 262 117 58 0 0 0

N.S.

1 1.00 1.00 4.16 1.86 0.92 0.00 0.00 0.00

time (sec)

N/A 0.025 0.005 0.630 0.232 0.326 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 32 76 31 0 0 0

N.S.

1 1.00 1.00 1.03 2.45 1.00 0.00 0.00 0.00

time (sec)

N/A 0.011 0.004 1.266 0.233 0.308 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

20 20 22 20 21 23 19 22 22

N.S.

1 1.00 1.10 1.00 1.05 1.15 0.95 1.10 1.10

time (sec)

N/A 0.046 0.173 0.085 0.356 0.320 1.697 0.462 1.507

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 193 193 1276 204 245 0 0 0

N.S.

1 1.00 1.00 6.61 1.06 1.27 0.00 0.00 0.00

time (sec)

N/A 0.090 0.009 2.115 0.249 0.350 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 156 916 165 205 0 0 0

N.S.

1 1.00 1.00 5.87 1.06 1.31 0.00 0.00 0.00

time (sec)

N/A 0.071 0.007 1.096 0.240 0.317 0.000 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 118 558 126 169 0 0 0

N.S.

1 1.00 1.00 4.73 1.07 1.43 0.00 0.00 0.00

time (sec)

N/A 0.047 0.007 0.579 0.231 0.341 0.000 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 75 69 82 106 0 0 0

N.S.

1 1.00 1.00 0.92 1.09 1.41 0.00 0.00 0.00

time (sec)

N/A 0.087 0.004 1.666 0.226 0.299 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

20 20 22 20 21 23 19 22 22

N.S.

1 1.00 1.10 1.00 1.05 1.15 0.95 1.10 1.10

time (sec)

N/A 0.045 0.161 0.079 0.326 0.332 1.665 0.524 1.524

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 39 96 82 106 0 0 0

N.S.

1 1.00 1.00 2.46 2.10 2.72 0.00 0.00 0.00

time (sec)

N/A 0.019 0.009 1.404 0.224 0.307 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

5 5 5 6 5 5 5 22 5

N.S.

1 1.00 1.00 1.20 1.00 1.00 1.00 4.40 1.00

time (sec)

N/A 0.012 0.020 0.153 0.191 0.306 0.044 0.321 1.789

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 9 8 8 10 8 13

N.S.

1 1.00 1.00 0.75 0.67 0.67 0.83 0.67 1.08

time (sec)

N/A 0.016 0.004 0.531 0.190 0.314 0.287 0.322 1.840

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 10 9 8 31 39 31 26

N.S.

1 1.00 1.00 0.90 0.80 3.10 3.90 3.10 2.60

time (sec)

N/A 0.011 0.004 0.191 0.201 0.315 0.070 0.494 1.534

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 8 7 6 6 7 6 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.88 0.75 0.75

time (sec)

N/A 0.009 0.003 0.306 0.192 0.323 0.115 0.329 0.072

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

3 3 3 4 3 3 15 3 3

N.S.

1 1.00 1.00 1.33 1.00 1.00 5.00 1.00 1.00

time (sec)

N/A 0.013 0.024 1.067 0.290 0.323 0.062 0.370 1.584

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 42 13 16 16 0 0 12

N.S.

1 1.00 3.00 0.93 1.14 1.14 0.00 0.00 0.86

time (sec)

N/A 0.020 0.014 0.211 0.206 0.318 0.000 0.000 1.626

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 25 8 7 21 0 7 7

N.S.

1 1.00 2.27 0.73 0.64 1.91 0.00 0.64 0.64

time (sec)

N/A 0.021 0.017 0.178 0.295 0.322 0.000 0.370 1.526

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

7 7 18 6 5 16 0 16 5

N.S.

1 1.00 2.57 0.86 0.71 2.29 0.00 2.29 0.71

time (sec)

N/A 0.018 0.031 0.173 0.281 0.305 0.000 0.351 1.526

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 111 106 23 97 71 17 0 120

N.S.

1 1.00 0.95 0.21 0.87 0.64 0.15 0.00 1.08

time (sec)

N/A 0.074 0.070 0.233 0.287 0.318 0.090 0.000 5.953

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes 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.018 0.005 0.191 0.193 0.313 0.055 0.316 1.591

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

9 9 9 10 9 11 7 9 9

N.S.

1 1.00 1.00 1.11 1.00 1.22 0.78 1.00 1.00

time (sec)

N/A 0.010 0.007 0.404 0.200 0.321 0.101 0.306 1.452

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 16 13 12 13 156 12 12

N.S.

1 1.00 0.94 0.76 0.71 0.76 9.18 0.71 0.71

time (sec)

N/A 0.014 0.021 0.454 0.201 0.347 1.020 0.300 1.420

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 13 12 12 10 27 12

N.S.

1 1.00 1.00 1.08 1.00 1.00 0.83 2.25 1.00

time (sec)

N/A 0.023 0.039 0.195 0.196 0.311 0.051 0.285 1.442

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 29 24 23 23 27 23 22

N.S.

1 1.00 1.38 1.14 1.10 1.10 1.29 1.10 1.05

time (sec)

N/A 0.024 0.019 0.172 0.225 0.294 0.060 0.296 1.458

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 31 31 30 36 27 37 26

N.S.

1 1.00 0.74 0.74 0.71 0.86 0.64 0.88 0.62

time (sec)

N/A 0.042 0.034 0.183 0.276 0.317 0.468 0.295 1.470

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 20 19 20 26 17 34 18

N.S.

1 1.00 0.83 0.79 0.83 1.08 0.71 1.42 0.75

time (sec)

N/A 0.026 0.028 0.189 0.201 0.346 0.059 0.304 1.511

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 16 18 17 12 20 17 13

N.S.

1 1.00 0.70 0.78 0.74 0.52 0.87 0.74 0.57

time (sec)

N/A 0.027 0.034 0.314 0.197 0.329 0.889 0.283 1.487

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 20 22 21 16 22 21 15

N.S.

1 1.00 0.69 0.76 0.72 0.55 0.76 0.72 0.52

time (sec)

N/A 0.032 0.023 0.423 0.196 0.321 1.107 0.298 1.601

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 30 29 29 32 0 18

N.S.

1 1.00 1.00 1.36 1.32 1.32 1.45 0.00 0.82

time (sec)

N/A 0.039 0.037 0.316 0.207 0.317 0.614 0.000 1.489

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 22 20 32 32 32 20 18

N.S.

1 1.00 0.81 0.74 1.19 1.19 1.19 0.74 0.67

time (sec)

N/A 0.034 0.032 0.203 0.200 0.312 0.052 0.397 1.560

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 30 0 38 0 48 27

N.S.

1 1.00 1.00 1.11 0.00 1.41 0.00 1.78 1.00

time (sec)

N/A 0.018 0.011 5.661 0.000 0.315 0.000 0.313 1.479

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 32 0 27 0 24 27

N.S.

1 1.00 1.00 1.19 0.00 1.00 0.00 0.89 1.00

time (sec)

N/A 0.023 0.006 2.560 0.000 0.335 0.000 0.334 1.475

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

25 25 25 21 20 13 0 27 21

N.S.

1 1.00 1.00 0.84 0.80 0.52 0.00 1.08 0.84

time (sec)

N/A 0.014 0.007 3.313 0.229 0.336 0.000 0.314 1.429

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 29 34 0 33 0 35 29

N.S.

1 1.00 1.00 1.17 0.00 1.14 0.00 1.21 1.00

time (sec)

N/A 0.024 0.006 0.560 0.000 0.351 0.000 0.314 1.536

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 21 29 5 5 3 5 5

N.S.

1 1.00 0.68 0.94 0.16 0.16 0.10 0.16 0.16

time (sec)

N/A 0.017 0.009 0.082 0.208 0.339 0.026 0.310 1.576

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C C A F C F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

35 35 30 80 57 30 0 102 0

N.S.

1 1.00 0.86 2.29 1.63 0.86 0.00 2.91 0.00

time (sec)

N/A 0.068 0.037 1.358 0.246 0.369 0.000 0.326 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C C A F C F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

66 66 50 132 79 52 0 123 0

N.S.

1 1.00 0.76 2.00 1.20 0.79 0.00 1.86 0.00

time (sec)

N/A 0.078 0.061 1.603 0.281 0.353 0.000 0.336 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C C A F C F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

89 89 66 162 110 64 0 454 0

N.S.

1 1.00 0.74 1.82 1.24 0.72 0.00 5.10 0.00

time (sec)

N/A 0.358 0.080 1.900 0.262 0.360 0.000 0.326 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C C A F C F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

35 35 30 79 55 30 0 108 0

N.S.

1 1.00 0.86 2.26 1.57 0.86 0.00 3.09 0.00

time (sec)

N/A 0.039 0.035 1.025 0.249 0.310 0.000 0.315 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C C A F C F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

66 66 50 132 76 54 0 122 0

N.S.

1 1.00 0.76 2.00 1.15 0.82 0.00 1.85 0.00

time (sec)

N/A 0.087 0.067 1.186 0.278 0.337 0.000 0.318 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C C A F C F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

88 88 66 162 109 64 0 495 0

N.S.

1 1.00 0.75 1.84 1.24 0.73 0.00 5.62 0.00

time (sec)

N/A 0.338 0.116 2.058 0.263 0.399 0.000 0.362 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

5 5 5 6 5 5 5 5 5

N.S.

1 1.00 1.00 1.20 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.024 0.025 1.456 0.246 0.305 3.916 0.379 1.498

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 42 87 87 104 0 0 0

N.S.

1 1.00 0.89 1.85 1.85 2.21 0.00 0.00 0.00

time (sec)

N/A 0.040 0.024 1.436 0.432 0.338 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 43 86 89 109 0 0 0

N.S.

1 1.00 0.96 1.91 1.98 2.42 0.00 0.00 0.00

time (sec)

N/A 0.041 0.015 1.247 0.382 0.389 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B B F F F(-1)

verified

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

size

52 52 52 0 91 115 0 0 0

N.S.

1 1.00 1.00 0.00 1.75 2.21 0.00 0.00 0.00

time (sec)

N/A 0.042 0.020 0.000 0.413 0.342 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 47 115 60 104 0 0 37

N.S.

1 1.00 1.00 2.45 1.28 2.21 0.00 0.00 0.79

time (sec)

N/A 0.036 0.011 1.618 0.406 0.409 0.000 0.000 1.499

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 43 115 62 106 0 0 39

N.S.

1 1.00 0.96 2.56 1.38 2.36 0.00 0.00 0.87

time (sec)

N/A 0.038 0.016 1.444 0.440 0.350 0.000 0.000 0.092

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F B

verified

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

size

52 52 52 0 65 115 0 0 41

N.S.

1 1.00 1.00 0.00 1.25 2.21 0.00 0.00 0.79

time (sec)

N/A 0.039 0.020 0.000 0.487 0.408 0.000 0.000 1.533

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 75 85 42 184 0 0 39

N.S.

1 1.00 1.47 1.67 0.82 3.61 0.00 0.00 0.76

time (sec)

N/A 0.032 0.012 1.036 0.310 0.358 0.000 0.000 0.095

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 75 82 44 184 0 0 41

N.S.

1 1.00 1.53 1.67 0.90 3.76 0.00 0.00 0.84

time (sec)

N/A 0.034 0.011 1.135 0.297 0.317 0.000 0.000 0.065

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B F F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

56 56 81 2196 48 195 0 0 44

N.S.

1 1.00 1.45 39.21 0.86 3.48 0.00 0.00 0.79

time (sec)

N/A 0.035 0.011 6.515 0.300 0.374 0.000 0.000 0.075

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 75 86 43 147 0 0 0

N.S.

1 1.00 1.47 1.69 0.84 2.88 0.00 0.00 0.00

time (sec)

N/A 0.032 0.010 0.945 0.290 0.336 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 75 82 44 148 0 0 0

N.S.

1 1.00 1.53 1.67 0.90 3.02 0.00 0.00 0.00

time (sec)

N/A 0.035 0.010 1.086 0.282 0.383 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B F F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

56 56 81 2197 49 158 0 0 44

N.S.

1 1.00 1.45 39.23 0.88 2.82 0.00 0.00 0.79

time (sec)

N/A 0.035 0.011 6.917 0.289 0.353 0.000 0.000 0.081

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 46 108 60 106 0 0 39

N.S.

1 1.00 1.00 2.35 1.30 2.30 0.00 0.00 0.85

time (sec)

N/A 0.033 0.011 1.325 0.400 0.322 0.000 0.000 0.096

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 43 117 61 102 0 0 39

N.S.

1 1.00 0.96 2.60 1.36 2.27 0.00 0.00 0.87

time (sec)

N/A 0.035 0.017 1.311 0.374 0.361 0.000 0.000 1.492

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F B

verified

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

size

51 51 51 0 65 117 0 0 43

N.S.

1 1.00 1.00 0.00 1.27 2.29 0.00 0.00 0.84

time (sec)

N/A 0.036 0.018 0.000 0.521 0.337 0.000 0.000 0.093

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 41 83 87 106 0 0 0

N.S.

1 1.00 0.89 1.80 1.89 2.30 0.00 0.00 0.00

time (sec)

N/A 0.038 0.014 1.144 0.431 0.370 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 42 88 87 107 0 0 0

N.S.

1 1.00 0.93 1.96 1.93 2.38 0.00 0.00 0.00

time (sec)

N/A 0.040 0.015 1.134 0.402 0.340 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B B F F F(-1)

verified

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

size

51 51 51 0 91 117 0 0 0

N.S.

1 1.00 1.00 0.00 1.78 2.29 0.00 0.00 0.00

time (sec)

N/A 0.040 0.019 0.000 0.461 0.361 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 13 111 17 17 0 13 0

N.S.

1 1.00 0.62 5.29 0.81 0.81 0.00 0.62 0.00

time (sec)

N/A 0.016 0.005 6.894 0.199 0.322 0.000 0.288 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

6 6 6 8 7 7 0 24 6

N.S.

1 1.00 1.00 1.33 1.17 1.17 0.00 4.00 1.00

time (sec)

N/A 0.012 0.023 1.084 0.203 0.328 0.000 0.292 1.721

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 25 35 6 6 0 6 6

N.S.

1 1.00 0.68 0.95 0.16 0.16 0.00 0.16 0.16

time (sec)

N/A 0.019 0.037 2.292 0.195 0.318 0.000 0.287 1.829

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 13 94 22 15 12 35

N.S.

1 1.00 1.00 1.08 7.83 1.83 1.25 1.00 2.92

time (sec)

N/A 0.019 0.014 1.542 0.286 0.328 14.260 0.300 1.871

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

9 9 9 8 7 7 0 7 7

N.S.

1 1.00 1.00 0.89 0.78 0.78 0.00 0.78 0.78

time (sec)

N/A 0.012 0.005 1.069 0.245 0.330 0.000 0.298 1.545

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 15 17 16 24 17 16 11

N.S.

1 1.00 0.75 0.85 0.80 1.20 0.85 0.80 0.55

time (sec)

N/A 0.027 0.016 0.575 0.264 0.329 0.573 0.340 1.550

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 33 30 42 65 0 0 29

N.S.

1 1.00 0.66 0.60 0.84 1.30 0.00 0.00 0.58

time (sec)

N/A 0.018 0.010 7.660 0.214 0.357 0.000 0.000 1.697

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

6 6 6 7 6 6 0 7 6

N.S.

1 1.00 1.00 1.17 1.00 1.00 0.00 1.17 1.00

time (sec)

N/A 0.014 0.015 0.920 0.196 0.370 0.000 0.311 1.593

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

9 9 9 8 7 7 8 7 7

N.S.

1 1.00 1.00 0.89 0.78 0.78 0.89 0.78 0.78

time (sec)

N/A 0.012 0.004 1.134 0.195 0.353 1.615 0.364 1.676

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 10 11 10 10 10 10 9

N.S.

1 1.00 1.00 1.10 1.00 1.00 1.00 1.00 0.90

time (sec)

N/A 0.006 0.010 0.605 0.192 0.279 0.190 0.309 1.649

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 43 35 108 27 223 27 0

N.S.

1 1.00 3.07 2.50 7.71 1.93 15.93 1.93 0.00

time (sec)

N/A 0.014 0.010 1.138 0.196 0.324 0.825 0.292 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 11 9 11 11 10 11 8

N.S.

1 1.00 1.00 0.82 1.00 1.00 0.91 1.00 0.73

time (sec)

N/A 0.008 0.001 0.598 0.188 0.321 0.180 0.286 1.640

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 59 194 104 120 0 0 0

N.S.

1 1.00 0.80 2.62 1.41 1.62 0.00 0.00 0.00

time (sec)

N/A 0.079 0.045 4.481 0.458 0.343 0.000 0.000 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 47 53 179 43 456 41 0

N.S.

1 1.00 1.18 1.32 4.48 1.08 11.40 1.02 0.00

time (sec)

N/A 0.046 0.032 1.230 0.215 0.352 3.608 0.289 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

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

size

79 79 88 0 139 0 0 0 0

N.S.

1 1.00 1.11 0.00 1.76 0.00 0.00 0.00 0.00

time (sec)

N/A 0.073 0.031 0.000 0.221 0.000 0.000 0.000 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 16 81 19 17 19 57

N.S.

1 1.00 1.00 1.07 5.40 1.27 1.13 1.27 3.80

time (sec)

N/A 0.016 0.015 1.415 0.275 0.316 11.143 0.350 1.714

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 30 58 36 134 0 52 0

N.S.

1 1.00 0.86 1.66 1.03 3.83 0.00 1.49 0.00

time (sec)

N/A 0.057 0.035 0.968 0.259 0.320 0.000 0.288 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 50 99 67 313 0 67 0

N.S.

1 1.00 0.76 1.50 1.02 4.74 0.00 1.02 0.00

time (sec)

N/A 0.102 0.073 1.302 0.256 0.343 0.000 0.305 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 67 120 110 587 0 102 0

N.S.

1 1.00 0.75 1.35 1.24 6.60 0.00 1.15 0.00

time (sec)

N/A 0.370 0.073 1.484 0.277 0.353 0.000 0.305 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 30 58 37 134 0 54 0

N.S.

1 1.00 0.86 1.66 1.06 3.83 0.00 1.54 0.00

time (sec)

N/A 0.046 0.030 0.953 0.252 0.349 0.000 0.298 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 50 99 67 305 0 67 0

N.S.

1 1.00 0.76 1.50 1.02 4.62 0.00 1.02 0.00

time (sec)

N/A 0.084 0.052 1.150 0.257 0.377 0.000 0.300 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 66 120 111 587 0 104 0

N.S.

1 1.00 0.75 1.36 1.26 6.67 0.00 1.18 0.00

time (sec)

N/A 0.339 0.106 1.876 0.277 0.338 0.000 0.306 0.000

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