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

2.2.21 Integrals 2001 to 2100

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 2001

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

141 158 116 148 0 253 0 0 0

N.S.

1 1.12 0.82 1.05 0.00 1.79 0.00 0.00 0.00

time (sec)

N/A 0.289 0.418 0.584 0.000 0.306 0.000 0.000 0.000

Problem 2002

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

141 0 141 175 0 411 0 0 0

N.S.

1 0.00 1.00 1.24 0.00 2.91 0.00 0.00 0.00

time (sec)

N/A 0.000 1.722 14.010 0.000 6.228 0.000 0.000 0.000

Problem 2003

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

141 0 135 173 0 0 0 0 0

N.S.

1 0.00 0.96 1.23 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 8.231 0.556 0.000 0.000 0.000 0.000 0.000

Problem 2004

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

141 163 131 189 0 646 0 177 0

N.S.

1 1.16 0.93 1.34 0.00 4.58 0.00 1.26 0.00

time (sec)

N/A 0.413 0.472 8.063 0.000 20.392 0.000 0.338 0.000

Problem 2005

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

141 657 142 91 53 0 0 52 49

N.S.

1 4.66 1.01 0.65 0.38 0.00 0.00 0.37 0.35

time (sec)

N/A 1.807 1.402 0.398 0.278 0.000 0.000 2.335 6.494

Problem 2006

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

141 180 117 0 0 129 0 0 0

N.S.

1 1.28 0.83 0.00 0.00 0.91 0.00 0.00 0.00

time (sec)

N/A 0.603 0.170 0.000 0.000 0.263 0.000 0.000 0.000

Problem 2007

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

142 165 208 140 0 263 0 90 0

N.S.

1 1.16 1.46 0.99 0.00 1.85 0.00 0.63 0.00

time (sec)

N/A 0.453 1.622 15.699 0.000 1.218 0.000 0.403 0.000

Problem 2008

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

142 112 142 155 133 0 114 0 66

N.S.

1 0.79 1.00 1.09 0.94 0.00 0.80 0.00 0.46

time (sec)

N/A 0.225 0.255 0.715 0.281 0.000 1.591 0.000 6.728

Problem 2009

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

142 539 114 0 0 0 0 0 0

N.S.

1 3.80 0.80 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.100 0.371 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2010

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

142 0 136 159 0 0 0 0 0

N.S.

1 0.00 0.96 1.12 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 7.049 0.633 0.000 0.000 0.000 0.000 0.000

Problem 2011

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

142 0 142 123 0 344 0 0 0

N.S.

1 0.00 1.00 0.87 0.00 2.42 0.00 0.00 0.00

time (sec)

N/A 0.000 1.353 9.309 0.000 32.325 0.000 0.000 0.000

Problem 2012

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

142 0 142 0 0 0 0 0 0

N.S.

1 0.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.336 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2013

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 127 143 140 0 281 0 0 0

N.S.

1 0.89 1.00 0.98 0.00 1.97 0.00 0.00 0.00

time (sec)

N/A 0.273 0.331 14.702 0.000 1.743 0.000 0.000 0.000

Problem 2014

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

143 0 143 179 0 0 0 0 0

N.S.

1 0.00 1.00 1.25 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.299 201.348 0.000 0.000 0.000 0.000 0.000

Problem 2015

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

143 0 127 118 0 174 0 0 0

N.S.

1 0.00 0.89 0.83 0.00 1.22 0.00 0.00 0.00

time (sec)

N/A 0.000 0.543 1.020 0.000 0.261 0.000 0.000 0.000

Problem 2016

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

143 0 117 129 0 404 0 0 0

N.S.

1 0.00 0.82 0.90 0.00 2.83 0.00 0.00 0.00

time (sec)

N/A 0.000 1.258 94.495 0.000 69.243 0.000 0.000 0.000

Problem 2017

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

143 141 132 152 0 623 0 241 0

N.S.

1 0.99 0.92 1.06 0.00 4.36 0.00 1.69 0.00

time (sec)

N/A 0.598 5.818 0.609 0.000 85.925 0.000 0.298 0.000

Problem 2018

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

143 272 143 119 0 276 0 0 0

N.S.

1 1.90 1.00 0.83 0.00 1.93 0.00 0.00 0.00

time (sec)

N/A 0.553 0.349 13.595 0.000 1.741 0.000 0.000 0.000

Problem 2019

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 483 143 119 0 271 0 0 0

N.S.

1 3.38 1.00 0.83 0.00 1.90 0.00 0.00 0.00

time (sec)

N/A 1.226 0.345 14.365 0.000 1.747 0.000 0.000 0.000

Problem 2020

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

143 589 144 97 39 0 41 39 39

N.S.

1 4.12 1.01 0.68 0.27 0.00 0.29 0.27 0.27

time (sec)

N/A 0.986 0.733 0.398 0.252 0.000 10.628 2.330 6.100

Problem 2021

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

143 589 144 97 39 0 41 39 39

N.S.

1 4.12 1.01 0.68 0.27 0.00 0.29 0.27 0.27

time (sec)

N/A 0.742 0.002 0.498 0.248 0.000 11.568 2.334 0.003

Problem 2022

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

143 0 106 0 0 64 0 0 0

N.S.

1 0.00 0.74 0.00 0.00 0.45 0.00 0.00 0.00

time (sec)

N/A 0.000 0.256 0.000 0.000 1.893 0.000 0.000 0.000

Problem 2023

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 134 140 139 0 267 0 0 0

N.S.

1 0.93 0.97 0.97 0.00 1.85 0.00 0.00 0.00

time (sec)

N/A 0.732 0.354 13.998 0.000 4.608 0.000 0.000 0.000

Problem 2024

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 222 122 111 0 168 0 159 0

N.S.

1 1.54 0.85 0.77 0.00 1.17 0.00 1.10 0.00

time (sec)

N/A 0.462 0.295 0.766 0.000 0.637 0.000 0.330 0.000

Problem 2025

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No No Yes TBD TBD TBD TBD TBD

size

144 237 75 155 0 426 0 162 0

N.S.

1 1.65 0.52 1.08 0.00 2.96 0.00 1.12 0.00

time (sec)

N/A 0.539 10.040 1.236 0.000 134.328 0.000 0.306 0.000

Problem 2026

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

144 0 144 1486 0 0 0 0 0

N.S.

1 0.00 1.00 10.32 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 9.443 46.129 0.000 0.000 0.000 0.000 0.000

Problem 2027

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

144 0 116 110 71 172 0 152 202

N.S.

1 0.00 0.81 0.76 0.49 1.19 0.00 1.06 1.40

time (sec)

N/A 0.000 0.755 0.424 0.264 0.254 0.000 0.338 6.175

Problem 2028

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

144 0 103 31 0 282 46 0 0

N.S.

1 0.00 0.72 0.22 0.00 1.96 0.32 0.00 0.00

time (sec)

N/A 0.000 0.249 0.033 0.000 25.649 0.748 0.000 0.000

Problem 2029

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

145 224 136 167 175 120 48 175 64

N.S.

1 1.54 0.94 1.15 1.21 0.83 0.33 1.21 0.44

time (sec)

N/A 0.389 0.199 0.458 0.279 0.247 0.738 0.258 6.120

Problem 2030

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

145 211 136 159 178 152 48 175 64

N.S.

1 1.46 0.94 1.10 1.23 1.05 0.33 1.21 0.44

time (sec)

N/A 0.369 0.148 0.290 0.265 0.256 0.836 0.274 6.061

Problem 2031

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

145 0 141 125 0 433 0 0 0

N.S.

1 0.00 0.97 0.86 0.00 2.99 0.00 0.00 0.00

time (sec)

N/A 0.000 2.571 78.217 0.000 84.115 0.000 0.000 0.000

Problem 2032

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

145 211 136 159 178 152 46 175 64

N.S.

1 1.46 0.94 1.10 1.23 1.05 0.32 1.21 0.44

time (sec)

N/A 0.369 0.148 0.345 0.289 0.261 0.855 0.280 6.082

Problem 2033

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

145 0 66 94 0 0 0 0 0

N.S.

1 0.00 0.46 0.65 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 10.421 1.743 0.000 0.000 0.000 0.000 0.000

Problem 2034

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

145 211 136 159 178 152 48 175 64

N.S.

1 1.46 0.94 1.10 1.23 1.05 0.33 1.21 0.44

time (sec)

N/A 0.378 0.156 0.329 0.275 0.250 0.792 0.285 6.041

Problem 2035

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 132 141 139 0 277 0 0 0

N.S.

1 0.91 0.97 0.96 0.00 1.91 0.00 0.00 0.00

time (sec)

N/A 0.539 0.329 13.802 0.000 2.061 0.000 0.000 0.000

Problem 2036

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

145 0 136 121 0 478 0 0 0

N.S.

1 0.00 0.94 0.83 0.00 3.30 0.00 0.00 0.00

time (sec)

N/A 0.000 0.374 24.708 0.000 27.357 0.000 0.000 0.000

Problem 2037

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

145 211 136 160 178 152 48 175 64

N.S.

1 1.46 0.94 1.10 1.23 1.05 0.33 1.21 0.44

time (sec)

N/A 0.371 0.167 0.333 0.291 0.279 0.978 0.271 6.142

Problem 2038

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

145 271 228 68 0 128 0 133 0

N.S.

1 1.87 1.57 0.47 0.00 0.88 0.00 0.92 0.00

time (sec)

N/A 0.429 8.120 1.163 0.000 90.853 0.000 0.292 0.000

Problem 2039

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

145 0 191 0 0 0 0 0 0

N.S.

1 0.00 1.32 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 18.079 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2040

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 137 156 114 0 377 0 100 0

N.S.

1 0.94 1.07 0.78 0.00 2.58 0.00 0.68 0.00

time (sec)

N/A 0.255 0.309 0.750 0.000 0.301 0.000 0.316 0.000

Problem 2041

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

146 0 146 149 0 204 0 0 0

N.S.

1 0.00 1.00 1.02 0.00 1.40 0.00 0.00 0.00

time (sec)

N/A 0.000 0.179 6.645 0.000 1.988 0.000 0.000 0.000

Problem 2042

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

146 0 142 125 0 410 0 0 0

N.S.

1 0.00 0.97 0.86 0.00 2.81 0.00 0.00 0.00

time (sec)

N/A 0.000 2.634 104.217 0.000 70.794 0.000 0.000 0.000

Problem 2043

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

146 0 198 203 0 198 0 0 0

N.S.

1 0.00 1.36 1.39 0.00 1.36 0.00 0.00 0.00

time (sec)

N/A 0.000 3.271 12.062 0.000 1.801 0.000 0.000 0.000

Problem 2044

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

146 0 132 0 0 0 0 0 0

N.S.

1 0.00 0.90 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 1.570 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2045

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

146 0 194 0 0 594 0 0 0

N.S.

1 0.00 1.33 0.00 0.00 4.07 0.00 0.00 0.00

time (sec)

N/A 0.000 0.402 0.000 0.000 17.030 0.000 0.000 0.000

Problem 2046

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 137 156 115 0 185 0 99 0

N.S.

1 0.93 1.06 0.78 0.00 1.26 0.00 0.67 0.00

time (sec)

N/A 0.318 0.318 0.326 0.000 0.265 0.000 0.306 0.000

Problem 2047

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

147 417 173 130 28 484 26 0 28

N.S.

1 2.84 1.18 0.88 0.19 3.29 0.18 0.00 0.19

time (sec)

N/A 0.859 0.285 19.635 0.214 0.277 2.648 0.000 5.623

Problem 2048

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

147 417 173 130 28 484 26 0 28

N.S.

1 2.84 1.18 0.88 0.19 3.29 0.18 0.00 0.19

time (sec)

N/A 0.703 0.002 24.589 0.228 0.270 2.583 0.000 0.002

Problem 2049

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 460 147 197 0 1553 0 0 0

N.S.

1 3.13 1.00 1.34 0.00 10.56 0.00 0.00 0.00

time (sec)

N/A 1.369 1.097 0.509 0.000 0.529 0.000 0.000 0.000

Problem 2050

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 460 147 197 0 1557 0 0 0

N.S.

1 3.13 1.00 1.34 0.00 10.59 0.00 0.00 0.00

time (sec)

N/A 1.292 1.093 0.528 0.000 0.572 0.000 0.000 0.000

Problem 2051

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

147 526 159 116 27 485 20 383 27

N.S.

1 3.58 1.08 0.79 0.18 3.30 0.14 2.61 0.18

time (sec)

N/A 1.428 0.323 7.821 0.224 0.274 1.209 0.322 5.661

Problem 2052

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

147 526 159 116 27 485 20 383 27

N.S.

1 3.58 1.08 0.79 0.18 3.30 0.14 2.61 0.18

time (sec)

N/A 1.403 0.001 31.794 0.218 0.271 1.273 0.320 0.002

Problem 2053

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

147 0 147 130 0 0 0 0 0

N.S.

1 0.00 1.00 0.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 1.993 0.885 0.000 0.000 0.000 0.000 0.000

Problem 2054

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

147 0 0 485 0 103 0 0 0

N.S.

1 0.00 0.00 3.30 0.00 0.70 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 6.574 0.000 2.035 0.000 0.000 0.000

Problem 2055

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

147 459 146 84 34 0 27 34 36

N.S.

1 3.12 0.99 0.57 0.23 0.00 0.18 0.23 0.24

time (sec)

N/A 1.082 1.829 0.379 0.245 0.000 27.952 0.307 5.975

Problem 2056

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

147 222 157 217 29 417 27 208 29

N.S.

1 1.51 1.07 1.48 0.20 2.84 0.18 1.41 0.20

time (sec)

N/A 1.001 0.242 0.227 0.233 4.261 15.798 0.759 6.266

Problem 2057

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

147 222 157 217 29 417 27 208 29

N.S.

1 1.51 1.07 1.48 0.20 2.84 0.18 1.41 0.20

time (sec)

N/A 0.818 0.003 0.181 0.247 4.213 15.733 0.780 0.002

Problem 2058

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

147 212 111 0 0 133 0 0 0

N.S.

1 1.44 0.76 0.00 0.00 0.90 0.00 0.00 0.00

time (sec)

N/A 0.363 0.214 0.000 0.000 0.286 0.000 0.000 0.000

Problem 2059

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

147 0 0 0 0 260 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 1.77 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.278 0.000 0.000 0.000

Problem 2060

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

148 203 161 122 25 502 26 362 25

N.S.

1 1.37 1.09 0.82 0.17 3.39 0.18 2.45 0.17

time (sec)

N/A 9.022 0.338 8.762 0.311 0.289 1.978 0.384 6.040

Problem 2061

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 239 168 159 0 331 0 296 111

N.S.

1 1.61 1.14 1.07 0.00 2.24 0.00 2.00 0.75

time (sec)

N/A 0.481 0.659 0.436 0.000 0.277 0.000 0.314 6.701

Problem 2062

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 131 145 157 0 303 0 0 0

N.S.

1 0.88 0.97 1.05 0.00 2.03 0.00 0.00 0.00

time (sec)

N/A 0.267 0.386 14.117 0.000 2.124 0.000 0.000 0.000

Problem 2063

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 130 149 140 0 279 0 0 0

N.S.

1 0.87 1.00 0.94 0.00 1.87 0.00 0.00 0.00

time (sec)

N/A 0.268 0.337 13.796 0.000 1.867 0.000 0.000 0.000

Problem 2064

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

149 0 149 2146 0 279 0 0 0

N.S.

1 0.00 1.00 14.40 0.00 1.87 0.00 0.00 0.00

time (sec)

N/A 0.000 10.535 2.898 0.000 2.531 0.000 0.000 0.000

Problem 2065

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

149 173 152 143 0 693 0 0 0

N.S.

1 1.16 1.02 0.96 0.00 4.65 0.00 0.00 0.00

time (sec)

N/A 0.482 0.797 0.539 0.000 0.334 0.000 0.000 0.000

Problem 2066

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

149 175 117 125 0 0 0 272 0

N.S.

1 1.17 0.79 0.84 0.00 0.00 0.00 1.83 0.00

time (sec)

N/A 1.181 15.847 0.701 0.000 0.000 0.000 0.309 0.000

Problem 2067

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

149 0 149 2496 0 0 0 0 0

N.S.

1 0.00 1.00 16.75 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 1.504 10.474 0.000 0.000 0.000 0.000 0.000

Problem 2068

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

149 0 81 0 0 264 0 0 0

N.S.

1 0.00 0.54 0.00 0.00 1.77 0.00 0.00 0.00

time (sec)

N/A 0.000 0.171 0.000 0.000 145.277 0.000 0.000 0.000

Problem 2069

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

149 0 149 0 0 0 0 0 0

N.S.

1 0.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.293 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2070

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

150 212 141 172 181 203 44 196 69

N.S.

1 1.41 0.94 1.15 1.21 1.35 0.29 1.31 0.46

time (sec)

N/A 0.368 0.283 0.400 0.294 0.266 0.844 0.276 6.275

Problem 2071

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 132 134 141 0 290 0 0 0

N.S.

1 0.88 0.89 0.94 0.00 1.93 0.00 0.00 0.00

time (sec)

N/A 0.273 0.342 13.191 0.000 1.819 0.000 0.000 0.000

Problem 2072

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 133 133 167 0 278 0 0 0

N.S.

1 0.89 0.89 1.11 0.00 1.85 0.00 0.00 0.00

time (sec)

N/A 0.267 0.328 13.589 0.000 2.016 0.000 0.000 0.000

Problem 2073

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

150 220 145 180 182 189 44 195 69

N.S.

1 1.47 0.97 1.20 1.21 1.26 0.29 1.30 0.46

time (sec)

N/A 0.368 0.260 0.455 0.267 0.260 0.823 0.270 6.180

Problem 2074

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

150 212 141 172 181 198 44 196 69

N.S.

1 1.41 0.94 1.15 1.21 1.32 0.29 1.31 0.46

time (sec)

N/A 0.367 0.185 0.440 0.273 0.261 0.931 0.282 6.112

Problem 2075

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

150 0 0 109 0 0 0 0 0

N.S.

1 0.00 0.00 0.73 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 1.225 0.000 0.000 0.000 0.000 0.000

Problem 2076

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

150 212 149 172 181 203 44 196 69

N.S.

1 1.41 0.99 1.15 1.21 1.35 0.29 1.31 0.46

time (sec)

N/A 0.364 0.280 0.457 0.283 0.275 1.151 0.277 6.621

Problem 2077

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

150 212 141 174 181 198 44 196 69

N.S.

1 1.41 0.94 1.16 1.21 1.32 0.29 1.31 0.46

time (sec)

N/A 0.370 0.182 0.385 0.280 0.262 1.283 0.284 6.415

Problem 2078

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

150 0 180 119 0 390 0 0 0

N.S.

1 0.00 1.20 0.79 0.00 2.60 0.00 0.00 0.00

time (sec)

N/A 0.000 3.523 229.081 0.000 5.085 0.000 0.000 0.000

Problem 2079

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

150 503 145 135 40 4684 36 40 42

N.S.

1 3.35 0.97 0.90 0.27 31.23 0.24 0.27 0.28

time (sec)

N/A 1.280 1.041 0.378 0.225 0.666 118.193 0.942 6.638

Problem 2080

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

150 501 145 134 41 5410 34 41 41

N.S.

1 3.34 0.97 0.89 0.27 36.07 0.23 0.27 0.27

time (sec)

N/A 1.294 1.034 0.526 0.222 0.558 129.567 1.538 6.521

Problem 2081

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

150 501 145 134 41 5410 34 41 41

N.S.

1 3.34 0.97 0.89 0.27 36.07 0.23 0.27 0.27

time (sec)

N/A 1.037 0.001 0.294 0.214 0.568 132.576 1.543 0.002

Problem 2082

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 400 152 181 0 651 0 0 0

N.S.

1 2.67 1.01 1.21 0.00 4.34 0.00 0.00 0.00

time (sec)

N/A 0.920 0.620 0.559 0.000 1.149 0.000 0.000 0.000

Problem 2083

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 400 152 181 0 651 0 0 0

N.S.

1 2.67 1.01 1.21 0.00 4.34 0.00 0.00 0.00

time (sec)

N/A 0.892 0.662 2.945 0.000 1.152 0.000 0.000 0.000

Problem 2084

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

150 0 179 0 0 138 0 0 0

N.S.

1 0.00 1.19 0.00 0.00 0.92 0.00 0.00 0.00

time (sec)

N/A 0.000 3.337 0.000 0.000 0.254 0.000 0.000 0.000

Problem 2085

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

151 232 144 158 195 168 80 189 78

N.S.

1 1.54 0.95 1.05 1.29 1.11 0.53 1.25 0.52

time (sec)

N/A 0.396 0.211 0.298 0.266 0.275 10.279 0.278 6.687

Problem 2086

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

151 0 151 140 0 420 0 0 0

N.S.

1 0.00 1.00 0.93 0.00 2.78 0.00 0.00 0.00

time (sec)

N/A 0.000 0.383 16.006 0.000 8.451 0.000 0.000 0.000

Problem 2087

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

151 0 155 76 0 338 0 235 0

N.S.

1 0.00 1.03 0.50 0.00 2.24 0.00 1.56 0.00

time (sec)

N/A 0.000 0.625 0.301 0.000 0.254 0.000 0.329 0.000

Problem 2088

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

151 1785 109 160 0 1197 0 0 0

N.S.

1 11.82 0.72 1.06 0.00 7.93 0.00 0.00 0.00

time (sec)

N/A 4.394 13.497 0.964 0.000 0.323 0.000 0.000 0.000

Problem 2089

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 100 181 37 0 1640 0 0 0

N.S.

1 0.66 1.20 0.25 0.00 10.86 0.00 0.00 0.00

time (sec)

N/A 0.551 0.920 26.159 0.000 14.481 0.000 0.000 0.000

Problem 2090

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 545 151 131 0 297 0 0 0

N.S.

1 3.61 1.00 0.87 0.00 1.97 0.00 0.00 0.00

time (sec)

N/A 2.155 0.436 14.031 0.000 1.886 0.000 0.000 0.000

Problem 2091

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 468 151 131 0 294 0 0 0

N.S.

1 3.10 1.00 0.87 0.00 1.95 0.00 0.00 0.00

time (sec)

N/A 2.026 0.455 13.601 0.000 1.944 0.000 0.000 0.000

Problem 2092

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

151 0 145 187 0 0 0 0 0

N.S.

1 0.00 0.96 1.24 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 8.260 0.591 0.000 0.000 0.000 0.000 0.000

Problem 2093

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

151 139 130 0 0 0 0 288 0

N.S.

1 0.92 0.86 0.00 0.00 0.00 0.00 1.91 0.00

time (sec)

N/A 0.568 0.298 0.000 0.000 0.000 0.000 0.303 0.000

Problem 2094

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

151 0 128 0 0 236 0 0 0

N.S.

1 0.00 0.85 0.00 0.00 1.56 0.00 0.00 0.00

time (sec)

N/A 0.000 0.765 0.000 0.000 1.492 0.000 0.000 0.000

Problem 2095

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

151 0 128 0 0 236 0 0 0

N.S.

1 0.00 0.85 0.00 0.00 1.56 0.00 0.00 0.00

time (sec)

N/A 0.000 0.647 0.000 0.000 1.439 0.000 0.000 0.000

Problem 2096

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

152 229 143 0 0 0 0 0 0

N.S.

1 1.51 0.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.631 0.237 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2097

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

152 0 108 70 0 156 0 1 0

N.S.

1 0.00 0.71 0.46 0.00 1.03 0.00 0.01 0.00

time (sec)

N/A 0.000 0.538 0.322 0.000 0.262 0.000 0.325 0.000

Problem 2098

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

152 0 146 193 0 0 0 0 0

N.S.

1 0.00 0.96 1.27 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 1.130 0.473 0.000 0.000 0.000 0.000 0.000

Problem 2099

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 22 139 165 0 603 0 0 0

N.S.

1 0.14 0.91 1.09 0.00 3.97 0.00 0.00 0.00

time (sec)

N/A 0.145 0.476 24.621 0.000 10.116 0.000 0.000 0.000

Problem 2100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 282 142 33 0 1100 0 0 0

N.S.

1 1.86 0.93 0.22 0.00 7.24 0.00 0.00 0.00

time (sec)

N/A 0.477 0.548 10.325 0.000 8.180 0.000 0.000 0.000

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