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

Integrals 401 to 500

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 401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

105 114 176 126 98 112 0 113 368 99

N.S.

1 1.09 1.68 1.20 0.93 1.07 0.00 1.08 3.50 0.94

time (sec)

N/A 0.337 1.462 0.495 0.027 0.113 0.000 0.128 0.175 15.467

Problem 402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

94 140 318 156 136 138 0 143 393 114

N.S.

1 1.49 3.38 1.66 1.45 1.47 0.00 1.52 4.18 1.21

time (sec)

N/A 0.382 4.634 0.626 0.033 0.101 0.000 0.130 0.180 15.376

Problem 403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

158 156 182 145 117 117 348 173 246 474

N.S.

1 0.99 1.15 0.92 0.74 0.74 2.20 1.09 1.56 3.00

time (sec)

N/A 0.747 0.856 132.920 0.036 0.107 0.597 0.181 0.171 16.621

Problem 404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

131 132 107 123 93 98 236 113 168 356

N.S.

1 1.01 0.82 0.94 0.71 0.75 1.80 0.86 1.28 2.72

time (sec)

N/A 0.628 1.263 16.441 0.034 0.088 0.294 0.144 0.158 16.209

Problem 405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

79 87 68 85 70 70 0 123 109 103

N.S.

1 1.10 0.86 1.08 0.89 0.89 0.00 1.56 1.38 1.30

time (sec)

N/A 0.346 0.977 0.457 0.108 0.089 0.000 0.145 0.158 16.645

Problem 406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

84 74 136 121 80 77 0 128 150 81

N.S.

1 0.88 1.62 1.44 0.95 0.92 0.00 1.52 1.79 0.96

time (sec)

N/A 0.414 1.019 0.500 0.035 0.080 0.000 0.146 0.174 15.861

Problem 407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

135 139 190 168 105 101 0 243 226 119

N.S.

1 1.03 1.41 1.24 0.78 0.75 0.00 1.80 1.67 0.88

time (sec)

N/A 0.686 1.466 0.653 0.036 0.081 0.000 0.161 0.168 15.977

Problem 408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

165 161 245 199 124 124 0 358 302 152

N.S.

1 0.98 1.48 1.21 0.75 0.75 0.00 2.17 1.83 0.92

time (sec)

N/A 0.726 2.835 0.781 0.037 0.085 0.000 0.158 0.171 16.120

Problem 409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

192 170 299 230 145 146 0 473 378 275

N.S.

1 0.89 1.56 1.20 0.76 0.76 0.00 2.46 1.97 1.43

time (sec)

N/A 0.763 5.426 1.033 0.036 0.107 0.000 0.166 0.173 16.563

Problem 410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

144 121 120 316 311 356 614 406 404 306

N.S.

1 0.84 0.83 2.19 2.16 2.47 4.26 2.82 2.81 2.12

time (sec)

N/A 0.422 1.965 0.068 0.033 0.161 3.973 0.161 0.171 16.060

Problem 411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 66 56 236 233 310 389 272 270 231

N.S.

1 0.86 0.73 3.06 3.03 4.03 5.05 3.53 3.51 3.00

time (sec)

N/A 0.341 0.890 0.069 0.033 0.181 2.156 0.183 0.183 15.765

Problem 412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 22 137 21 20 257 168 137 137 135

N.S.

1 1.00 6.23 0.95 0.91 11.68 7.64 6.23 6.23 6.14

time (sec)

N/A 0.204 0.367 0.057 0.025 0.112 1.137 0.139 0.164 0.068

Problem 413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

245 230 227 284 317 327 0 433 660 212

N.S.

1 0.94 0.93 1.16 1.29 1.33 0.00 1.77 2.69 0.87

time (sec)

N/A 0.454 0.233 1.363 0.034 0.136 0.000 0.144 0.174 15.858

Problem 414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

227 221 366 356 323 368 0 391 1161 257

N.S.

1 0.97 1.61 1.57 1.42 1.62 0.00 1.72 5.11 1.13

time (sec)

N/A 0.480 2.407 2.198 0.035 0.142 0.000 0.149 0.170 15.420

Problem 415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

247 250 514 434 348 366 0 372 1500 305

N.S.

1 1.01 2.08 1.76 1.41 1.48 0.00 1.51 6.07 1.23

time (sec)

N/A 0.527 5.524 2.515 0.035 0.165 0.000 0.147 0.169 15.506

Problem 416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

423 426 457 497 336 315 1115 364 642 467

N.S.

1 1.01 1.08 1.17 0.79 0.74 2.64 0.86 1.52 1.10

time (sec)

N/A 2.589 2.723 0.114 0.039 0.190 1.741 0.233 4.651 17.033

Problem 417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

349 371 313 298 348 266 0 799 453 767

N.S.

1 1.06 0.90 0.85 1.00 0.76 0.00 2.29 1.30 2.20

time (sec)

N/A 1.595 3.830 5.979 0.120 0.120 0.000 0.188 0.204 17.682

Problem 418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

369 393 414 371 328 268 0 684 668 726

N.S.

1 1.07 1.12 1.01 0.89 0.73 0.00 1.85 1.81 1.97

time (sec)

N/A 1.725 3.880 5.425 0.114 0.147 0.000 0.195 0.188 17.826

Problem 419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

381 405 472 448 315 281 0 663 787 665

N.S.

1 1.06 1.24 1.18 0.83 0.74 0.00 1.74 2.07 1.75

time (sec)

N/A 1.844 4.392 3.483 0.119 0.131 0.000 0.217 0.202 17.035

Problem 420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

404 431 479 541 310 306 0 726 740 546

N.S.

1 1.07 1.19 1.34 0.77 0.76 0.00 1.80 1.83 1.35

time (sec)

N/A 2.031 6.719 1.257 0.116 0.112 0.000 0.222 0.169 18.016

Problem 421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

236 231 313 587 315 336 0 892 782 659

N.S.

1 0.98 1.33 2.49 1.33 1.42 0.00 3.78 3.31 2.79

time (sec)

N/A 1.159 4.796 3.767 0.043 0.113 0.000 0.239 0.190 16.543

Problem 422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

118 105 103 106 108 107 0 139 264 109

N.S.

1 0.89 0.87 0.90 0.92 0.91 0.00 1.18 2.24 0.92

time (sec)

N/A 0.312 0.224 0.787 0.032 0.111 0.000 0.131 0.180 0.042

Problem 423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

61 54 54 54 55 53 0 60 141 55

N.S.

1 0.89 0.89 0.89 0.90 0.87 0.00 0.98 2.31 0.90

time (sec)

N/A 0.266 0.078 0.283 0.027 0.096 0.000 0.130 0.173 0.044

Problem 424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 18 18 19 18 18 41 19 18 18

N.S.

1 1.00 1.00 1.06 1.00 1.00 2.28 1.06 1.00 1.00

time (sec)

N/A 0.210 0.011 0.097 0.031 0.094 0.361 0.122 0.185 15.303

Problem 425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

75 80 64 71 64 62 0 76 104 69

N.S.

1 1.07 0.85 0.95 0.85 0.83 0.00 1.01 1.39 0.92

time (sec)

N/A 0.305 0.068 0.237 0.028 0.145 0.000 0.132 0.167 0.121

Problem 426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

134 140 114 121 139 153 0 180 454 148

N.S.

1 1.04 0.85 0.90 1.04 1.14 0.00 1.34 3.39 1.10

time (sec)

N/A 0.400 0.964 0.566 0.035 0.123 0.000 0.135 0.186 15.790

Problem 427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

217 226 236 190 278 253 0 301 1008 322

N.S.

1 1.04 1.09 0.88 1.28 1.17 0.00 1.39 4.65 1.48

time (sec)

N/A 0.528 5.664 1.126 0.040 0.205 0.000 0.136 0.192 0.350

Problem 428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

188 212 2827 382 0 483 0 496 359 3075

N.S.

1 1.13 15.04 2.03 0.00 2.57 0.00 2.64 1.91 16.36

time (sec)

N/A 1.101 6.968 1.192 0.000 0.121 0.000 0.140 0.180 17.276

Problem 429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

127 143 428 203 0 332 0 226 187 364

N.S.

1 1.13 3.37 1.60 0.00 2.61 0.00 1.78 1.47 2.87

time (sec)

N/A 0.718 4.948 0.533 0.000 0.118 0.000 0.138 0.196 16.840

Problem 430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

70 81 361 96 0 214 1923 95 65 318

N.S.

1 1.16 5.16 1.37 0.00 3.06 27.47 1.36 0.93 4.54

time (sec)

N/A 0.432 1.407 0.243 0.000 0.203 137.170 0.137 0.169 15.680

Problem 431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

84 90 152 112 0 305 0 107 131 149

N.S.

1 1.07 1.81 1.33 0.00 3.63 0.00 1.27 1.56 1.77

time (sec)

N/A 0.363 0.587 0.261 0.000 0.117 0.000 0.142 0.183 15.682

Problem 432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

137 156 202 215 0 466 0 273 395 387

N.S.

1 1.14 1.47 1.57 0.00 3.40 0.00 1.99 2.88 2.82

time (sec)

N/A 0.651 1.742 0.478 0.000 0.128 0.000 0.152 0.187 18.260

Problem 433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

197 233 370 338 0 666 0 584 840 774

N.S.

1 1.18 1.88 1.72 0.00 3.38 0.00 2.96 4.26 3.93

time (sec)

N/A 1.052 3.289 0.812 0.000 0.142 0.000 0.151 0.204 18.468

Problem 434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

184 162 235 205 190 243 0 243 548 259

N.S.

1 0.88 1.28 1.11 1.03 1.32 0.00 1.32 2.98 1.41

time (sec)

N/A 0.387 0.508 1.976 0.033 0.144 0.000 0.130 0.196 0.074

Problem 435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

120 104 127 116 116 156 0 138 336 118

N.S.

1 0.87 1.06 0.97 0.97 1.30 0.00 1.15 2.80 0.98

time (sec)

N/A 0.309 0.730 1.044 0.029 0.117 0.000 0.128 0.178 0.048

Problem 436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

63 53 52 60 61 78 221 64 93 69

N.S.

1 0.84 0.83 0.95 0.97 1.24 3.51 1.02 1.48 1.10

time (sec)

N/A 0.271 0.051 0.410 0.028 0.106 0.748 0.123 0.174 0.054

Problem 437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 20 20 21 20 20 51 20 25 20

N.S.

1 1.00 1.00 1.05 1.00 1.00 2.55 1.00 1.25 1.00

time (sec)

N/A 0.207 0.050 0.150 0.030 0.085 0.646 0.123 0.175 16.419

Problem 438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

104 108 102 93 118 188 0 145 387 98

N.S.

1 1.04 0.98 0.89 1.13 1.81 0.00 1.39 3.72 0.94

time (sec)

N/A 0.330 0.242 0.405 0.028 0.122 0.000 0.129 0.191 16.473

Problem 439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

167 170 222 146 275 381 0 260 1258 227

N.S.

1 1.02 1.33 0.87 1.65 2.28 0.00 1.56 7.53 1.36

time (sec)

N/A 0.419 2.165 1.653 0.036 0.163 0.000 0.132 0.194 16.644

Problem 440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

244 250 406 213 505 527 0 410 2479 449

N.S.

1 1.02 1.66 0.87 2.07 2.16 0.00 1.68 10.16 1.84

time (sec)

N/A 0.566 6.131 3.226 0.042 0.302 0.000 0.137 0.201 16.860

Problem 441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

187 212 3679 395 0 599 0 469 469 2530

N.S.

1 1.13 19.67 2.11 0.00 3.20 0.00 2.51 2.51 13.53

time (sec)

N/A 1.030 8.100 2.254 0.000 0.151 0.000 0.151 0.190 18.198

Problem 442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

128 145 448 220 0 411 0 235 230 601

N.S.

1 1.13 3.50 1.72 0.00 3.21 0.00 1.84 1.80 4.70

time (sec)

N/A 0.678 5.769 0.938 0.000 0.107 0.000 0.142 0.178 17.259

Problem 443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

84 95 414 121 0 388 0 126 193 329

N.S.

1 1.13 4.93 1.44 0.00 4.62 0.00 1.50 2.30 3.92

time (sec)

N/A 0.440 2.947 0.270 0.000 0.138 0.000 0.138 0.175 16.723

Problem 444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

130 149 162 158 0 538 0 271 388 303

N.S.

1 1.15 1.25 1.22 0.00 4.14 0.00 2.08 2.98 2.33

time (sec)

N/A 0.609 1.523 0.491 0.000 0.121 0.000 0.154 0.185 18.022

Problem 445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

193 225 336 252 0 782 0 427 1048 727

N.S.

1 1.17 1.74 1.31 0.00 4.05 0.00 2.21 5.43 3.77

time (sec)

N/A 0.936 2.479 1.575 0.000 0.170 0.000 0.164 0.194 18.897

Problem 446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

190 165 282 198 200 304 0 218 780 234

N.S.

1 0.87 1.48 1.04 1.05 1.60 0.00 1.15 4.11 1.23

time (sec)

N/A 0.378 0.675 2.107 0.034 0.122 0.000 0.131 0.186 0.071

Problem 447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

127 108 143 117 131 212 0 126 494 142

N.S.

1 0.85 1.13 0.92 1.03 1.67 0.00 0.99 3.89 1.12

time (sec)

N/A 0.311 1.292 1.265 0.030 0.113 0.000 0.124 0.182 16.480

Problem 448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

72 61 55 66 76 110 398 64 128 80

N.S.

1 0.85 0.76 0.92 1.06 1.53 5.53 0.89 1.78 1.11

time (sec)

N/A 0.270 0.197 0.491 0.028 0.115 0.820 0.126 0.177 0.055

Problem 449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 22 22 21 20 43 73 20 36 39

N.S.

1 1.00 1.00 0.95 0.91 1.95 3.32 0.91 1.64 1.77

time (sec)

N/A 0.209 0.052 0.284 0.025 0.079 0.732 0.120 0.170 16.442

Problem 450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

145 148 135 130 223 462 0 212 995 169

N.S.

1 1.02 0.93 0.90 1.54 3.19 0.00 1.46 6.86 1.17

time (sec)

N/A 0.377 0.631 0.892 0.036 0.198 0.000 0.132 0.184 16.598

Problem 451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

209 209 283 184 438 707 0 354 2411 388

N.S.

1 1.00 1.35 0.88 2.10 3.38 0.00 1.69 11.54 1.86

time (sec)

N/A 0.490 4.584 2.500 0.043 0.265 0.000 0.138 0.207 16.831

Problem 452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

283 286 388 252 725 895 0 598 4144 688

N.S.

1 1.01 1.37 0.89 2.56 3.16 0.00 2.11 14.64 2.43

time (sec)

N/A 0.670 3.170 4.713 0.045 0.452 0.000 0.140 0.241 17.341

Problem 453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

197 217 3889 378 0 752 0 457 630 1226

N.S.

1 1.10 19.74 1.92 0.00 3.82 0.00 2.32 3.20 6.22

time (sec)

N/A 1.014 8.504 2.689 0.000 0.176 0.000 0.164 0.213 18.834

Problem 454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

139 155 2641 238 0 716 0 272 629 1360

N.S.

1 1.12 19.00 1.71 0.00 5.15 0.00 1.96 4.53 9.78

time (sec)

N/A 0.690 6.920 1.157 0.000 0.133 0.000 0.162 0.257 17.817

Problem 455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

115 126 93 201 0 501 0 207 377 282

N.S.

1 1.10 0.81 1.75 0.00 4.36 0.00 1.80 3.28 2.45

time (sec)

N/A 0.509 0.373 0.498 0.000 0.118 0.000 0.149 0.168 17.604

Problem 456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

192 223 193 254 0 894 0 385 926 650

N.S.

1 1.16 1.01 1.32 0.00 4.66 0.00 2.01 4.82 3.39

time (sec)

N/A 0.983 3.596 1.370 0.000 0.141 0.000 0.184 0.186 18.908

Problem 457

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

264 310 380 352 0 1200 0 622 1948 1167

N.S.

1 1.17 1.44 1.33 0.00 4.55 0.00 2.36 7.38 4.42

time (sec)

N/A 1.404 3.488 2.239 0.000 0.174 0.000 0.211 0.261 19.491

Problem 458

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

207 171 171 208 279 382 2530 215 396 276

N.S.

1 0.83 0.83 1.00 1.35 1.85 12.22 1.04 1.91 1.33

time (sec)

N/A 0.394 1.395 5.387 0.038 0.194 9.540 0.144 0.174 0.144

Problem 459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

141 118 107 127 206 309 1425 117 247 206

N.S.

1 0.84 0.76 0.90 1.46 2.19 10.11 0.83 1.75 1.46

time (sec)

N/A 0.326 0.303 5.001 0.038 0.147 9.389 0.138 0.188 16.427

Problem 460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 66 54 67 151 254 636 52 156 152

N.S.

1 0.86 0.70 0.87 1.96 3.30 8.26 0.68 2.03 1.97

time (sec)

N/A 0.270 0.189 4.671 0.031 0.159 9.003 0.137 0.167 16.334

Problem 461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 22 22 21 20 218 167 20 116 119

N.S.

1 1.00 1.00 0.95 0.91 9.91 7.59 0.91 5.27 5.41

time (sec)

N/A 0.209 0.212 4.660 0.032 0.131 9.219 0.134 0.170 0.080

Problem 462

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

385 383 365 356 1160 3165 0 719 6943 937

N.S.

1 0.99 0.95 0.92 3.01 8.22 0.00 1.87 18.03 2.43

time (sec)

N/A 0.859 2.681 13.659 0.083 1.455 0.000 0.161 1.289 18.554

Problem 463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

474 459 770 433 1670 3678 0 991 10889 1443

N.S.

1 0.97 1.62 0.91 3.52 7.76 0.00 2.09 22.97 3.04

time (sec)

N/A 1.064 6.789 28.030 0.105 2.634 0.000 0.162 16.150 20.937

Problem 464

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

491 529 574 1652 0 3721 0 2326 5004 9647

N.S.

1 1.08 1.17 3.36 0.00 7.58 0.00 4.74 10.19 19.65

time (sec)

N/A 2.877 17.274 9.847 0.000 0.510 0.000 0.328 0.180 39.731

Problem 465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

407 472 552 1388 0 2250 0 1650 2394 1868

N.S.

1 1.16 1.36 3.41 0.00 5.53 0.00 4.05 5.88 4.59

time (sec)

N/A 2.141 6.073 7.955 0.000 0.285 0.000 0.316 2.301 21.093

Problem 466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

411 481 1167 1533 0 2657 0 1932 3166 2184

N.S.

1 1.17 2.84 3.73 0.00 6.46 0.00 4.70 7.70 5.31

time (sec)

N/A 2.041 6.150 7.732 0.000 0.296 0.000 0.323 5.404 22.003

Problem 467

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

422 494 1896 1703 0 2972 0 2207 3876 2440

N.S.

1 1.17 4.49 4.04 0.00 7.04 0.00 5.23 9.18 5.78

time (sec)

N/A 2.076 6.358 8.810 0.000 0.325 0.000 0.309 5.696 19.996

Problem 468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

529 631 494 1286 0 3882 0 2610 5534 3273

N.S.

1 1.19 0.93 2.43 0.00 7.34 0.00 4.93 10.46 6.19

time (sec)

N/A 3.468 6.207 33.021 0.000 0.472 0.000 0.405 71.457 54.424

Problem 469

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

653 0 597 1380 0 4500 0 3047 23 0

N.S.

1 0.00 0.91 2.11 0.00 6.89 0.00 4.67 0.04 0.00

time (sec)

N/A 0.000 8.960 77.389 0.000 0.690 0.000 0.487 200.026 0.000

Problem 470

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

154 131 117 150 116 142 0 161 22 0

N.S.

1 0.85 0.76 0.97 0.75 0.92 0.00 1.05 0.14 0.00

time (sec)

N/A 0.329 0.369 0.354 0.033 0.099 0.000 0.129 0.178 0.000

Problem 471

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

83 72 58 62 61 78 0 72 22 0

N.S.

1 0.87 0.70 0.75 0.73 0.94 0.00 0.87 0.27 0.00

time (sec)

N/A 0.294 0.136 0.163 0.032 0.128 0.000 0.131 0.192 0.000

Problem 472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 24 24 21 20 20 83 20 29 20

N.S.

1 1.00 1.00 0.88 0.83 0.83 3.46 0.83 1.21 0.83

time (sec)

N/A 0.225 0.021 0.083 0.031 0.116 0.154 0.116 0.166 16.105

Problem 473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 90 74 61 0 1729 0 83 20 0

N.S.

1 1.22 1.00 0.82 0.00 23.36 0.00 1.12 0.27 0.00

time (sec)

N/A 0.317 0.064 0.133 0.000 0.306 0.000 0.133 0.182 0.000

Problem 474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

124 150 143 146 0 2101 0 159 22 0

N.S.

1 1.21 1.15 1.18 0.00 16.94 0.00 1.28 0.18 0.00

time (sec)

N/A 0.361 0.777 0.149 0.000 0.443 0.000 0.139 0.166 0.000

Problem 475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

207 274 224 237 0 2505 0 358 22 0

N.S.

1 1.32 1.08 1.14 0.00 12.10 0.00 1.73 0.11 0.00

time (sec)

N/A 0.493 1.623 0.180 0.000 0.536 0.000 0.148 0.168 0.000

Problem 476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

298 312 233 1189 0 522 0 0 22 0

N.S.

1 1.05 0.78 3.99 0.00 1.75 0.00 0.00 0.07 0.00

time (sec)

N/A 1.671 0.951 1.874 0.000 0.125 0.000 0.000 0.176 0.000

Problem 477

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

215 221 185 792 0 436 0 0 22 0

N.S.

1 1.03 0.86 3.68 0.00 2.03 0.00 0.00 0.10 0.00

time (sec)

N/A 1.032 0.913 1.022 0.000 0.106 0.000 0.000 0.174 0.000

Problem 478

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

149 162 127 617 0 406 0 0 22 0

N.S.

1 1.09 0.85 4.14 0.00 2.72 0.00 0.00 0.15 0.00

time (sec)

N/A 0.781 3.107 0.772 0.000 0.091 0.000 0.000 0.162 0.000

Problem 479

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

248 261 270 1201 0 514 0 0 22 0

N.S.

1 1.05 1.09 4.84 0.00 2.07 0.00 0.00 0.09 0.00

time (sec)

N/A 1.263 3.591 1.200 0.000 0.130 0.000 0.000 0.173 0.000

Problem 480

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

154 131 131 150 116 184 0 0 55 0

N.S.

1 0.85 0.85 0.97 0.75 1.19 0.00 0.00 0.36 0.00

time (sec)

N/A 0.322 0.732 0.337 0.033 0.122 0.000 0.000 0.224 0.000

Problem 481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

83 72 58 62 61 111 314 0 55 0

N.S.

1 0.87 0.70 0.75 0.73 1.34 3.78 0.00 0.66 0.00

time (sec)

N/A 0.282 0.190 0.171 0.028 0.110 4.564 0.000 0.211 0.000

Problem 482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 24 24 21 20 53 116 0 45 20

N.S.

1 1.00 1.00 0.88 0.83 2.21 4.83 0.00 1.88 0.83

time (sec)

N/A 0.214 0.025 0.088 0.030 0.132 1.402 0.000 0.169 16.000

Problem 483

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

94 103 89 108 0 1797 0 0 51 0

N.S.

1 1.10 0.95 1.15 0.00 19.12 0.00 0.00 0.54 0.00

time (sec)

N/A 0.356 0.114 0.128 0.000 1.599 0.000 0.000 0.196 0.000

Problem 484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

130 159 121 154 0 1969 0 0 55 0

N.S.

1 1.22 0.93 1.18 0.00 15.15 0.00 0.00 0.42 0.00

time (sec)

N/A 0.392 0.710 0.152 0.000 0.360 0.000 0.000 0.203 0.000

Problem 485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

188 298 297 217 0 2397 0 0 55 0

N.S.

1 1.59 1.58 1.15 0.00 12.75 0.00 0.00 0.29 0.00

time (sec)

N/A 0.549 2.637 0.174 0.000 0.467 0.000 0.000 0.202 0.000

Problem 486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

329 340 278 1355 0 571 0 0 55 0

N.S.

1 1.03 0.84 4.12 0.00 1.74 0.00 0.00 0.17 0.00

time (sec)

N/A 1.848 1.226 2.516 0.000 0.124 0.000 0.000 0.227 0.000

Problem 487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

247 250 222 943 0 481 0 0 55 0

N.S.

1 1.01 0.90 3.82 0.00 1.95 0.00 0.00 0.22 0.00

time (sec)

N/A 1.295 1.124 1.453 0.000 0.134 0.000 0.000 0.197 0.000

Problem 488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

168 174 163 633 0 432 0 0 55 0

N.S.

1 1.04 0.97 3.77 0.00 2.57 0.00 0.00 0.33 0.00

time (sec)

N/A 0.844 0.755 0.843 0.000 0.151 0.000 0.000 0.213 0.000

Problem 489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

218 281 211 876 0 469 0 0 55 0

N.S.

1 1.29 0.97 4.02 0.00 2.15 0.00 0.00 0.25 0.00

time (sec)

N/A 1.416 2.606 1.228 0.000 0.116 0.000 0.000 0.205 0.000

Problem 490

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

330 399 364 1519 0 600 0 0 55 0

N.S.

1 1.21 1.10 4.60 0.00 1.82 0.00 0.00 0.17 0.00

time (sec)

N/A 2.082 6.503 2.790 0.000 0.123 0.000 0.000 0.215 0.000

Problem 491

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

154 131 113 150 116 224 714 0 93 0

N.S.

1 0.85 0.73 0.97 0.75 1.45 4.64 0.00 0.60 0.00

time (sec)

N/A 0.311 0.609 61.101 0.034 0.164 132.690 0.000 0.227 0.000

Problem 492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

83 72 58 62 61 143 391 0 93 0

N.S.

1 0.87 0.70 0.75 0.73 1.72 4.71 0.00 1.12 0.00

time (sec)

N/A 0.277 0.096 6.454 0.036 0.124 40.537 0.000 0.219 0.000

Problem 493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 24 24 21 20 77 150 0 61 20

N.S.

1 1.00 1.00 0.88 0.83 3.21 6.25 0.00 2.54 0.83

time (sec)

N/A 0.214 0.030 0.399 0.025 0.108 13.753 0.000 0.172 16.081

Problem 494

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

117 122 105 139 0 1937 0 0 87 0

N.S.

1 1.04 0.90 1.19 0.00 16.56 0.00 0.00 0.74 0.00

time (sec)

N/A 0.379 0.185 0.902 0.000 2.761 0.000 0.000 0.221 0.000

Problem 495

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

155 181 147 160 0 2071 0 0 93 0

N.S.

1 1.17 0.95 1.03 0.00 13.36 0.00 0.00 0.60 0.00

time (sec)

N/A 0.461 0.965 30.867 0.000 0.375 0.000 0.000 0.244 0.000

Problem 496

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

199 250 307 222 0 2229 0 0 93 0

N.S.

1 1.26 1.54 1.12 0.00 11.20 0.00 0.00 0.47 0.00

time (sec)

N/A 0.487 3.547 0.111 0.000 0.401 0.000 0.000 0.228 0.000

Problem 497

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

398 414 321 1619 0 621 0 0 93 0

N.S.

1 1.04 0.81 4.07 0.00 1.56 0.00 0.00 0.23 0.00

time (sec)

N/A 2.330 1.435 24.485 0.000 0.148 0.000 0.000 0.208 0.000

Problem 498

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

299 307 239 1190 0 524 0 0 93 0

N.S.

1 1.03 0.80 3.98 0.00 1.75 0.00 0.00 0.31 0.00

time (sec)

N/A 1.718 1.118 3.638 0.000 0.197 0.000 0.000 0.211 0.000

Problem 499

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

203 217 203 1042 0 462 0 0 93 0

N.S.

1 1.07 1.00 5.13 0.00 2.28 0.00 0.00 0.46 0.00

time (sec)

N/A 1.062 1.037 5.996 0.000 0.113 0.000 0.000 0.238 0.000

Problem 500

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

238 241 259 1249 0 510 0 0 93 0

N.S.

1 1.01 1.09 5.25 0.00 2.14 0.00 0.00 0.39 0.00

time (sec)

N/A 1.232 3.837 99.114 0.000 0.114 0.000 0.000 0.239 0.000

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