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

Integrals 101 to 178

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

120 145 81 0 0 0 0 0 29 0

N.S.

1 1.21 0.68 0.00 0.00 0.00 0.00 0.00 0.24 0.00

time (sec)

N/A 0.745 0.790 0.000 0.000 0.000 0.000 0.000 0.218 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

201 258 149 768 205 7798 0 1823 31 411

N.S.

1 1.28 0.74 3.82 1.02 38.80 0.00 9.07 0.15 2.04

time (sec)

N/A 0.673 0.915 0.813 0.065 0.638 0.000 0.198 0.219 4.723

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

93 113 89 143 94 1289 1316 890 31 112

N.S.

1 1.22 0.96 1.54 1.01 13.86 14.15 9.57 0.33 1.20

time (sec)

N/A 0.336 0.333 0.279 0.041 0.102 23.483 0.152 0.219 4.953

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

132 169 102 325 134 2216 1476 1211 29 162

N.S.

1 1.28 0.77 2.46 1.02 16.79 11.18 9.17 0.22 1.23

time (sec)

N/A 0.333 0.628 34.589 0.048 0.181 3.417 0.168 0.221 3.409

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

93 132 85 90 94 699 707 889 23 100

N.S.

1 1.42 0.91 0.97 1.01 7.52 7.60 9.56 0.25 1.08

time (sec)

N/A 0.287 0.118 0.988 0.044 0.090 1.246 0.145 0.221 0.003

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

134 139 158 0 0 0 0 0 27 0

N.S.

1 1.04 1.18 0.00 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 0.475 7.800 0.000 0.000 0.000 0.000 0.000 0.233 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

101 133 92 0 0 0 0 0 23 0

N.S.

1 1.32 0.91 0.00 0.00 0.00 0.00 0.00 0.23 0.00

time (sec)

N/A 0.350 0.811 0.000 0.000 0.000 0.000 0.000 0.206 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

166 202 145 0 0 0 0 0 29 0

N.S.

1 1.22 0.87 0.00 0.00 0.00 0.00 0.00 0.17 0.00

time (sec)

N/A 0.540 2.207 0.000 0.000 0.000 0.000 0.000 0.221 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

139 179 163 329 143 4202 0 1225 31 246

N.S.

1 1.29 1.17 2.37 1.03 30.23 0.00 8.81 0.22 1.77

time (sec)

N/A 0.359 1.014 0.566 0.054 0.204 0.000 0.169 0.268 4.055

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

201 258 150 766 205 7786 0 1823 31 411

N.S.

1 1.28 0.75 3.81 1.02 38.74 0.00 9.07 0.15 2.04

time (sec)

N/A 0.419 0.880 1.033 0.062 0.702 0.000 0.185 0.240 4.752

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

139 179 108 329 143 2892 1926 1225 29 177

N.S.

1 1.29 0.78 2.37 1.03 20.81 13.86 8.81 0.21 1.27

time (sec)

N/A 0.345 0.835 231.615 0.049 0.172 24.649 0.174 0.210 5.070

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

132 190 159 148 134 2218 1658 1211 23 154

N.S.

1 1.44 1.20 1.12 1.02 16.80 12.56 9.17 0.17 1.17

time (sec)

N/A 0.549 0.374 2.094 0.054 0.160 3.320 0.156 0.234 0.002

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

160 169 141 0 0 0 0 0 29 0

N.S.

1 1.06 0.88 0.00 0.00 0.00 0.00 0.00 0.18 0.00

time (sec)

N/A 0.848 0.424 0.000 0.000 0.000 0.000 0.000 0.232 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

181 210 182 0 0 0 0 0 29 0

N.S.

1 1.16 1.01 0.00 0.00 0.00 0.00 0.00 0.16 0.00

time (sec)

N/A 0.894 1.827 0.000 0.000 0.000 0.000 0.000 0.220 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

157 189 147 0 0 0 0 0 23 0

N.S.

1 1.20 0.94 0.00 0.00 0.00 0.00 0.00 0.15 0.00

time (sec)

N/A 0.498 1.004 0.000 0.000 0.000 0.000 0.000 0.224 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

163 172 142 0 0 0 0 0 29 0

N.S.

1 1.06 0.87 0.00 0.00 0.00 0.00 0.00 0.18 0.00

time (sec)

N/A 0.546 0.532 0.000 0.000 0.000 0.000 0.000 0.229 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

136 141 108 0 0 0 0 0 27 0

N.S.

1 1.04 0.79 0.00 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 0.475 1.071 0.000 0.000 0.000 0.000 0.000 0.209 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

80 79 61 0 0 0 0 0 21 0

N.S.

1 0.99 0.76 0.00 0.00 0.00 0.00 0.00 0.26 0.00

time (sec)

N/A 0.277 0.116 0.000 0.000 0.000 0.000 0.000 0.226 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

69 68 70 0 0 0 0 0 21 0

N.S.

1 0.99 1.01 0.00 0.00 0.00 0.00 0.00 0.30 0.00

time (sec)

N/A 0.215 0.008 0.000 0.000 0.000 0.000 0.000 0.222 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

72 186 96 0 0 0 0 0 27 0

N.S.

1 2.58 1.33 0.00 0.00 0.00 0.00 0.00 0.38 0.00

time (sec)

N/A 0.629 2.983 0.000 0.000 0.000 0.000 0.000 0.244 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

194 145 180 0 0 0 0 0 29 0

N.S.

1 0.75 0.93 0.00 0.00 0.00 0.00 0.00 0.15 0.00

time (sec)

N/A 0.471 1.213 0.000 0.000 0.000 0.000 0.000 0.261 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

253 187 152 0 0 0 0 0 29 0

N.S.

1 0.74 0.60 0.00 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 0.666 0.904 0.000 0.000 0.000 0.000 0.000 0.220 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

181 214 185 0 0 0 0 0 29 0

N.S.

1 1.18 1.02 0.00 0.00 0.00 0.00 0.00 0.16 0.00

time (sec)

N/A 0.937 0.830 0.000 0.000 0.000 0.000 0.000 0.270 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

101 137 94 0 0 0 0 0 23 0

N.S.

1 1.36 0.93 0.00 0.00 0.00 0.00 0.00 0.23 0.00

time (sec)

N/A 0.569 0.782 0.000 0.000 0.000 0.000 0.000 0.229 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

112 144 92 0 0 0 0 0 27 0

N.S.

1 1.29 0.82 0.00 0.00 0.00 0.00 0.00 0.24 0.00

time (sec)

N/A 0.717 1.403 0.000 0.000 0.000 0.000 0.000 0.268 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 70 70 0 0 0 0 0 23 0

N.S.

1 0.95 0.95 0.00 0.00 0.00 0.00 0.00 0.31 0.00

time (sec)

N/A 0.363 0.009 0.000 0.000 0.000 0.000 0.000 0.210 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

192 147 179 0 0 0 0 0 29 0

N.S.

1 0.77 0.93 0.00 0.00 0.00 0.00 0.00 0.15 0.00

time (sec)

N/A 0.553 0.927 0.000 0.000 0.000 0.000 0.000 0.233 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

72 384 61 0 0 0 0 0 31 0

N.S.

1 5.33 0.85 0.00 0.00 0.00 0.00 0.00 0.43 0.00

time (sec)

N/A 0.998 0.616 0.000 0.000 0.000 0.000 0.000 0.219 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

301 291 237 0 0 0 0 0 31 0

N.S.

1 0.97 0.79 0.00 0.00 0.00 0.00 0.00 0.10 0.00

time (sec)

N/A 0.745 3.156 0.000 0.000 0.000 0.000 0.000 0.240 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

155 195 150 0 0 0 0 0 23 0

N.S.

1 1.26 0.97 0.00 0.00 0.00 0.00 0.00 0.15 0.00

time (sec)

N/A 0.432 1.290 0.000 0.000 0.000 0.000 0.000 0.256 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

164 208 148 0 0 0 0 0 29 0

N.S.

1 1.27 0.90 0.00 0.00 0.00 0.00 0.00 0.18 0.00

time (sec)

N/A 0.554 0.878 0.000 0.000 0.000 0.000 0.000 0.212 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

120 149 84 0 0 0 0 0 29 0

N.S.

1 1.24 0.70 0.00 0.00 0.00 0.00 0.00 0.24 0.00

time (sec)

N/A 0.486 0.531 0.000 0.000 0.000 0.000 0.000 0.213 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 139 96 0 0 0 0 0 23 0

N.S.

1 1.88 1.30 0.00 0.00 0.00 0.00 0.00 0.31 0.00

time (sec)

N/A 0.439 0.144 0.000 0.000 0.000 0.000 0.000 0.212 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

249 191 153 0 0 0 0 0 29 0

N.S.

1 0.77 0.61 0.00 0.00 0.00 0.00 0.00 0.12 0.00

time (sec)

N/A 1.025 0.895 0.000 0.000 0.000 0.000 0.000 0.234 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

312 293 271 0 0 0 0 0 31 0

N.S.

1 0.94 0.87 0.00 0.00 0.00 0.00 0.00 0.10 0.00

time (sec)

N/A 0.978 4.093 0.000 0.000 0.000 0.000 0.000 0.219 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

72 594 144 0 0 0 0 0 31 0

N.S.

1 8.25 2.00 0.00 0.00 0.00 0.00 0.00 0.43 0.00

time (sec)

N/A 1.617 2.454 0.000 0.000 0.000 0.000 0.000 0.214 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

113 101 68 129 0 322 570 0 54 169

N.S.

1 0.89 0.60 1.14 0.00 2.85 5.04 0.00 0.48 1.50

time (sec)

N/A 0.288 0.408 1.167 0.000 0.095 12.620 0.000 0.233 2.976

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

44 0 44 41 28 103 0 0 33 71

N.S.

1 0.00 1.00 0.93 0.64 2.34 0.00 0.00 0.75 1.61

time (sec)

N/A 0.000 1.306 1.480 0.155 0.081 0.000 0.000 0.216 2.683

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

92 91 178 0 0 0 0 0 25 0

N.S.

1 0.99 1.93 0.00 0.00 0.00 0.00 0.00 0.27 0.00

time (sec)

N/A 0.269 0.695 0.000 0.000 0.000 0.000 0.000 0.211 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

113 101 75 126 0 321 644 0 54 171

N.S.

1 0.89 0.66 1.12 0.00 2.84 5.70 0.00 0.48 1.51

time (sec)

N/A 0.279 0.400 1.239 0.000 0.103 13.413 0.000 0.226 2.804

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

44 0 44 41 28 103 0 0 33 71

N.S.

1 0.00 1.00 0.93 0.64 2.34 0.00 0.00 0.75 1.61

time (sec)

N/A 0.000 1.354 1.481 0.142 0.080 0.000 0.000 0.246 2.594

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

94 93 95 0 0 0 0 0 25 0

N.S.

1 0.99 1.01 0.00 0.00 0.00 0.00 0.00 0.27 0.00

time (sec)

N/A 0.277 0.067 0.000 0.000 0.000 0.000 0.000 0.222 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

130 105 87 0 0 0 0 0 25 0

N.S.

1 0.81 0.67 0.00 0.00 0.00 0.00 0.00 0.19 0.00

time (sec)

N/A 0.343 0.762 0.000 0.000 0.000 0.000 0.000 0.219 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

44 0 44 41 28 72 0 0 33 77

N.S.

1 0.00 1.00 0.93 0.64 1.64 0.00 0.00 0.75 1.75

time (sec)

N/A 0.000 2.842 1.075 0.073 0.082 0.000 0.000 0.318 2.742

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

128 103 85 0 0 0 0 0 25 0

N.S.

1 0.80 0.66 0.00 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 0.347 0.737 0.000 0.000 0.000 0.000 0.000 0.205 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

121 0 105 0 0 0 0 0 124 0

N.S.

1 0.00 0.87 0.00 0.00 0.00 0.00 0.00 1.02 0.00

time (sec)

N/A 0.000 2.781 0.000 0.000 0.000 0.000 0.000 0.219 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

249 0 0 0 0 0 0 0 33 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.220 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

244 0 0 0 0 0 0 0 33 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.14 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.232 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

119 0 0 0 0 0 0 0 33 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.28 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.226 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

209 0 202 0 0 0 0 0 33 0

N.S.

1 0.00 0.97 0.00 0.00 0.00 0.00 0.00 0.16 0.00

time (sec)

N/A 0.000 2.121 0.000 0.000 0.000 0.000 0.000 0.238 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

107 0 117 0 0 0 0 0 33 0

N.S.

1 0.00 1.09 0.00 0.00 0.00 0.00 0.00 0.31 0.00

time (sec)

N/A 0.000 1.530 0.000 0.000 0.000 0.000 0.000 0.246 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

107 0 113 0 0 0 0 0 33 0

N.S.

1 0.00 1.06 0.00 0.00 0.00 0.00 0.00 0.31 0.00

time (sec)

N/A 0.000 3.417 0.000 0.000 0.000 0.000 0.000 0.244 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

132 0 0 0 0 0 0 0 110 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.83 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.262 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

107 0 113 0 0 0 0 0 149 0

N.S.

1 0.00 1.06 0.00 0.00 0.00 0.00 0.00 1.39 0.00

time (sec)

N/A 0.000 1.572 0.000 0.000 0.000 0.000 0.000 0.286 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

207 0 195 0 0 0 0 0 149 0

N.S.

1 0.00 0.94 0.00 0.00 0.00 0.00 0.00 0.72 0.00

time (sec)

N/A 0.000 2.107 0.000 0.000 0.000 0.000 0.000 0.294 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

147 0 0 0 0 0 0 0 110 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.75 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.266 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

107 0 110 0 0 0 0 0 33 0

N.S.

1 0.00 1.03 0.00 0.00 0.00 0.00 0.00 0.31 0.00

time (sec)

N/A 0.000 3.311 0.000 0.000 0.000 0.000 0.000 0.247 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

127 125 122 0 0 0 0 0 113 0

N.S.

1 0.98 0.96 0.00 0.00 0.00 0.00 0.00 0.89 0.00

time (sec)

N/A 0.969 0.070 0.000 0.000 0.000 0.000 0.000 0.224 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

118 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.31 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.229 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

106 140 114 0 0 0 0 0 30 0

N.S.

1 1.32 1.08 0.00 0.00 0.00 0.00 0.00 0.28 0.00

time (sec)

N/A 0.671 0.101 0.000 0.000 0.000 0.000 0.000 0.221 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

127 125 122 0 0 0 0 0 113 0

N.S.

1 0.98 0.96 0.00 0.00 0.00 0.00 0.00 0.89 0.00

time (sec)

N/A 0.623 0.053 0.000 0.000 0.000 0.000 0.000 0.232 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

118 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.31 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.235 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

106 135 110 0 0 0 0 0 30 0

N.S.

1 1.27 1.04 0.00 0.00 0.00 0.00 0.00 0.28 0.00

time (sec)

N/A 0.695 0.077 0.000 0.000 0.000 0.000 0.000 0.223 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

159 0 0 0 0 0 0 0 30 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.19 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.247 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

167 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.22 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.240 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

175 0 0 0 0 0 0 0 30 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.17 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.226 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

160 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.22 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.237 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

162 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.22 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.244 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

170 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.21 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.239 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

173 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.21 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.235 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

159 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.23 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.279 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

167 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.22 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.268 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

168 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.21 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.219 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

176 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.273 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

165 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.22 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.257 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

173 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.21 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.235 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

166 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.22 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.234 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

174 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.21 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.266 0.000

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