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

2.2.2 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 F A C F A B

verified

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

size

269 220 149 0 187 192 0 187 88

N.S.

1 0.82 0.55 0.00 0.70 0.71 0.00 0.70 0.33

time (sec)

N/A 0.413 0.304 0.000 0.275 0.257 0.000 0.292 0.081

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A C F A B

verified

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

size

319 259 174 0 228 209 0 225 132

N.S.

1 0.81 0.55 0.00 0.71 0.66 0.00 0.71 0.41

time (sec)

N/A 0.459 0.233 0.000 0.289 0.263 0.000 0.314 4.280

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A C F A B

verified

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

size

356 302 93 0 270 217 0 271 169

N.S.

1 0.85 0.26 0.00 0.76 0.61 0.00 0.76 0.47

time (sec)

N/A 0.490 0.158 0.000 0.276 0.251 0.000 0.328 0.065

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

287 311 198 0 279 119 0 254 253

N.S.

1 1.08 0.69 0.00 0.97 0.41 0.00 0.89 0.88

time (sec)

N/A 0.459 5.398 0.000 0.286 0.252 0.000 0.320 0.091

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A B

verified

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

size

250 268 161 0 244 111 0 223 217

N.S.

1 1.07 0.64 0.00 0.98 0.44 0.00 0.89 0.87

time (sec)

N/A 0.389 5.327 0.000 0.291 0.251 0.000 0.329 0.087

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A B

verified

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

size

213 225 137 0 207 103 0 192 181

N.S.

1 1.06 0.64 0.00 0.97 0.48 0.00 0.90 0.85

time (sec)

N/A 0.349 5.293 0.000 0.285 0.266 0.000 0.308 0.079

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A B

verified

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

size

176 179 121 0 172 95 0 161 145

N.S.

1 1.02 0.69 0.00 0.98 0.54 0.00 0.91 0.82

time (sec)

N/A 0.288 0.274 0.000 0.280 0.279 0.000 0.305 4.240

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A A F A B

verified

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

size

130 136 31 0 132 86 0 129 103

N.S.

1 1.05 0.24 0.00 1.02 0.66 0.00 0.99 0.79

time (sec)

N/A 0.250 0.082 0.000 0.288 0.258 0.000 0.283 4.197

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A C F A B

verified

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

size

320 287 28 0 244 190 0 252 118

N.S.

1 0.90 0.09 0.00 0.76 0.59 0.00 0.79 0.37

time (sec)

N/A 0.481 0.105 0.000 0.290 0.249 0.000 0.286 4.005

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A C F A B

verified

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

size

299 252 31 0 204 185 0 204 106

N.S.

1 0.84 0.10 0.00 0.68 0.62 0.00 0.68 0.35

time (sec)

N/A 0.443 0.100 0.000 0.280 0.261 0.000 0.291 4.057

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A C F A B

verified

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

size

351 292 101 0 247 209 0 243 153

N.S.

1 0.83 0.29 0.00 0.70 0.60 0.00 0.69 0.44

time (sec)

N/A 0.482 0.157 0.000 0.283 0.264 0.000 0.298 0.079

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A C F A B

verified

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

size

385 331 104 0 297 217 0 291 188

N.S.

1 0.86 0.27 0.00 0.77 0.56 0.00 0.76 0.49

time (sec)

N/A 0.539 0.193 0.000 0.282 0.267 0.000 0.307 0.080

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

285 266 189 705 220 173 0 215 168

N.S.

1 0.93 0.66 2.47 0.77 0.61 0.00 0.75 0.59

time (sec)

N/A 0.402 5.268 5.142 0.288 0.241 0.000 0.302 4.178

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

258 233 167 1158 194 168 0 191 142

N.S.

1 0.90 0.65 4.49 0.75 0.65 0.00 0.74 0.55

time (sec)

N/A 0.355 0.625 5.403 0.305 0.253 0.000 0.287 4.582

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A A F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

223 201 35 1151 167 160 0 168 115

N.S.

1 0.90 0.16 5.16 0.75 0.72 0.00 0.75 0.52

time (sec)

N/A 0.326 0.051 5.152 0.279 0.255 0.000 0.281 0.114

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F A B

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

402 371 26 2088 0 323 0 261 167

N.S.

1 0.92 0.06 5.19 0.00 0.80 0.00 0.65 0.42

time (sec)

N/A 0.526 0.043 22.190 0.000 0.251 0.000 0.295 0.154

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A C F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

233 214 39 1487 152 211 0 152 109

N.S.

1 0.92 0.17 6.38 0.65 0.91 0.00 0.65 0.47

time (sec)

N/A 0.395 0.063 16.722 0.274 0.250 0.000 0.289 4.144

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A C F A B

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

260 243 124 1262 178 264 0 175 136

N.S.

1 0.93 0.48 4.85 0.68 1.02 0.00 0.67 0.52

time (sec)

N/A 0.408 0.947 15.330 0.281 0.256 0.000 0.291 0.121

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A C F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

287 276 133 1498 205 269 0 199 161

N.S.

1 0.96 0.46 5.22 0.71 0.94 0.00 0.69 0.56

time (sec)

N/A 0.444 0.234 14.232 0.275 0.253 0.000 0.289 4.139

Problem 120

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 Yes TBD TBD TBD TBD TBD

size

157 167 189 408 149 100 0 144 171

N.S.

1 1.06 1.20 2.60 0.95 0.64 0.00 0.92 1.09

time (sec)

N/A 0.286 5.272 0.764 0.284 0.250 0.000 0.288 4.049

Problem 121

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 Yes TBD TBD TBD TBD TBD

size

130 136 165 403 123 95 0 120 145

N.S.

1 1.05 1.27 3.10 0.95 0.73 0.00 0.92 1.12

time (sec)

N/A 0.246 0.603 0.710 0.270 0.249 0.000 0.292 4.039

Problem 122

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 Yes TBD TBD TBD TBD TBD

size

96 104 85 503 96 87 0 97 118

N.S.

1 1.08 0.89 5.24 1.00 0.91 0.00 1.01 1.23

time (sec)

N/A 0.217 0.188 0.704 0.281 0.249 0.000 0.290 0.050

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 157 26 1026 140 86 0 79 82

N.S.

1 1.01 0.17 6.62 0.90 0.55 0.00 0.51 0.53

time (sec)

N/A 0.254 0.044 0.661 0.278 0.241 0.000 0.291 4.287

Problem 124

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 Yes TBD TBD TBD TBD TBD

size

99 105 87 517 98 97 0 99 118

N.S.

1 1.06 0.88 5.22 0.99 0.98 0.00 1.00 1.19

time (sec)

N/A 0.227 0.168 0.762 0.282 0.260 0.000 0.283 0.027

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 134 134 506 124 111 0 122 145

N.S.

1 1.03 1.03 3.89 0.95 0.85 0.00 0.94 1.12

time (sec)

N/A 0.240 0.471 0.780 0.269 0.252 0.000 0.278 4.274

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A C F A B

verified

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

size

429 389 167 0 341 266 0 308 227

N.S.

1 0.91 0.39 0.00 0.79 0.62 0.00 0.72 0.53

time (sec)

N/A 0.546 5.359 0.000 0.295 0.251 0.000 0.326 4.620

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A C F A B

verified

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

size

392 348 319 0 304 255 0 288 190

N.S.

1 0.89 0.81 0.00 0.78 0.65 0.00 0.73 0.48

time (sec)

N/A 0.478 0.780 0.000 0.310 0.262 0.000 0.302 0.173

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A C F F B

verified

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

size

352 305 56 0 265 238 0 0 149

N.S.

1 0.87 0.16 0.00 0.75 0.68 0.00 0.00 0.42

time (sec)

N/A 0.434 0.059 0.000 0.284 0.270 0.000 0.000 4.404

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F C F A B

verified

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

size

919 866 30 0 0 418 0 661 648

N.S.

1 0.94 0.03 0.00 0.00 0.45 0.00 0.72 0.71

time (sec)

N/A 1.171 0.050 0.000 0.000 0.252 0.000 1.037 4.278

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F C F A B

verified

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

size

676 624 46 0 0 374 0 432 162

N.S.

1 0.92 0.07 0.00 0.00 0.55 0.00 0.64 0.24

time (sec)

N/A 0.758 0.072 0.000 0.000 0.251 0.000 0.462 4.133

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F C F A B

verified

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

size

731 665 72 0 0 399 0 461 210

N.S.

1 0.91 0.10 0.00 0.00 0.55 0.00 0.63 0.29

time (sec)

N/A 0.818 0.097 0.000 0.000 0.266 0.000 0.503 4.503

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 47 201 0 0 0 0 0

N.S.

1 1.00 1.04 4.47 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.284 0.029 0.658 0.000 0.000 0.000 0.000 0.000

Problem 133

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

151 178 228 0 0 0 0 0 0

N.S.

1 1.18 1.51 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.667 0.347 0.000 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 26 106 0 0 97 0 0

N.S.

1 1.00 0.74 3.03 0.00 0.00 2.77 0.00 0.00

time (sec)

N/A 0.259 0.013 0.482 0.000 0.000 1.488 0.000 0.000

Problem 135

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

74 95 128 0 0 0 0 0 0

N.S.

1 1.28 1.73 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.266 0.440 0.000 0.000 0.000 0.000 0.000 0.000

Problem 136

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

75 94 115 0 0 0 0 0 0

N.S.

1 1.25 1.53 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.261 0.296 0.000 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 27 93 0 0 116 0 0

N.S.

1 1.00 0.75 2.58 0.00 0.00 3.22 0.00 0.00

time (sec)

N/A 0.257 0.013 0.493 0.000 0.000 1.444 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

150 178 192 0 0 0 0 0 0

N.S.

1 1.19 1.28 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.659 0.306 0.000 0.000 0.000 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

41 41 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.226 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

41 41 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.228 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

41 41 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.224 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

41 41 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.223 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

41 41 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.227 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

41 41 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.225 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

34 34 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.212 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

34 34 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.209 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

41 41 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.219 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

45 45 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.220 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 149

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

174 178 118 0 0 0 0 0 0

N.S.

1 1.02 0.68 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.308 0.614 0.000 0.000 0.000 0.000 0.000 0.000

Problem 150

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

122 122 98 0 0 0 0 0 0

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.254 0.321 0.000 0.000 0.000 0.000 0.000 0.000

Problem 151

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

78 78 82 0 0 0 0 0 0

N.S.

1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.215 0.192 0.000 0.000 0.000 0.000 0.000 0.000

Problem 152

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

127 127 142 0 0 0 0 0 0

N.S.

1 1.00 1.12 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.281 0.157 0.000 0.000 0.000 0.000 0.000 0.000

Problem 153

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

70 70 44 0 0 0 0 0 0

N.S.

1 1.00 0.63 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.220 0.044 0.000 0.000 0.000 0.000 0.000 0.000

Problem 154

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

114 114 107 0 0 0 0 0 0

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.252 0.362 0.000 0.000 0.000 0.000 0.000 0.000

Problem 155

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

167 171 132 0 0 0 0 0 0

N.S.

1 1.02 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.297 0.636 0.000 0.000 0.000 0.000 0.000 0.000

Problem 156

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

183 187 148 0 0 0 0 0 0

N.S.

1 1.02 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.322 0.528 0.000 0.000 0.000 0.000 0.000 0.000

Problem 157

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

143 176 131 0 0 0 0 0 0

N.S.

1 1.23 0.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.303 0.101 0.000 0.000 0.000 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

132 128 80 128 259 125 0 138 214

N.S.

1 0.97 0.61 0.97 1.96 0.95 0.00 1.05 1.62

time (sec)

N/A 0.426 0.219 0.424 0.201 0.255 0.000 0.286 4.329

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

105 98 73 120 221 115 0 118 177

N.S.

1 0.93 0.70 1.14 2.10 1.10 0.00 1.12 1.69

time (sec)

N/A 0.312 0.206 0.423 0.196 0.250 0.000 0.284 0.083

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

78 70 64 112 181 103 0 98 138

N.S.

1 0.90 0.82 1.44 2.32 1.32 0.00 1.26 1.77

time (sec)

N/A 0.271 0.153 0.398 0.205 0.249 0.000 0.292 4.231

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

47 43 51 92 132 77 0 58 94

N.S.

1 0.91 1.09 1.96 2.81 1.64 0.00 1.23 2.00

time (sec)

N/A 0.232 0.085 0.060 0.205 0.260 0.000 0.291 4.356

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 54 60 247 78 87 0 0 48

N.S.

1 1.06 1.18 4.84 1.53 1.71 0.00 0.00 0.94

time (sec)

N/A 0.275 0.128 0.424 0.195 0.267 0.000 0.000 0.084

Problem 163

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

33 33 34 36 23 57 0 49 23

N.S.

1 1.00 1.03 1.09 0.70 1.73 0.00 1.48 0.70

time (sec)

N/A 0.223 0.135 0.397 0.198 0.251 0.000 0.289 4.297

Problem 164

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

67 64 42 41 39 77 0 85 39

N.S.

1 0.96 0.63 0.61 0.58 1.15 0.00 1.27 0.58

time (sec)

N/A 0.256 0.140 0.404 0.205 0.252 0.000 0.293 4.322

Problem 165

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

100 128 51 50 55 96 0 105 56

N.S.

1 1.28 0.51 0.50 0.55 0.96 0.00 1.05 0.56

time (sec)

N/A 0.335 0.141 0.415 0.198 0.243 0.000 0.333 0.046

Problem 166

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

133 192 59 58 71 116 0 125 72

N.S.

1 1.44 0.44 0.44 0.53 0.87 0.00 0.94 0.54

time (sec)

N/A 0.488 0.155 0.396 0.211 0.243 0.000 0.336 0.048

Problem 167

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 47 28 29 49 28 124 0 28

N.S.

1 1.12 0.67 0.69 1.17 0.67 2.95 0.00 0.67

time (sec)

N/A 0.308 0.035 0.487 0.200 0.245 0.388 0.000 4.660

Problem 168

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

37 36 23 45 60 60 66 60 60

N.S.

1 0.97 0.62 1.22 1.62 1.62 1.78 1.62 1.62

time (sec)

N/A 0.299 0.025 0.465 0.193 0.240 0.055 0.285 0.042

Problem 169

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

37 36 30 29 37 37 36 37 37

N.S.

1 0.97 0.81 0.78 1.00 1.00 0.97 1.00 1.00

time (sec)

N/A 0.302 0.019 0.486 0.199 0.240 0.040 0.275 0.051

Problem 170

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

37 36 30 29 38 38 37 38 38

N.S.

1 0.97 0.81 0.78 1.03 1.03 1.00 1.03 1.03

time (sec)

N/A 0.301 0.018 0.485 0.193 0.240 0.048 0.260 0.050

Problem 171

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

N.S.

1 0.85 0.85 0.80 0.90 0.90 0.75 0.90 0.75

time (sec)

N/A 0.274 0.012 0.464 0.192 0.229 0.031 0.271 0.031

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 26 26 10 12 12 12 12 9

N.S.

1 1.86 1.86 0.71 0.86 0.86 0.86 0.86 0.64

time (sec)

N/A 0.165 0.011 0.415 0.202 0.230 0.026 0.263 0.025

Problem 173

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

32 30 30 29 30 29 20 31 29

N.S.

1 0.94 0.94 0.91 0.94 0.91 0.62 0.97 0.91

time (sec)

N/A 0.289 0.019 0.520 0.203 0.252 0.079 0.259 4.625

Problem 174

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

14 14 25 14 26 26 24 34 13

N.S.

1 1.00 1.79 1.00 1.86 1.86 1.71 2.43 0.93

time (sec)

N/A 0.267 0.012 0.445 0.209 0.255 0.112 0.269 4.280

Problem 175

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

37 36 23 21 47 47 49 21 46

N.S.

1 0.97 0.62 0.57 1.27 1.27 1.32 0.57 1.24

time (sec)

N/A 0.295 0.018 0.473 0.193 0.238 0.145 0.264 4.315

Problem 176

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

37 36 23 21 57 57 60 21 56

N.S.

1 0.97 0.62 0.57 1.54 1.54 1.62 0.57 1.51

time (sec)

N/A 0.294 0.019 0.460 0.206 0.254 0.185 0.263 0.098

Problem 177

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

202 233 138 0 0 0 0 0 0

N.S.

1 1.15 0.68 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.339 0.141 0.000 0.000 0.000 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

105 101 80 128 259 126 0 138 214

N.S.

1 0.96 0.76 1.22 2.47 1.20 0.00 1.31 2.04

time (sec)

N/A 0.298 0.226 0.474 0.208 0.255 0.000 0.292 0.109

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

78 76 64 106 221 109 0 84 176

N.S.

1 0.97 0.82 1.36 2.83 1.40 0.00 1.08 2.26

time (sec)

N/A 0.260 0.194 0.416 0.202 0.264 0.000 0.283 4.335

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

78 77 64 112 181 103 0 98 139

N.S.

1 0.99 0.82 1.44 2.32 1.32 0.00 1.26 1.78

time (sec)

N/A 0.306 0.177 0.407 0.217 0.253 0.000 0.282 4.244

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 70 53 99 135 81 0 74 97

N.S.

1 1.08 0.82 1.52 2.08 1.25 0.00 1.14 1.49

time (sec)

N/A 0.323 0.116 0.119 0.215 0.251 0.000 0.283 4.602

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 81 63 345 95 120 0 35 63

N.S.

1 1.01 0.79 4.31 1.19 1.50 0.00 0.44 0.79

time (sec)

N/A 0.427 0.187 0.393 0.211 0.249 0.000 0.296 0.070

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 36 36 23 77 0 69 23

N.S.

1 1.00 1.09 1.09 0.70 2.33 0.00 2.09 0.70

time (sec)

N/A 0.229 0.158 0.433 0.204 0.257 0.000 0.334 0.038

Problem 184

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

67 66 41 41 39 95 0 125 39

N.S.

1 0.99 0.61 0.61 0.58 1.42 0.00 1.87 0.58

time (sec)

N/A 0.253 0.169 0.447 0.201 0.256 0.000 0.339 0.042

Problem 185

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

94 101 50 50 55 116 0 145 56

N.S.

1 1.07 0.53 0.53 0.59 1.23 0.00 1.54 0.60

time (sec)

N/A 0.336 0.169 0.410 0.208 0.246 0.000 0.347 4.182

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

125 134 58 58 71 134 0 165 72

N.S.

1 1.07 0.46 0.46 0.57 1.07 0.00 1.32 0.58

time (sec)

N/A 0.481 0.184 0.434 0.212 0.244 0.000 0.392 0.048

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 75 50 74 153 81 530 0 57

N.S.

1 1.14 0.76 1.12 2.32 1.23 8.03 0.00 0.86

time (sec)

N/A 0.336 0.115 0.521 0.226 0.259 0.583 0.000 4.377

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

53 48 31 45 59 59 63 42 59

N.S.

1 0.91 0.58 0.85 1.11 1.11 1.19 0.79 1.11

time (sec)

N/A 0.315 0.027 0.579 0.202 0.238 0.062 0.256 4.162

Problem 189

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

32 26 26 23 28 28 29 42 24

N.S.

1 0.81 0.81 0.72 0.88 0.88 0.91 1.31 0.75

time (sec)

N/A 0.288 0.019 0.559 0.208 0.234 0.047 0.265 0.045

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

35 33 30 29 37 37 37 42 37

N.S.

1 0.94 0.86 0.83 1.06 1.06 1.06 1.20 1.06

time (sec)

N/A 0.290 0.020 0.564 0.209 0.228 0.051 0.257 0.049

Problem 191

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

17 17 21 16 25 25 24 40 19

N.S.

1 1.00 1.24 0.94 1.47 1.47 1.41 2.35 1.12

time (sec)

N/A 0.256 0.017 0.557 0.197 0.239 0.036 0.269 0.037

Problem 192

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 26 26 24 24 28 26 50 26

N.S.

1 0.96 0.96 0.89 0.89 1.04 0.96 1.85 0.96

time (sec)

N/A 0.261 0.015 0.537 0.207 0.240 0.077 0.266 4.145

Problem 193

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

48 43 36 32 44 49 37 57 42

N.S.

1 0.90 0.75 0.67 0.92 1.02 0.77 1.19 0.88

time (sec)

N/A 0.299 0.025 0.553 0.215 0.243 0.160 0.262 0.068

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 24 51 51 51 50 25

N.S.

1 1.00 1.00 0.96 2.04 2.04 2.04 2.00 1.00

time (sec)

N/A 0.265 0.013 0.557 0.214 0.246 0.178 0.267 4.568

Problem 195

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

52 47 31 27 65 65 70 42 29

N.S.

1 0.90 0.60 0.52 1.25 1.25 1.35 0.81 0.56

time (sec)

N/A 0.299 0.023 0.540 0.203 0.234 0.201 0.265 4.442

Problem 196

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

53 48 31 27 77 77 80 42 29

N.S.

1 0.91 0.58 0.51 1.45 1.45 1.51 0.79 0.55

time (sec)

N/A 0.302 0.023 0.542 0.206 0.243 0.258 0.259 4.527

Problem 197

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

94 94 76 0 0 0 0 0 0

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.261 0.059 0.000 0.000 0.000 0.000 0.000 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 130 72 120 221 114 0 109 176

N.S.

1 1.02 0.57 0.94 1.74 0.90 0.00 0.86 1.39

time (sec)

N/A 0.556 0.240 0.423 0.200 0.244 0.000 0.274 0.091

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 102 64 112 181 104 0 90 140

N.S.

1 1.02 0.64 1.12 1.81 1.04 0.00 0.90 1.40

time (sec)

N/A 0.405 0.166 0.419 0.200 0.251 0.000 0.282 4.089

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 70 53 99 135 81 0 68 96

N.S.

1 1.08 0.82 1.52 2.08 1.25 0.00 1.05 1.48

time (sec)

N/A 0.290 0.114 0.122 0.207 0.249 0.000 0.276 0.067

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