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

2.2.13 Integrals 1201 to 1300

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 1201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

88 0 66 358 0 677 0 0 0

N.S.

1 0.00 0.75 4.07 0.00 7.69 0.00 0.00 0.00

time (sec)

N/A 0.000 15.465 1.427 0.000 0.733 0.000 0.000 0.000

Problem 1202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

88 332 88 80 0 109 0 0 0

N.S.

1 3.77 1.00 0.91 0.00 1.24 0.00 0.00 0.00

time (sec)

N/A 1.259 15.460 7.350 0.000 0.711 0.000 0.000 0.000

Problem 1203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

88 55 84 33 69 82 32 0 0

N.S.

1 0.62 0.95 0.38 0.78 0.93 0.36 0.00 0.00

time (sec)

N/A 0.178 0.515 5.628 0.285 0.279 0.440 0.000 0.000

Problem 1204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

88 54 84 33 69 82 31 0 0

N.S.

1 0.61 0.95 0.38 0.78 0.93 0.35 0.00 0.00

time (sec)

N/A 0.172 0.430 3.970 0.312 0.284 0.441 0.000 0.000

Problem 1205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 55 84 17 69 82 29 0 0

N.S.

1 0.62 0.95 0.19 0.78 0.93 0.33 0.00 0.00

time (sec)

N/A 0.174 0.511 5.228 0.294 0.271 0.450 0.000 0.000

Problem 1206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 54 84 17 69 82 29 0 0

N.S.

1 0.61 0.95 0.19 0.78 0.93 0.33 0.00 0.00

time (sec)

N/A 0.160 0.421 3.614 0.288 0.288 0.439 0.000 0.000

Problem 1207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 111 88 99 140 0 126 0 0

N.S.

1 1.26 1.00 1.12 1.59 0.00 1.43 0.00 0.00

time (sec)

N/A 0.260 0.494 1.269 0.305 0.000 1.324 0.000 0.000

Problem 1208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 99 88 121 116 0 345 0 71

N.S.

1 1.12 1.00 1.38 1.32 0.00 3.92 0.00 0.81

time (sec)

N/A 0.247 0.362 1.244 0.294 0.000 1.256 0.000 6.321

Problem 1209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

88 226 87 78 41 0 31 41 41

N.S.

1 2.57 0.99 0.89 0.47 0.00 0.35 0.47 0.47

time (sec)

N/A 0.941 0.577 1.864 0.239 0.000 30.645 0.317 6.261

Problem 1210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

88 46 107 0 0 161 0 0 0

N.S.

1 0.52 1.22 0.00 0.00 1.83 0.00 0.00 0.00

time (sec)

N/A 0.692 5.182 0.000 0.000 5.766 0.000 0.000 0.000

Problem 1211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 69 82 66 65 67 39 66 89

N.S.

1 0.78 0.92 0.74 0.73 0.75 0.44 0.74 1.00

time (sec)

N/A 0.199 0.061 2.717 0.289 0.253 0.611 0.274 5.956

Problem 1212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

89 0 89 334 0 95 0 0 0

N.S.

1 0.00 1.00 3.75 0.00 1.07 0.00 0.00 0.00

time (sec)

N/A 0.000 0.101 6.407 0.000 0.550 0.000 0.000 0.000

Problem 1213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A C F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 433 77 1516 0 384 0 0 509

N.S.

1 4.87 0.87 17.03 0.00 4.31 0.00 0.00 5.72

time (sec)

N/A 1.081 1.522 8.330 0.000 0.303 0.000 0.000 5.941

Problem 1214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 81 85 65 72 70 82 73 86

N.S.

1 0.91 0.96 0.73 0.81 0.79 0.92 0.82 0.97

time (sec)

N/A 0.210 0.058 2.288 0.277 0.261 7.251 0.284 5.987

Problem 1215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

89 0 67 0 0 0 0 0 0

N.S.

1 0.00 0.75 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 11.718 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

89 0 0 0 0 0 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1217

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

89 103 98 83 0 120 0 0 565

N.S.

1 1.16 1.10 0.93 0.00 1.35 0.00 0.00 6.35

time (sec)

N/A 0.893 0.362 3.365 0.000 0.342 0.000 0.000 5.802

Problem 1218

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

89 103 97 83 0 120 0 0 565

N.S.

1 1.16 1.09 0.93 0.00 1.35 0.00 0.00 6.35

time (sec)

N/A 1.177 0.233 1.398 0.000 0.335 0.000 0.000 0.066

Problem 1219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 69 82 66 65 67 39 66 89

N.S.

1 0.78 0.92 0.74 0.73 0.75 0.44 0.74 1.00

time (sec)

N/A 0.197 0.053 3.967 0.283 0.307 0.581 0.279 5.840

Problem 1220

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

89 103 98 83 0 120 0 0 698

N.S.

1 1.16 1.10 0.93 0.00 1.35 0.00 0.00 7.84

time (sec)

N/A 1.013 0.417 1.205 0.000 0.344 0.000 0.000 0.036

Problem 1221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

89 0 89 69 0 121 0 0 0

N.S.

1 0.00 1.00 0.78 0.00 1.36 0.00 0.00 0.00

time (sec)

N/A 0.000 0.249 5.553 0.000 0.333 0.000 0.000 0.000

Problem 1222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

89 0 72 209 0 195 0 0 0

N.S.

1 0.00 0.81 2.35 0.00 2.19 0.00 0.00 0.00

time (sec)

N/A 0.000 10.848 3.487 0.000 0.330 0.000 0.000 0.000

Problem 1223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 69 82 66 65 67 39 66 89

N.S.

1 0.78 0.92 0.74 0.73 0.75 0.44 0.74 1.00

time (sec)

N/A 0.203 0.053 7.000 0.316 0.277 0.580 0.266 5.961

Problem 1224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 69 82 66 65 67 37 66 89

N.S.

1 0.78 0.92 0.74 0.73 0.75 0.42 0.74 1.00

time (sec)

N/A 0.194 0.055 7.365 0.279 0.277 0.563 0.272 5.914

Problem 1225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

89 0 89 0 0 249 0 0 0

N.S.

1 0.00 1.00 0.00 0.00 2.80 0.00 0.00 0.00

time (sec)

N/A 0.000 0.145 0.000 0.000 2.233 0.000 0.000 0.000

Problem 1226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

90 74 83 96 68 80 36 69 86

N.S.

1 0.82 0.92 1.07 0.76 0.89 0.40 0.77 0.96

time (sec)

N/A 0.189 0.092 2.935 0.280 0.300 0.609 0.290 5.764

Problem 1227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C C F B

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

90 139 138 76 0 227 75 0 89

N.S.

1 1.54 1.53 0.84 0.00 2.52 0.83 0.00 0.99

time (sec)

N/A 0.365 10.037 3.000 0.000 0.853 2.327 0.000 6.114

Problem 1228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 77 83 55 66 78 32 67 78

N.S.

1 0.86 0.92 0.61 0.73 0.87 0.36 0.74 0.87

time (sec)

N/A 0.195 0.080 2.812 0.292 0.265 0.608 0.272 5.651

Problem 1229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 76 83 76 66 79 31 67 92

N.S.

1 0.84 0.92 0.84 0.73 0.88 0.34 0.74 1.02

time (sec)

N/A 0.197 0.074 2.826 0.287 0.260 0.619 0.274 5.585

Problem 1230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

90 0 0 0 0 0 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

90 0 0 0 0 0 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1232

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

90 59 84 55 80 78 228 148 71

N.S.

1 0.66 0.93 0.61 0.89 0.87 2.53 1.64 0.79

time (sec)

N/A 0.225 0.112 1.329 0.288 0.272 3.219 0.281 5.904

Problem 1233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 76 83 76 66 79 34 66 92

N.S.

1 0.84 0.92 0.84 0.73 0.88 0.38 0.73 1.02

time (sec)

N/A 0.193 0.084 4.928 0.285 0.263 0.619 0.275 5.593

Problem 1234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

90 0 90 95 0 134 0 0 0

N.S.

1 0.00 1.00 1.06 0.00 1.49 0.00 0.00 0.00

time (sec)

N/A 0.000 1.091 6.174 0.000 1.849 0.000 0.000 0.000

Problem 1235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

90 0 90 87 0 128 0 0 0

N.S.

1 0.00 1.00 0.97 0.00 1.42 0.00 0.00 0.00

time (sec)

N/A 0.000 0.996 9.754 0.000 2.734 0.000 0.000 0.000

Problem 1236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

90 0 90 94 0 131 0 0 0

N.S.

1 0.00 1.00 1.04 0.00 1.46 0.00 0.00 0.00

time (sec)

N/A 0.000 1.097 7.427 0.000 3.484 0.000 0.000 0.000

Problem 1237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

90 0 90 87 0 122 0 0 0

N.S.

1 0.00 1.00 0.97 0.00 1.36 0.00 0.00 0.00

time (sec)

N/A 0.000 0.997 7.078 0.000 1.737 0.000 0.000 0.000

Problem 1238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

90 0 90 104 0 387 0 0 0

N.S.

1 0.00 1.00 1.16 0.00 4.30 0.00 0.00 0.00

time (sec)

N/A 0.000 1.410 14.398 0.000 8.386 0.000 0.000 0.000

Problem 1239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 77 63 83 0 208 0 0 0

N.S.

1 0.86 0.70 0.92 0.00 2.31 0.00 0.00 0.00

time (sec)

N/A 0.194 0.325 6.286 0.000 0.297 0.000 0.000 0.000

Problem 1240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 132 125 104 0 0 0 222 0

N.S.

1 1.47 1.39 1.16 0.00 0.00 0.00 2.47 0.00

time (sec)

N/A 0.372 0.409 2.487 0.000 0.000 0.000 0.299 0.000

Problem 1241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 119 110 110 0 0 0 195 0

N.S.

1 1.32 1.22 1.22 0.00 0.00 0.00 2.17 0.00

time (sec)

N/A 0.365 0.379 2.411 0.000 0.000 0.000 0.296 0.000

Problem 1242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 76 83 76 66 79 34 67 92

N.S.

1 0.84 0.92 0.84 0.73 0.88 0.38 0.74 1.02

time (sec)

N/A 0.196 0.082 6.656 0.263 0.280 0.701 0.278 5.709

Problem 1243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

90 0 90 95 0 135 0 0 0

N.S.

1 0.00 1.00 1.06 0.00 1.50 0.00 0.00 0.00

time (sec)

N/A 0.000 1.146 11.446 0.000 3.278 0.000 0.000 0.000

Problem 1244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

90 0 90 95 0 135 0 0 0

N.S.

1 0.00 1.00 1.06 0.00 1.50 0.00 0.00 0.00

time (sec)

N/A 0.000 1.164 15.909 0.000 3.264 0.000 0.000 0.000

Problem 1245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C C A B

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

90 140 86 64 111 94 39 111 54

N.S.

1 1.56 0.96 0.71 1.23 1.04 0.43 1.23 0.60

time (sec)

N/A 0.313 0.092 10.155 0.283 0.266 0.580 0.274 5.701

Problem 1246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 77 81 76 66 79 31 66 92

N.S.

1 0.86 0.90 0.84 0.73 0.88 0.34 0.73 1.02

time (sec)

N/A 0.197 0.093 7.212 0.277 0.246 0.796 0.264 5.722

Problem 1247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 76 83 76 66 79 32 66 92

N.S.

1 0.84 0.92 0.84 0.73 0.88 0.36 0.73 1.02

time (sec)

N/A 0.191 0.066 6.219 0.284 0.246 0.785 0.266 5.641

Problem 1248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

90 0 108 0 0 0 0 0 0

N.S.

1 0.00 1.20 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 20.014 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

90 0 90 94 0 131 0 0 0

N.S.

1 0.00 1.00 1.04 0.00 1.46 0.00 0.00 0.00

time (sec)

N/A 0.000 9.215 74.725 0.000 10.671 0.000 0.000 0.000

Problem 1250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

90 0 76 0 0 53 0 0 0

N.S.

1 0.00 0.84 0.00 0.00 0.59 0.00 0.00 0.00

time (sec)

N/A 0.000 2.998 0.000 0.000 0.279 0.000 0.000 0.000

Problem 1251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 130 101 50 0 791 0 0 0

N.S.

1 1.43 1.11 0.55 0.00 8.69 0.00 0.00 0.00

time (sec)

N/A 0.648 17.558 3.455 0.000 0.350 0.000 0.000 0.000

Problem 1252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

91 86 109 27 0 92 0 63 27

N.S.

1 0.95 1.20 0.30 0.00 1.01 0.00 0.69 0.30

time (sec)

N/A 0.182 0.148 3.536 0.000 0.275 0.000 0.278 6.015

Problem 1253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

91 0 91 232 0 0 0 0 0

N.S.

1 0.00 1.00 2.55 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 6.202 4.321 0.000 0.000 0.000 0.000 0.000

Problem 1254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

91 0 142 58 0 228 0 0 0

N.S.

1 0.00 1.56 0.64 0.00 2.51 0.00 0.00 0.00

time (sec)

N/A 0.000 4.621 6.185 0.000 50.242 0.000 0.000 0.000

Problem 1255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

91 0 91 87 0 128 0 0 0

N.S.

1 0.00 1.00 0.96 0.00 1.41 0.00 0.00 0.00

time (sec)

N/A 0.000 0.946 35.460 0.000 9.201 0.000 0.000 0.000

Problem 1256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

91 0 65 126 0 95 0 0 0

N.S.

1 0.00 0.71 1.38 0.00 1.04 0.00 0.00 0.00

time (sec)

N/A 0.000 0.635 4.735 0.000 0.331 0.000 0.000 0.000

Problem 1257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 91 151 0 204 0 0 0

N.S.

1 1.00 1.00 1.66 0.00 2.24 0.00 0.00 0.00

time (sec)

N/A 0.442 0.381 4.273 0.000 0.259 0.000 0.000 0.000

Problem 1258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

91 118 115 103 0 0 0 213 42

N.S.

1 1.30 1.26 1.13 0.00 0.00 0.00 2.34 0.46

time (sec)

N/A 0.284 6.704 3.517 0.000 0.000 0.000 0.285 5.935

Problem 1259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

91 83 84 0 0 50 0 0 0

N.S.

1 0.91 0.92 0.00 0.00 0.55 0.00 0.00 0.00

time (sec)

N/A 0.571 0.102 0.000 0.000 0.264 0.000 0.000 0.000

Problem 1260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

92 0 92 362 0 98 0 0 0

N.S.

1 0.00 1.00 3.93 0.00 1.07 0.00 0.00 0.00

time (sec)

N/A 0.000 0.132 6.194 0.000 0.543 0.000 0.000 0.000

Problem 1261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

92 74 85 75 68 81 34 69 80

N.S.

1 0.80 0.92 0.82 0.74 0.88 0.37 0.75 0.87

time (sec)

N/A 0.201 0.108 3.695 0.274 0.270 0.744 0.275 5.991

Problem 1262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

92 74 83 96 68 80 32 69 92

N.S.

1 0.80 0.90 1.04 0.74 0.87 0.35 0.75 1.00

time (sec)

N/A 0.194 0.079 3.489 0.271 0.240 0.697 0.288 6.151

Problem 1263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 61 92 17 81 100 32 0 15

N.S.

1 0.66 1.00 0.18 0.88 1.09 0.35 0.00 0.16

time (sec)

N/A 0.166 0.131 2.487 0.270 0.373 0.631 0.000 6.234

Problem 1264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 53 92 543 0 0 0 0 0

N.S.

1 0.58 1.00 5.90 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.212 0.859 3.847 0.000 0.000 0.000 0.000 0.000

Problem 1265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 116 92 104 132 218 41 244 82

N.S.

1 1.26 1.00 1.13 1.43 2.37 0.45 2.65 0.89

time (sec)

N/A 0.211 0.126 1.271 0.267 0.253 1.977 0.285 6.059

Problem 1266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

92 0 0 0 0 0 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

92 73 83 96 68 80 34 69 92

N.S.

1 0.79 0.90 1.04 0.74 0.87 0.37 0.75 1.00

time (sec)

N/A 0.199 0.089 4.636 0.266 0.255 0.793 0.291 5.856

Problem 1268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

92 0 66 357 0 601 0 0 705

N.S.

1 0.00 0.72 3.88 0.00 6.53 0.00 0.00 7.66

time (sec)

N/A 0.000 15.844 1.374 0.000 0.531 0.000 0.000 6.308

Problem 1269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 116 92 104 132 218 39 244 82

N.S.

1 1.26 1.00 1.13 1.43 2.37 0.42 2.65 0.89

time (sec)

N/A 0.214 0.130 1.270 0.275 0.263 1.900 0.277 6.068

Problem 1270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 109 87 106 148 215 39 0 0

N.S.

1 1.18 0.95 1.15 1.61 2.34 0.42 0.00 0.00

time (sec)

N/A 0.219 0.313 1.148 0.280 0.279 1.513 0.000 0.000

Problem 1271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A N/A N/A C N/A N/A N/A

verified

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

size

92 494 126 80 30 2253 22 30 30

N.S.

1 5.37 1.37 0.87 0.33 24.49 0.24 0.33 0.33

time (sec)

N/A 1.339 0.488 2.016 0.225 0.337 1.724 12.548 5.765

Problem 1272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A N/A N/A C N/A N/A N/A

verified

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

size

92 494 126 80 30 2253 22 30 30

N.S.

1 5.37 1.37 0.87 0.33 24.49 0.24 0.33 0.33

time (sec)

N/A 0.973 0.002 0.000 0.236 0.336 1.807 12.509 0.002

Problem 1273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

92 74 83 96 68 80 36 69 92

N.S.

1 0.80 0.90 1.04 0.74 0.87 0.39 0.75 1.00

time (sec)

N/A 0.195 0.097 6.766 0.276 0.240 0.850 0.278 5.863

Problem 1274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 116 92 104 132 218 41 244 82

N.S.

1 1.26 1.00 1.13 1.43 2.37 0.45 2.65 0.89

time (sec)

N/A 0.218 0.104 1.140 0.278 0.256 2.013 0.278 6.251

Problem 1275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

92 73 83 96 68 80 32 69 92

N.S.

1 0.79 0.90 1.04 0.74 0.87 0.35 0.75 1.00

time (sec)

N/A 0.192 0.071 7.375 0.263 0.240 0.740 0.286 5.823

Problem 1276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

92 74 83 96 68 80 34 69 92

N.S.

1 0.80 0.90 1.04 0.74 0.87 0.37 0.75 1.00

time (sec)

N/A 0.193 0.065 7.250 0.265 0.245 0.821 0.273 5.848

Problem 1277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

92 0 137 92 0 127 0 0 0

N.S.

1 0.00 1.49 1.00 0.00 1.38 0.00 0.00 0.00

time (sec)

N/A 0.000 3.294 8.700 0.000 1.725 0.000 0.000 0.000

Problem 1278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 137 86 97 132 234 165 136 0

N.S.

1 1.49 0.93 1.05 1.43 2.54 1.79 1.48 0.00

time (sec)

N/A 0.408 0.164 0.175 0.277 0.260 4.110 0.543 0.000

Problem 1279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C C A B

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

93 142 89 71 114 111 34 114 57

N.S.

1 1.53 0.96 0.76 1.23 1.19 0.37 1.23 0.61

time (sec)

N/A 0.308 0.149 3.794 0.286 0.246 0.753 0.265 5.847

Problem 1280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

93 62 90 33 81 105 37 0 0

N.S.

1 0.67 0.97 0.35 0.87 1.13 0.40 0.00 0.00

time (sec)

N/A 0.169 0.151 4.312 0.272 0.440 0.692 0.000 0.000

Problem 1281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A C F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 386 81 1500 0 384 0 0 509

N.S.

1 4.15 0.87 16.13 0.00 4.13 0.00 0.00 5.47

time (sec)

N/A 1.038 1.513 6.598 0.000 0.284 0.000 0.000 0.244

Problem 1282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 62 90 17 81 105 34 0 0

N.S.

1 0.67 0.97 0.18 0.87 1.13 0.37 0.00 0.00

time (sec)

N/A 0.175 0.130 3.173 0.274 0.425 0.657 0.000 0.000

Problem 1283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

93 0 211 0 0 0 0 0 0

N.S.

1 0.00 2.27 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 33.042 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C C A B

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

93 140 87 72 114 111 34 114 57

N.S.

1 1.51 0.94 0.77 1.23 1.19 0.37 1.23 0.61

time (sec)

N/A 0.307 0.161 6.210 0.272 0.301 0.730 0.269 5.824

Problem 1285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 332 120 87 0 130 0 0 0

N.S.

1 3.57 1.29 0.94 0.00 1.40 0.00 0.00 0.00

time (sec)

N/A 1.056 1.040 4.546 0.000 0.766 0.000 0.000 0.000

Problem 1286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

93 0 93 81 0 92 0 100 0

N.S.

1 0.00 1.00 0.87 0.00 0.99 0.00 1.08 0.00

time (sec)

N/A 0.000 0.277 10.669 0.000 0.290 0.000 0.286 0.000

Problem 1287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 125 101 121 0 172 0 100 0

N.S.

1 1.34 1.09 1.30 0.00 1.85 0.00 1.08 0.00

time (sec)

N/A 0.283 0.259 4.859 0.000 0.273 0.000 0.335 0.000

Problem 1288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

93 0 120 87 0 124 0 0 0

N.S.

1 0.00 1.29 0.94 0.00 1.33 0.00 0.00 0.00

time (sec)

N/A 0.000 7.208 5.675 0.000 0.846 0.000 0.000 0.000

Problem 1289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C C A B

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

93 140 93 72 114 111 36 114 57

N.S.

1 1.51 1.00 0.77 1.23 1.19 0.39 1.23 0.61

time (sec)

N/A 0.316 0.125 10.303 0.265 0.277 0.840 0.271 5.798

Problem 1290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

93 0 0 87 0 124 0 0 0

N.S.

1 0.00 0.00 0.94 0.00 1.33 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 6.896 0.000 1.097 0.000 0.000 0.000

Problem 1291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F B F F B

verified

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

size

93 0 77 71 0 497 0 0 2803

N.S.

1 0.00 0.83 0.76 0.00 5.34 0.00 0.00 30.14

time (sec)

N/A 0.000 0.417 11.020 0.000 0.309 0.000 0.000 8.115

Problem 1292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

93 0 77 121 0 575 0 0 0

N.S.

1 0.00 0.83 1.30 0.00 6.18 0.00 0.00 0.00

time (sec)

N/A 0.000 0.352 3.738 0.000 0.354 0.000 0.000 0.000

Problem 1293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 167 90 98 0 74 85 80 0

N.S.

1 1.80 0.97 1.05 0.00 0.80 0.91 0.86 0.00

time (sec)

N/A 0.638 0.165 0.845 0.000 0.699 0.439 0.300 0.000

Problem 1294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A A C F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

94 65 99 30 94 86 32 0 26

N.S.

1 0.69 1.05 0.32 1.00 0.91 0.34 0.00 0.28

time (sec)

N/A 0.164 0.103 2.678 0.268 0.287 0.662 0.000 5.861

Problem 1295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 65 99 14 94 86 29 0 12

N.S.

1 0.69 1.05 0.15 1.00 0.91 0.31 0.00 0.13

time (sec)

N/A 0.165 0.066 1.812 0.272 0.281 0.668 0.000 5.773

Problem 1296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 65 90 29 94 86 71 0 0

N.S.

1 0.69 0.96 0.31 1.00 0.91 0.76 0.00 0.00

time (sec)

N/A 0.166 0.195 4.417 0.273 0.253 1.092 0.000 0.000

Problem 1297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

94 93 133 17 0 90 0 67 27

N.S.

1 0.99 1.41 0.18 0.00 0.96 0.00 0.71 0.29

time (sec)

N/A 0.220 0.535 6.503 0.000 0.351 0.000 0.284 5.836

Problem 1298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

94 0 0 0 0 0 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 115 94 110 0 340 0 0 0

N.S.

1 1.22 1.00 1.17 0.00 3.62 0.00 0.00 0.00

time (sec)

N/A 0.277 0.417 14.163 0.000 3.745 0.000 0.000 0.000

Problem 1300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

94 0 83 0 0 0 0 0 0

N.S.

1 0.00 0.88 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.938 0.000 0.000 0.000 0.000 0.000 0.000

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