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

Integrals 201 to 273

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 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

292 298 290 123 313 14746 790 329 482 1170

N.S.

1 1.02 0.99 0.42 1.07 50.50 2.71 1.13 1.65 4.01

time (sec)

N/A 1.798 0.126 0.110 0.132 1.259 47.208 0.131 0.158 5.925

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

275 281 272 104 300 14875 811 291 458 1161

N.S.

1 1.02 0.99 0.38 1.09 54.09 2.95 1.06 1.67 4.22

time (sec)

N/A 1.621 0.229 0.121 0.121 1.221 29.943 0.132 0.161 6.056

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

257 257 254 82 266 15235 804 271 443 1150

N.S.

1 1.00 0.99 0.32 1.04 59.28 3.13 1.05 1.72 4.47

time (sec)

N/A 0.923 0.183 0.120 0.122 1.350 33.361 0.142 0.165 6.040

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

256 256 258 259 290 15327 0 278 433 1731

N.S.

1 1.00 1.01 1.01 1.13 59.87 0.00 1.09 1.69 6.76

time (sec)

N/A 1.030 0.135 0.122 0.120 58.513 0.000 0.126 0.159 6.125

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

253 253 257 260 290 15238 0 274 452 1802

N.S.

1 1.00 1.02 1.03 1.15 60.23 0.00 1.08 1.79 7.12

time (sec)

N/A 1.046 0.179 0.156 0.124 61.918 0.000 0.131 0.164 5.914

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

258 258 257 251 271 15424 0 267 493 6948

N.S.

1 1.00 1.00 0.97 1.05 59.78 0.00 1.03 1.91 26.93

time (sec)

N/A 0.966 0.205 0.141 0.119 33.454 0.000 0.129 0.174 6.217

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

274 274 264 276 302 15204 0 287 510 1842

N.S.

1 1.00 0.96 1.01 1.10 55.49 0.00 1.05 1.86 6.72

time (sec)

N/A 1.055 0.308 0.159 0.126 62.757 0.000 0.129 0.167 6.822

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

292 292 291 292 318 14892 0 324 536 1853

N.S.

1 1.00 1.00 1.00 1.09 51.00 0.00 1.11 1.84 6.35

time (sec)

N/A 1.037 0.304 0.135 0.119 64.618 0.000 0.122 0.166 6.691

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

337 335 334 162 364 16147 0 351 995 1241

N.S.

1 0.99 0.99 0.48 1.08 47.91 0.00 1.04 2.95 3.68

time (sec)

N/A 1.515 0.289 0.143 0.114 2.315 0.000 0.133 0.173 0.198

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

309 310 294 136 329 16285 0 329 986 1229

N.S.

1 1.00 0.95 0.44 1.06 52.70 0.00 1.06 3.19 3.98

time (sec)

N/A 1.439 0.148 0.123 0.121 2.377 0.000 0.127 0.171 5.863

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

300 289 280 115 283 12153 612 301 855 816

N.S.

1 0.96 0.93 0.38 0.94 40.51 2.04 1.00 2.85 2.72

time (sec)

N/A 1.131 0.132 0.112 0.114 1.991 158.979 0.127 0.178 0.137

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

289 292 285 113 311 12617 0 311 841 827

N.S.

1 1.01 0.99 0.39 1.08 43.66 0.00 1.08 2.91 2.86

time (sec)

N/A 1.242 0.136 0.122 0.121 1.954 0.000 0.132 0.167 6.187

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

284 274 268 120 292 12636 620 302 844 835

N.S.

1 0.96 0.94 0.42 1.03 44.49 2.18 1.06 2.97 2.94

time (sec)

N/A 1.258 0.109 0.115 0.125 1.880 108.068 0.132 0.182 6.470

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

291 301 269 293 302 12541 0 314 854 1660

N.S.

1 1.03 0.92 1.01 1.04 43.10 0.00 1.08 2.93 5.70

time (sec)

N/A 1.337 0.145 0.138 0.118 20.572 0.000 0.129 0.192 6.831

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

297 317 285 298 329 12556 0 324 885 1684

N.S.

1 1.07 0.96 1.00 1.11 42.28 0.00 1.09 2.98 5.67

time (sec)

N/A 1.373 0.214 0.153 0.126 21.623 0.000 0.130 0.189 6.847

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

304 323 292 293 316 12231 0 333 925 1632

N.S.

1 1.06 0.96 0.96 1.04 40.23 0.00 1.10 3.04 5.37

time (sec)

N/A 1.358 0.330 0.148 0.121 16.227 0.000 0.130 0.185 6.666

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

338 354 303 332 365 16568 0 359 1075 1924

N.S.

1 1.05 0.90 0.98 1.08 49.02 0.00 1.06 3.18 5.69

time (sec)

N/A 1.611 0.339 0.145 0.130 64.154 0.000 0.130 0.176 7.008

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

345 364 342 168 391 12967 0 381 1316 916

N.S.

1 1.06 0.99 0.49 1.13 37.59 0.00 1.10 3.81 2.66

time (sec)

N/A 1.838 0.217 0.145 0.131 2.361 0.000 0.135 0.176 0.617

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

325 339 315 173 366 12939 0 359 1319 908

N.S.

1 1.04 0.97 0.53 1.13 39.81 0.00 1.10 4.06 2.79

time (sec)

N/A 1.751 0.179 0.123 0.129 2.265 0.000 0.138 0.187 6.668

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

298 306 287 151 308 6926 0 315 1133 627

N.S.

1 1.03 0.96 0.51 1.03 23.24 0.00 1.06 3.80 2.10

time (sec)

N/A 1.215 0.175 0.119 0.128 1.871 0.000 0.135 0.176 0.481

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

323 333 297 158 344 7190 0 335 1133 640

N.S.

1 1.03 0.92 0.49 1.07 22.26 0.00 1.04 3.51 1.98

time (sec)

N/A 1.447 0.242 0.115 0.123 2.009 0.000 0.138 0.191 6.385

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

323 320 295 149 327 6984 0 329 1133 630

N.S.

1 0.99 0.91 0.46 1.01 21.62 0.00 1.02 3.51 1.95

time (sec)

N/A 1.271 0.186 0.135 0.127 1.837 0.000 0.143 0.187 0.467

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

351 371 311 339 368 12815 0 371 1340 1716

N.S.

1 1.06 0.89 0.97 1.05 36.51 0.00 1.06 3.82 4.89

time (sec)

N/A 1.737 0.200 0.153 0.121 20.296 0.000 0.138 0.193 6.881

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

356 391 336 345 400 12951 0 386 1375 1747

N.S.

1 1.10 0.94 0.97 1.12 36.38 0.00 1.08 3.86 4.91

time (sec)

N/A 1.831 0.678 0.152 0.116 22.088 0.000 0.141 0.191 6.962

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

357 398 337 340 390 12435 0 395 1434 1697

N.S.

1 1.11 0.94 0.95 1.09 34.83 0.00 1.11 4.02 4.75

time (sec)

N/A 1.904 0.489 0.147 0.118 16.516 0.000 0.142 0.180 6.843

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

396 432 352 394 444 16697 0 427 1650 1994

N.S.

1 1.09 0.89 0.99 1.12 42.16 0.00 1.08 4.17 5.04

time (sec)

N/A 2.211 0.394 0.155 0.137 70.838 0.000 0.137 0.185 7.602

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

583 601 132 765 0 81 129 0 112 0

N.S.

1 1.03 0.23 1.31 0.00 0.14 0.22 0.00 0.19 0.00

time (sec)

N/A 1.839 10.190 0.655 0.000 0.082 1.445 0.000 0.220 0.000

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

560 572 121 755 0 74 107 0 92 0

N.S.

1 1.02 0.22 1.35 0.00 0.13 0.19 0.00 0.16 0.00

time (sec)

N/A 1.488 10.062 0.602 0.000 0.075 1.363 0.000 0.214 0.000

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

537 547 114 746 0 66 107 0 78 0

N.S.

1 1.02 0.21 1.39 0.00 0.12 0.20 0.00 0.15 0.00

time (sec)

N/A 1.139 10.055 0.533 0.000 0.072 1.321 0.000 0.202 0.000

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

509 514 107 735 0 55 105 0 66 0

N.S.

1 1.01 0.21 1.44 0.00 0.11 0.21 0.00 0.13 0.00

time (sec)

N/A 0.959 10.042 0.371 0.000 0.098 1.005 0.000 0.194 0.000

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

518 523 128 740 0 200 105 0 90 0

N.S.

1 1.01 0.25 1.43 0.00 0.39 0.20 0.00 0.17 0.00

time (sec)

N/A 1.096 10.114 0.275 0.000 0.215 1.723 0.000 0.205 0.000

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

547 557 126 758 0 235 107 0 93 121

N.S.

1 1.02 0.23 1.39 0.00 0.43 0.20 0.00 0.17 0.22

time (sec)

N/A 1.272 10.092 0.484 0.000 0.114 1.520 0.000 0.224 6.975

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

569 579 131 763 0 246 112 0 97 0

N.S.

1 1.02 0.23 1.34 0.00 0.43 0.20 0.00 0.17 0.00

time (sec)

N/A 1.498 10.135 0.567 0.000 0.126 1.704 0.000 0.234 0.000

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

594 625 134 813 0 138 129 0 258 0

N.S.

1 1.05 0.23 1.37 0.00 0.23 0.22 0.00 0.43 0.00

time (sec)

N/A 1.762 10.151 1.532 0.000 0.079 6.999 0.000 0.267 0.000

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

574 592 127 793 0 130 129 0 244 0

N.S.

1 1.03 0.22 1.38 0.00 0.23 0.22 0.00 0.43 0.00

time (sec)

N/A 1.469 10.078 1.207 0.000 0.091 5.274 0.000 0.269 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

542 554 118 775 0 107 129 0 229 0

N.S.

1 1.02 0.22 1.43 0.00 0.20 0.24 0.00 0.42 0.00

time (sec)

N/A 1.189 10.074 0.888 0.000 0.095 3.994 0.000 0.268 0.000

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

522 532 107 759 0 99 109 0 206 0

N.S.

1 1.02 0.20 1.45 0.00 0.19 0.21 0.00 0.39 0.00

time (sec)

N/A 1.061 10.059 0.454 0.000 0.104 3.608 0.000 0.249 0.000

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

561 565 108 765 0 112 109 0 192 0

N.S.

1 1.01 0.19 1.36 0.00 0.20 0.19 0.00 0.34 0.00

time (sec)

N/A 1.192 10.049 0.339 0.000 0.141 3.395 0.000 0.237 0.000

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

541 537 109 771 0 98 107 0 180 0

N.S.

1 0.99 0.20 1.43 0.00 0.18 0.20 0.00 0.33 0.00

time (sec)

N/A 0.960 6.872 0.292 0.000 0.085 3.276 0.000 0.216 0.000

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

579 586 119 794 0 345 265 0 265 0

N.S.

1 1.01 0.21 1.37 0.00 0.60 0.46 0.00 0.46 0.00

time (sec)

N/A 1.506 10.084 0.362 0.000 0.118 5.486 0.000 0.253 0.000

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

607 620 121 806 0 377 267 0 271 136

N.S.

1 1.02 0.20 1.33 0.00 0.62 0.44 0.00 0.45 0.22

time (sec)

N/A 1.789 10.072 0.895 0.000 0.146 5.837 0.000 0.266 7.418

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

733 740 172 956 0 202 238 0 323 0

N.S.

1 1.01 0.23 1.30 0.00 0.28 0.32 0.00 0.44 0.00

time (sec)

N/A 3.482 8.799 1.316 0.000 0.109 2.198 0.000 0.249 0.000

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

681 691 158 920 0 177 223 0 276 0

N.S.

1 1.01 0.23 1.35 0.00 0.26 0.33 0.00 0.41 0.00

time (sec)

N/A 2.924 8.934 1.017 0.000 0.073 1.960 0.000 0.246 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

667 666 143 829 0 147 223 0 247 0

N.S.

1 1.00 0.21 1.24 0.00 0.22 0.33 0.00 0.37 0.00

time (sec)

N/A 2.246 8.469 0.769 0.000 0.076 1.901 0.000 0.232 0.000

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

639 634 135 863 0 141 194 0 223 0

N.S.

1 0.99 0.21 1.35 0.00 0.22 0.30 0.00 0.35 0.00

time (sec)

N/A 1.714 8.158 0.812 0.000 0.079 1.948 0.000 0.238 0.000

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

620 621 185 848 0 350 235 0 216 0

N.S.

1 1.00 0.30 1.37 0.00 0.56 0.38 0.00 0.35 0.00

time (sec)

N/A 1.730 8.160 0.489 0.000 0.226 4.126 0.000 0.245 0.000

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

631 646 213 829 0 317 236 0 231 0

N.S.

1 1.02 0.34 1.31 0.00 0.50 0.37 0.00 0.37 0.00

time (sec)

N/A 1.838 7.921 1.021 0.000 0.212 2.814 0.000 0.254 0.000

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

640 657 218 826 0 330 255 0 278 0

N.S.

1 1.03 0.34 1.29 0.00 0.52 0.40 0.00 0.43 0.00

time (sec)

N/A 1.957 8.670 1.124 0.000 0.207 2.879 0.000 0.267 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

637 675 238 822 0 358 265 0 297 0

N.S.

1 1.06 0.37 1.29 0.00 0.56 0.42 0.00 0.47 0.00

time (sec)

N/A 2.197 9.393 0.823 0.000 0.331 3.372 0.000 0.265 0.000

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

694 719 238 845 0 340 274 0 296 0

N.S.

1 1.04 0.34 1.22 0.00 0.49 0.39 0.00 0.43 0.00

time (sec)

N/A 2.564 10.312 0.927 0.000 0.357 3.429 0.000 0.276 0.000

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

652 649 180 874 0 356 240 0 298 0

N.S.

1 1.00 0.28 1.34 0.00 0.55 0.37 0.00 0.46 0.00

time (sec)

N/A 2.051 10.186 1.207 0.000 0.229 3.082 0.000 0.315 0.000

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

659 671 211 883 0 404 304 0 329 0

N.S.

1 1.02 0.32 1.34 0.00 0.61 0.46 0.00 0.50 0.00

time (sec)

N/A 2.206 10.289 1.209 0.000 0.188 4.624 0.000 0.302 0.000

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

711 719 213 901 0 439 308 0 328 0

N.S.

1 1.01 0.30 1.27 0.00 0.62 0.43 0.00 0.46 0.00

time (sec)

N/A 2.617 10.370 1.578 0.000 0.155 4.686 0.000 0.321 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

743 754 192 931 0 482 304 0 326 0

N.S.

1 1.01 0.26 1.25 0.00 0.65 0.41 0.00 0.44 0.00

time (sec)

N/A 2.973 10.267 2.119 0.000 0.124 4.500 0.000 0.342 0.000

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

791 789 179 1161 0 262 512 0 423 0

N.S.

1 1.00 0.23 1.47 0.00 0.33 0.65 0.00 0.53 0.00

time (sec)

N/A 3.947 10.370 1.256 0.000 0.114 4.050 0.000 0.263 0.000

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

742 743 162 1103 0 237 525 0 376 0

N.S.

1 1.00 0.22 1.49 0.00 0.32 0.71 0.00 0.51 0.00

time (sec)

N/A 3.359 10.267 1.010 0.000 0.092 3.659 0.000 0.247 0.000

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

723 717 148 889 0 207 525 0 347 0

N.S.

1 0.99 0.20 1.23 0.00 0.29 0.73 0.00 0.48 0.00

time (sec)

N/A 2.573 10.230 0.770 0.000 0.077 3.415 0.000 0.258 0.000

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

694 684 139 1024 0 201 444 0 323 0

N.S.

1 0.99 0.20 1.48 0.00 0.29 0.64 0.00 0.47 0.00

time (sec)

N/A 2.006 10.134 0.796 0.000 0.076 3.596 0.000 0.279 0.000

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

676 676 215 987 0 467 473 0 316 0

N.S.

1 1.00 0.32 1.46 0.00 0.69 0.70 0.00 0.47 0.00

time (sec)

N/A 2.038 9.504 0.520 0.000 0.222 7.971 0.000 0.298 0.000

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

677 698 224 946 0 434 474 0 331 0

N.S.

1 1.03 0.33 1.40 0.00 0.64 0.70 0.00 0.49 0.00

time (sec)

N/A 2.175 9.528 1.817 0.000 0.223 4.691 0.000 0.297 0.000

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

694 708 232 941 0 443 462 0 378 0

N.S.

1 1.02 0.33 1.36 0.00 0.64 0.67 0.00 0.54 0.00

time (sec)

N/A 2.256 9.675 1.928 0.000 0.225 4.880 0.000 0.310 0.000

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

692 725 243 920 0 444 484 0 379 0

N.S.

1 1.05 0.35 1.33 0.00 0.64 0.70 0.00 0.55 0.00

time (sec)

N/A 2.515 10.108 1.458 0.000 0.378 6.030 0.000 0.289 0.000

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

741 772 246 900 0 394 495 0 378 0

N.S.

1 1.04 0.33 1.21 0.00 0.53 0.67 0.00 0.51 0.00

time (sec)

N/A 2.931 9.934 1.343 0.000 0.385 6.200 0.000 0.299 0.000

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

689 707 191 920 0 392 476 0 380 0

N.S.

1 1.03 0.28 1.34 0.00 0.57 0.69 0.00 0.55 0.00

time (sec)

N/A 2.311 10.177 1.489 0.000 0.247 5.983 0.000 0.338 0.000

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

692 723 240 903 0 440 524 0 401 0

N.S.

1 1.04 0.35 1.30 0.00 0.64 0.76 0.00 0.58 0.00

time (sec)

N/A 2.536 10.386 1.391 0.000 0.408 7.884 0.000 0.320 0.000

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

746 767 240 916 0 456 536 0 400 0

N.S.

1 1.03 0.32 1.23 0.00 0.61 0.72 0.00 0.54 0.00

time (sec)

N/A 2.893 10.639 1.589 0.000 0.344 7.816 0.000 0.313 0.000

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

705 705 202 949 0 480 527 0 398 0

N.S.

1 1.00 0.29 1.35 0.00 0.68 0.75 0.00 0.56 0.00

time (sec)

N/A 2.349 10.315 2.018 0.000 0.247 7.264 0.000 0.347 0.000

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

714 726 226 958 0 525 573 0 429 0

N.S.

1 1.02 0.32 1.34 0.00 0.74 0.80 0.00 0.60 0.00

time (sec)

N/A 2.687 10.477 2.024 0.000 0.128 13.239 0.000 0.350 0.000

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

764 767 227 976 0 559 576 0 428 0

N.S.

1 1.00 0.30 1.28 0.00 0.73 0.75 0.00 0.56 0.00

time (sec)

N/A 3.008 10.370 3.024 0.000 0.135 13.724 0.000 0.366 0.000

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

796 803 194 1006 0 606 541 0 426 0

N.S.

1 1.01 0.24 1.26 0.00 0.76 0.68 0.00 0.54 0.00

time (sec)

N/A 3.461 10.304 3.838 0.000 0.120 12.092 0.000 0.413 0.000

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

102 120 114 0 0 0 112 0 797 0

N.S.

1 1.18 1.12 0.00 0.00 0.00 1.10 0.00 7.81 0.00

time (sec)

N/A 0.498 0.600 0.000 0.000 0.000 26.370 0.000 0.179 0.000

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

107 125 116 0 0 0 114 0 1307 0

N.S.

1 1.17 1.08 0.00 0.00 0.00 1.07 0.00 12.21 0.00

time (sec)

N/A 0.485 0.610 0.000 0.000 0.000 39.865 0.000 0.187 0.000

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

107 125 116 0 0 0 114 0 0 0

N.S.

1 1.17 1.08 0.00 0.00 0.00 1.07 0.00 0.00 0.00

time (sec)

N/A 0.510 0.622 0.000 0.000 0.000 56.232 0.000 0.188 0.000

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