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

2.2.12 Integrals 1101 to 1200

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 1101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 145 135 106 172 241 325 116 0

N.S.

1 1.12 1.04 0.82 1.32 1.85 2.50 0.89 0.00

time (sec)

N/A 0.321 0.113 0.221 0.338 0.272 4.547 0.293 0.000

Problem 1102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 147 136 282 0 295 435 150 0

N.S.

1 1.08 1.00 2.07 0.00 2.17 3.20 1.10 0.00

time (sec)

N/A 0.467 0.157 0.226 0.000 0.293 9.991 0.300 0.000

Problem 1103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 151 143 214 0 313 434 195 0

N.S.

1 1.07 1.01 1.52 0.00 2.22 3.08 1.38 0.00

time (sec)

N/A 0.469 0.204 0.345 0.000 0.268 6.993 0.307 0.000

Problem 1104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 153 151 208 0 329 408 302 0

N.S.

1 1.01 1.00 1.38 0.00 2.18 2.70 2.00 0.00

time (sec)

N/A 0.488 0.219 0.352 0.000 0.283 5.244 0.314 0.000

Problem 1105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 155 149 172 0 329 468 292 0

N.S.

1 1.00 0.96 1.11 0.00 2.12 3.02 1.88 0.00

time (sec)

N/A 0.478 0.206 0.374 0.000 0.268 9.436 0.304 0.000

Problem 1106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 159 151 159 0 329 575 440 0

N.S.

1 1.03 0.97 1.03 0.00 2.12 3.71 2.84 0.00

time (sec)

N/A 0.479 0.217 0.313 0.000 0.270 7.479 0.298 0.000

Problem 1107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 171 151 122 194 286 648 141 0

N.S.

1 1.12 0.99 0.80 1.27 1.87 4.24 0.92 0.00

time (sec)

N/A 0.338 0.098 0.224 0.369 0.274 5.899 0.304 0.000

Problem 1108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 166 97 124 113 200 0 0 0

N.S.

1 1.21 0.71 0.91 0.82 1.46 0.00 0.00 0.00

time (sec)

N/A 0.543 0.168 0.253 0.369 0.270 0.000 0.000 0.000

Problem 1109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 125 94 116 89 184 0 0 0

N.S.

1 1.34 1.01 1.25 0.96 1.98 0.00 0.00 0.00

time (sec)

N/A 0.432 0.107 0.234 0.321 0.275 0.000 0.000 0.000

Problem 1110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 97 78 103 67 166 0 0 0

N.S.

1 1.15 0.93 1.23 0.80 1.98 0.00 0.00 0.00

time (sec)

N/A 0.324 0.118 0.231 0.298 0.260 0.000 0.000 0.000

Problem 1111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 65 82 80 45 152 0 0 0

N.S.

1 1.08 1.37 1.33 0.75 2.53 0.00 0.00 0.00

time (sec)

N/A 0.259 0.030 0.216 0.315 0.265 0.000 0.000 0.000

Problem 1112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 57 66 80 0 147 0 0 0

N.S.

1 1.10 1.27 1.54 0.00 2.83 0.00 0.00 0.00

time (sec)

N/A 0.352 0.123 0.226 0.000 0.272 0.000 0.000 0.000

Problem 1113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 87 78 99 0 178 0 0 0

N.S.

1 1.13 1.01 1.29 0.00 2.31 0.00 0.00 0.00

time (sec)

N/A 0.373 0.132 0.342 0.000 0.286 0.000 0.000 0.000

Problem 1114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 120 94 121 0 208 0 0 0

N.S.

1 1.10 0.86 1.11 0.00 1.91 0.00 0.00 0.00

time (sec)

N/A 0.525 0.154 0.271 0.000 0.271 0.000 0.000 0.000

Problem 1115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 154 101 132 0 224 0 0 0

N.S.

1 1.14 0.75 0.98 0.00 1.66 0.00 0.00 0.00

time (sec)

N/A 0.667 0.151 0.290 0.000 0.276 0.000 0.000 0.000

Problem 1116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 137 90 164 260 229 0 0 0

N.S.

1 1.17 0.77 1.40 2.22 1.96 0.00 0.00 0.00

time (sec)

N/A 0.501 0.165 0.258 0.363 0.266 0.000 0.000 0.000

Problem 1117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 108 82 189 230 215 0 0 0

N.S.

1 1.16 0.88 2.03 2.47 2.31 0.00 0.00 0.00

time (sec)

N/A 0.396 0.113 0.481 0.335 0.266 0.000 0.000 0.000

Problem 1118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 65 38 32 218 50 0 117 34

N.S.

1 1.08 0.63 0.53 3.63 0.83 0.00 1.95 0.57

time (sec)

N/A 0.313 0.075 0.234 0.328 0.264 0.000 0.316 3.571

Problem 1119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 56 63 31 196 47 0 148 33

N.S.

1 1.10 1.24 0.61 3.84 0.92 0.00 2.90 0.65

time (sec)

N/A 0.254 0.025 0.322 0.255 0.261 0.000 0.319 3.532

Problem 1120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 92 75 152 0 202 0 0 0

N.S.

1 1.12 0.91 1.85 0.00 2.46 0.00 0.00 0.00

time (sec)

N/A 0.409 0.142 0.242 0.000 0.283 0.000 0.000 0.000

Problem 1121

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

108 124 89 159 0 238 0 100 0

N.S.

1 1.15 0.82 1.47 0.00 2.20 0.00 0.93 0.00

time (sec)

N/A 0.508 0.142 0.494 0.000 0.282 0.000 0.313 0.000

Problem 1122

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

142 159 105 172 0 266 0 204 0

N.S.

1 1.12 0.74 1.21 0.00 1.87 0.00 1.44 0.00

time (sec)

N/A 0.641 0.149 0.268 0.000 0.301 0.000 0.313 0.000

Problem 1123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 87 53 47 218 75 0 0 56

N.S.

1 1.18 0.72 0.64 2.95 1.01 0.00 0.00 0.76

time (sec)

N/A 0.267 0.032 0.218 0.238 0.295 0.000 0.000 3.839

Problem 1124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 118 96 64 242 124 0 0 133

N.S.

1 1.22 0.99 0.66 2.49 1.28 0.00 0.00 1.37

time (sec)

N/A 0.290 0.041 0.318 0.264 0.377 0.000 0.000 3.763

Problem 1125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 103 88 475 304 540 3009 0 531

N.S.

1 0.86 0.73 3.96 2.53 4.50 25.08 0.00 4.42

time (sec)

N/A 0.334 0.050 0.333 0.236 0.286 0.892 0.000 3.994

Problem 1126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 59 69 78 114 179 706 0 173

N.S.

1 0.88 1.03 1.16 1.70 2.67 10.54 0.00 2.58

time (sec)

N/A 0.307 0.085 0.237 0.267 0.263 0.574 0.000 3.558

Problem 1127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 41 34 50 62 82 299 0 92

N.S.

1 0.98 0.81 1.19 1.48 1.95 7.12 0.00 2.19

time (sec)

N/A 0.260 0.034 0.204 0.218 0.255 0.420 0.000 3.423

Problem 1128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 25 25 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.258 0.012 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

113 107 92 0 0 0 0 0 0

N.S.

1 0.95 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.371 0.049 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

203 187 149 0 0 0 0 0 0

N.S.

1 0.92 0.73 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.503 0.126 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

176 182 180 0 0 0 221 0 0

N.S.

1 1.03 1.02 0.00 0.00 0.00 1.26 0.00 0.00

time (sec)

N/A 0.464 0.244 0.000 0.000 0.000 11.961 0.000 0.000

Problem 1132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

172 180 158 0 0 0 168 0 0

N.S.

1 1.05 0.92 0.00 0.00 0.00 0.98 0.00 0.00

time (sec)

N/A 0.448 0.180 0.000 0.000 0.000 4.985 0.000 0.000

Problem 1133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

172 172 130 0 0 0 0 0 0

N.S.

1 1.00 0.76 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.442 0.209 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

169 179 66 0 0 0 0 0 0

N.S.

1 1.06 0.39 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.437 0.145 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

183 191 173 0 0 0 0 0 0

N.S.

1 1.04 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.451 0.253 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

55 55 68 0 0 0 649 0 0

N.S.

1 1.00 1.24 0.00 0.00 0.00 11.80 0.00 0.00

time (sec)

N/A 0.254 0.018 0.000 0.000 0.000 9.522 0.000 0.000

Problem 1137

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

136 187 70 98 169 89 156 78 140

N.S.

1 1.38 0.51 0.72 1.24 0.65 1.15 0.57 1.03

time (sec)

N/A 0.506 0.079 0.306 0.289 0.265 6.325 0.285 3.343

Problem 1138

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

111 155 62 90 148 80 146 69 119

N.S.

1 1.40 0.56 0.81 1.33 0.72 1.32 0.62 1.07

time (sec)

N/A 0.463 0.066 0.412 0.288 0.283 6.536 0.299 0.033

Problem 1139

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

120 119 54 82 126 71 124 58 98

N.S.

1 0.99 0.45 0.68 1.05 0.59 1.03 0.48 0.82

time (sec)

N/A 0.384 0.057 0.265 0.283 0.260 6.118 0.293 0.038

Problem 1140

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

91 94 57 71 106 62 112 46 74

N.S.

1 1.03 0.63 0.78 1.16 0.68 1.23 0.51 0.81

time (sec)

N/A 0.267 0.035 0.536 0.270 0.279 5.891 0.308 0.040

Problem 1141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 78 49 222 111 69 178 76 70

N.S.

1 1.18 0.74 3.36 1.68 1.05 2.70 1.15 1.06

time (sec)

N/A 0.407 0.035 0.267 0.280 0.261 5.848 0.306 0.057

Problem 1142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 64 52 89 111 80 148 131 79

N.S.

1 0.97 0.79 1.35 1.68 1.21 2.24 1.98 1.20

time (sec)

N/A 0.383 0.047 0.295 0.286 0.267 7.405 0.296 0.043

Problem 1143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 77 60 91 116 85 219 179 83

N.S.

1 1.01 0.79 1.20 1.53 1.12 2.88 2.36 1.09

time (sec)

N/A 0.434 0.060 0.270 0.278 0.281 5.176 0.304 0.053

Problem 1144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 96 60 69 128 66 265 218 82

N.S.

1 1.02 0.64 0.73 1.36 0.70 2.82 2.32 0.87

time (sec)

N/A 0.411 0.047 0.537 0.197 0.265 12.320 0.302 0.055

Problem 1145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 119 97 77 149 75 410 280 103

N.S.

1 1.03 0.84 0.67 1.30 0.65 3.57 2.43 0.90

time (sec)

N/A 0.426 0.091 0.278 0.193 0.255 7.621 0.297 0.040

Problem 1146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 150 110 85 170 84 517 332 124

N.S.

1 1.04 0.76 0.59 1.18 0.58 3.59 2.31 0.86

time (sec)

N/A 0.483 0.089 0.304 0.234 0.259 23.006 0.295 0.043

Problem 1147

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

121 120 75 91 164 93 178 78 128

N.S.

1 0.99 0.62 0.75 1.36 0.77 1.47 0.64 1.06

time (sec)

N/A 0.297 0.084 0.344 0.273 0.253 8.081 0.327 0.037

Problem 1148

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

143 144 91 107 210 114 228 102 174

N.S.

1 1.01 0.64 0.75 1.47 0.80 1.59 0.71 1.22

time (sec)

N/A 0.317 0.087 0.412 0.267 0.260 8.154 0.313 0.049

Problem 1149

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

165 168 107 123 256 137 257 125 220

N.S.

1 1.02 0.65 0.75 1.55 0.83 1.56 0.76 1.33

time (sec)

N/A 0.319 0.111 0.592 0.287 0.262 12.839 0.301 3.886

Problem 1150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 90 78 147 364 103 0 0 133

N.S.

1 0.95 0.82 1.55 3.83 1.08 0.00 0.00 1.40

time (sec)

N/A 0.334 0.063 0.375 0.379 0.254 0.000 0.000 3.422

Problem 1151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 72 70 187 241 96 0 112 108

N.S.

1 1.03 1.00 2.67 3.44 1.37 0.00 1.60 1.54

time (sec)

N/A 0.287 0.059 0.260 0.359 0.263 0.000 0.287 3.495

Problem 1152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 29 28 329 54 0 66 32

N.S.

1 1.00 1.61 1.56 18.28 3.00 0.00 3.67 1.78

time (sec)

N/A 0.206 0.013 0.257 0.338 0.263 0.000 0.291 0.073

Problem 1153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 43 42 0 91 0 145 127

N.S.

1 1.00 0.44 0.43 0.00 0.94 0.00 1.49 1.31

time (sec)

N/A 0.294 0.017 0.522 0.000 0.259 0.000 0.297 3.615

Problem 1154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 121 61 63 0 144 0 0 125

N.S.

1 1.02 0.51 0.53 0.00 1.21 0.00 0.00 1.05

time (sec)

N/A 0.301 0.020 0.320 0.000 0.261 0.000 0.000 3.865

Problem 1155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 145 75 74 0 198 0 0 156

N.S.

1 1.03 0.53 0.52 0.00 1.40 0.00 0.00 1.11

time (sec)

N/A 0.315 0.025 0.395 0.000 0.283 0.000 0.000 3.857

Problem 1156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

226 82 79 88 0 399 0 0 0

N.S.

1 0.36 0.35 0.39 0.00 1.77 0.00 0.00 0.00

time (sec)

N/A 0.511 0.039 0.309 0.000 0.289 0.000 0.000 0.000

Problem 1157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 70 70 79 0 381 0 0 0

N.S.

1 0.38 0.38 0.43 0.00 2.06 0.00 0.00 0.00

time (sec)

N/A 0.466 0.033 0.221 0.000 0.288 0.000 0.000 0.000

Problem 1158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 64 64 72 0 367 0 0 0

N.S.

1 0.43 0.43 0.48 0.00 2.45 0.00 0.00 0.00

time (sec)

N/A 0.412 0.026 0.317 0.000 0.283 0.000 0.000 0.000

Problem 1159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 54 54 63 0 345 0 0 0

N.S.

1 0.49 0.49 0.57 0.00 3.11 0.00 0.00 0.00

time (sec)

N/A 0.350 0.017 0.228 0.000 0.296 0.000 0.000 0.000

Problem 1160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 46 46 55 0 0 0 0 0

N.S.

1 0.44 0.44 0.53 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.441 0.024 0.324 0.000 0.000 0.000 0.000 0.000

Problem 1161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 51 51 60 0 0 0 0 0

N.S.

1 0.47 0.47 0.56 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.446 0.025 0.215 0.000 0.000 0.000 0.000 0.000

Problem 1162

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

149 63 63 73 160 450 0 0 0

N.S.

1 0.42 0.42 0.49 1.07 3.02 0.00 0.00 0.00

time (sec)

N/A 0.448 0.034 0.318 0.219 0.291 0.000 0.000 0.000

Problem 1163

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

188 73 73 81 216 478 0 0 0

N.S.

1 0.39 0.39 0.43 1.15 2.54 0.00 0.00 0.00

time (sec)

N/A 0.448 0.037 0.204 0.221 0.319 0.000 0.000 0.000

Problem 1164

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

223 79 79 89 306 504 0 0 0

N.S.

1 0.35 0.35 0.40 1.37 2.26 0.00 0.00 0.00

time (sec)

N/A 0.461 0.037 0.302 0.249 0.305 0.000 0.000 0.000

Problem 1165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 58 47 0 67 0 0 54

N.S.

1 1.00 1.32 1.07 0.00 1.52 0.00 0.00 1.23

time (sec)

N/A 0.312 0.024 0.212 0.000 0.262 0.000 0.000 3.709

Problem 1166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 62 52 81 237 98 0 0 85

N.S.

1 0.67 0.56 0.87 2.55 1.05 0.00 0.00 0.91

time (sec)

N/A 0.355 0.030 0.309 0.274 0.259 0.000 0.000 3.640

Problem 1167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 76 60 97 323 120 0 0 107

N.S.

1 0.55 0.43 0.70 2.32 0.86 0.00 0.00 0.77

time (sec)

N/A 0.373 0.038 0.223 0.232 0.271 0.000 0.000 3.735

Problem 1168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 90 68 97 409 120 0 0 106

N.S.

1 0.49 0.37 0.52 2.21 0.65 0.00 0.00 0.57

time (sec)

N/A 0.382 0.038 0.308 0.286 0.267 0.000 0.000 3.728

Problem 1169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 55 51 70 0 382 0 0 0

N.S.

1 0.66 0.61 0.84 0.00 4.60 0.00 0.00 0.00

time (sec)

N/A 0.345 0.026 0.209 0.000 0.306 0.000 0.000 0.000

Problem 1170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 46 43 0 72 0 0 74

N.S.

1 1.00 0.98 0.91 0.00 1.53 0.00 0.00 1.57

time (sec)

N/A 0.322 0.021 0.315 0.000 0.260 0.000 0.000 4.147

Problem 1171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 90 73 159 0 459 0 0 0

N.S.

1 0.49 0.39 0.86 0.00 2.48 0.00 0.00 0.00

time (sec)

N/A 0.393 0.043 0.209 0.000 0.295 0.000 0.000 0.000

Problem 1172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

278 119 101 238 0 565 0 0 0

N.S.

1 0.43 0.36 0.86 0.00 2.03 0.00 0.00 0.00

time (sec)

N/A 0.419 0.063 0.310 0.000 0.289 0.000 0.000 0.000

Problem 1173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

136 79 74 0 0 0 0 0 0

N.S.

1 0.58 0.54 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.458 0.038 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

251 233 186 0 0 0 0 0 0

N.S.

1 0.93 0.74 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.742 0.142 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

224 186 173 0 0 0 0 0 0

N.S.

1 0.83 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.589 0.176 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

222 185 172 0 0 0 0 0 0

N.S.

1 0.83 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.575 0.167 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

138 128 134 0 0 0 0 0 0

N.S.

1 0.93 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.424 0.263 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

85 85 83 0 0 0 0 0 0

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.327 0.026 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

193 166 159 0 0 0 0 0 0

N.S.

1 0.86 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.513 0.174 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

187 159 133 0 0 0 0 0 0

N.S.

1 0.85 0.71 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.513 0.170 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

194 162 154 0 0 0 0 0 0

N.S.

1 0.84 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.520 0.211 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1182

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

66 58 39 75 101 101 109 101 101

N.S.

1 0.88 0.59 1.14 1.53 1.53 1.65 1.53 1.53

time (sec)

N/A 0.286 0.027 0.269 0.186 0.235 0.052 0.262 3.576

Problem 1183

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

52 47 31 69 92 92 100 92 92

N.S.

1 0.90 0.60 1.33 1.77 1.77 1.92 1.77 1.77

time (sec)

N/A 0.258 0.020 0.263 0.184 0.254 0.059 0.265 0.045

Problem 1184

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

35 33 23 45 59 59 63 59 59

N.S.

1 0.94 0.66 1.29 1.69 1.69 1.80 1.69 1.69

time (sec)

N/A 0.240 0.016 0.240 0.219 0.250 0.044 0.270 0.032

Problem 1185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 37 16 47 47 48 47 47

N.S.

1 1.00 2.18 0.94 2.76 2.76 2.82 2.76 2.76

time (sec)

N/A 0.213 0.017 0.469 0.191 0.232 0.048 0.258 0.030

Problem 1186

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

36 44 38 32 33 37 36 44 33

N.S.

1 1.22 1.06 0.89 0.92 1.03 1.00 1.22 0.92

time (sec)

N/A 0.236 0.013 0.197 0.227 0.256 0.079 0.270 0.052

Problem 1187

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

13 13 25 13 19 19 17 12 12

N.S.

1 1.00 1.92 1.00 1.46 1.46 1.31 0.92 0.92

time (sec)

N/A 0.207 0.008 0.301 0.190 0.253 0.106 0.272 3.703

Problem 1188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 16 41 41 42 15 40

N.S.

1 1.00 1.00 0.89 2.28 2.28 2.33 0.83 2.22

time (sec)

N/A 0.204 0.063 0.221 0.217 0.241 0.126 0.261 3.770

Problem 1189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 76 52 65 102 147 99 68 83

N.S.

1 0.87 0.60 0.75 1.17 1.69 1.14 0.78 0.95

time (sec)

N/A 0.278 0.028 0.317 0.185 0.256 0.274 0.277 0.104

Problem 1190

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

122 105 80 92 130 191 129 91 111

N.S.

1 0.86 0.66 0.75 1.07 1.57 1.06 0.75 0.91

time (sec)

N/A 0.306 0.041 0.225 0.196 0.256 0.338 0.276 3.484

Problem 1191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

63 63 72 0 0 0 0 0 0

N.S.

1 1.00 1.14 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.266 0.018 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1192

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

127 128 107 123 182 137 547 124 220

N.S.

1 1.01 0.84 0.97 1.43 1.08 4.31 0.98 1.73

time (sec)

N/A 0.286 0.110 0.352 0.288 0.278 1.262 0.275 3.540

Problem 1193

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

105 104 91 107 136 114 374 101 174

N.S.

1 0.99 0.87 1.02 1.30 1.09 3.56 0.96 1.66

time (sec)

N/A 0.272 0.092 0.413 0.314 0.263 1.034 0.291 3.529

Problem 1194

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

83 80 75 91 90 93 224 78 128

N.S.

1 0.96 0.90 1.10 1.08 1.12 2.70 0.94 1.54

time (sec)

N/A 0.247 0.077 0.361 0.286 0.260 0.885 0.281 0.039

Problem 1195

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

55 54 57 64 45 62 94 46 80

N.S.

1 0.98 1.04 1.16 0.82 1.13 1.71 0.84 1.45

time (sec)

N/A 0.223 0.061 0.352 0.273 0.265 1.422 0.275 3.482

Problem 1196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 27 28 0 31 0 37 46

N.S.

1 1.00 1.69 1.75 0.00 1.94 0.00 2.31 2.88

time (sec)

N/A 0.199 0.012 0.366 0.000 0.257 0.000 0.276 0.047

Problem 1197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 51 43 42 0 87 0 0 48

N.S.

1 0.96 0.81 0.79 0.00 1.64 0.00 0.00 0.91

time (sec)

N/A 0.229 0.016 0.401 0.000 0.267 0.000 0.000 3.729

Problem 1198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 59 58 0 141 0 0 64

N.S.

1 1.00 0.79 0.77 0.00 1.88 0.00 0.00 0.85

time (sec)

N/A 0.242 0.025 0.405 0.000 0.270 0.000 0.000 4.044

Problem 1199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 99 75 74 0 197 0 0 145

N.S.

1 1.02 0.77 0.76 0.00 2.03 0.00 0.00 1.49

time (sec)

N/A 0.258 0.032 0.345 0.000 0.292 0.000 0.000 3.651

Problem 1200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 123 91 90 0 249 0 0 177

N.S.

1 1.03 0.76 0.76 0.00 2.09 0.00 0.00 1.49

time (sec)

N/A 0.274 0.037 0.693 0.000 0.302 0.000 0.000 4.022

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