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

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by 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 just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

269 269 149 0 187 402 0 187 88

N.S.

1 1.00 0.55 0.00 0.70 1.49 0.00 0.70 0.33

time (sec)

N/A 0.153 0.189 0.004 0.473 0.494 0.000 0.429 0.052

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

319 319 174 0 228 419 0 225 132

N.S.

1 1.00 0.55 0.00 0.71 1.31 0.00 0.71 0.41

time (sec)

N/A 0.173 0.135 0.001 0.467 0.368 0.000 0.434 1.182

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

356 356 93 0 270 427 0 271 169

N.S.

1 1.00 0.26 0.00 0.76 1.20 0.00 0.76 0.47

time (sec)

N/A 0.196 0.095 0.004 0.472 0.366 0.000 0.454 0.064

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

287 287 198 0 279 119 0 254 253

N.S.

1 1.00 0.69 0.00 0.97 0.41 0.00 0.89 0.88

time (sec)

N/A 0.110 5.239 0.004 0.466 0.467 0.000 0.439 0.081

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

250 250 161 0 244 111 0 223 217

N.S.

1 1.00 0.64 0.00 0.98 0.44 0.00 0.89 0.87

time (sec)

N/A 0.102 5.202 0.004 0.461 0.393 0.000 0.452 0.080

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

213 213 389 0 207 103 0 192 181

N.S.

1 1.00 1.83 0.00 0.97 0.48 0.00 0.90 0.85

time (sec)

N/A 0.075 5.660 0.004 0.468 0.360 0.000 0.454 0.074

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 176 113 0 172 95 0 161 145

N.S.

1 1.00 0.64 0.00 0.98 0.54 0.00 0.91 0.82

time (sec)

N/A 0.050 0.193 0.003 0.458 0.375 0.000 0.437 1.198

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 31 0 132 86 0 129 103

N.S.

1 1.00 0.24 0.00 1.02 0.66 0.00 0.99 0.79

time (sec)

N/A 0.033 0.050 0.003 0.461 0.355 0.000 0.421 1.188

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

320 320 28 0 244 308 0 252 118

N.S.

1 1.00 0.09 0.00 0.76 0.96 0.00 0.79 0.37

time (sec)

N/A 0.203 0.067 0.013 0.479 0.351 0.000 0.435 1.144

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

299 299 31 0 204 377 0 204 106

N.S.

1 1.00 0.10 0.00 0.68 1.26 0.00 0.68 0.35

time (sec)

N/A 0.177 0.056 0.003 0.469 0.363 0.000 0.409 1.180

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

351 351 94 0 247 405 0 243 153

N.S.

1 1.00 0.27 0.00 0.70 1.15 0.00 0.69 0.44

time (sec)

N/A 0.198 0.124 0.005 0.473 0.366 0.000 0.413 0.070

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

385 385 104 0 297 413 0 291 188

N.S.

1 1.00 0.27 0.00 0.77 1.07 0.00 0.76 0.49

time (sec)

N/A 0.219 0.116 0.002 0.467 0.356 0.000 0.435 0.073

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

285 285 340 705 220 173 0 215 168

N.S.

1 1.00 1.19 2.47 0.77 0.61 0.00 0.75 0.59

time (sec)

N/A 0.170 5.438 4.751 0.471 0.345 0.000 0.436 0.132

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

258 258 167 1158 194 168 0 191 142

N.S.

1 1.00 0.65 4.49 0.75 0.65 0.00 0.74 0.55

time (sec)

N/A 0.146 0.233 5.448 0.467 0.341 0.000 0.432 1.221

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 35 987 167 160 0 168 115

N.S.

1 1.00 0.16 4.43 0.75 0.72 0.00 0.75 0.52

time (sec)

N/A 0.124 0.032 4.770 0.460 0.343 0.000 0.419 0.098

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

402 402 26 2714 0 340 0 261 167

N.S.

1 1.00 0.06 6.75 0.00 0.85 0.00 0.65 0.42

time (sec)

N/A 0.370 0.026 7.816 0.000 0.367 0.000 0.409 1.267

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

233 233 39 1487 152 223 0 152 109

N.S.

1 1.00 0.17 6.38 0.65 0.96 0.00 0.65 0.47

time (sec)

N/A 0.255 0.036 8.952 0.489 0.360 0.000 0.410 1.230

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

260 260 124 896 178 240 0 175 136

N.S.

1 1.00 0.48 3.45 0.68 0.92 0.00 0.67 0.52

time (sec)

N/A 0.276 0.200 13.773 0.475 0.366 0.000 0.427 0.106

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

287 287 133 1498 205 246 0 199 161

N.S.

1 1.00 0.46 5.22 0.71 0.86 0.00 0.69 0.56

time (sec)

N/A 0.280 0.139 15.273 0.475 0.373 0.000 0.443 1.255

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

157 157 340 613 149 100 0 144 171

N.S.

1 1.00 2.17 3.90 0.95 0.64 0.00 0.92 1.09

time (sec)

N/A 0.044 4.899 0.949 0.491 0.337 0.000 0.418 1.191

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 165 403 123 95 0 120 145

N.S.

1 1.00 1.27 3.10 0.95 0.73 0.00 0.92 1.12

time (sec)

N/A 0.031 0.234 0.951 0.474 0.335 0.000 0.417 0.049

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 85 397 96 87 0 97 118

N.S.

1 1.00 0.89 4.14 1.00 0.91 0.00 1.01 1.23

time (sec)

N/A 0.019 0.113 0.968 0.473 0.352 0.000 0.416 0.046

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 26 1038 140 86 0 79 82

N.S.

1 1.00 0.17 6.70 0.90 0.55 0.00 0.51 0.53

time (sec)

N/A 0.035 0.029 0.878 0.483 0.381 0.000 0.418 1.416

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 87 407 98 97 0 99 118

N.S.

1 1.00 0.88 4.11 0.99 0.98 0.00 1.00 1.19

time (sec)

N/A 0.028 0.096 1.149 0.472 0.334 0.000 0.401 0.025

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 134 507 124 111 0 122 145

N.S.

1 1.00 1.03 3.90 0.95 0.85 0.00 0.94 1.12

time (sec)

N/A 0.034 0.168 1.162 0.484 0.326 0.000 0.420 0.027

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

429 429 399 0 341 457 0 308 227

N.S.

1 1.00 0.93 0.00 0.79 1.07 0.00 0.72 0.53

time (sec)

N/A 0.238 6.109 0.006 0.466 0.374 0.000 0.454 1.307

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

392 392 319 0 304 448 0 288 190

N.S.

1 1.00 0.81 0.00 0.78 1.14 0.00 0.73 0.48

time (sec)

N/A 0.164 0.554 0.006 0.483 0.360 0.000 0.448 1.275

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

352 352 56 0 265 423 0 0 149

N.S.

1 1.00 0.16 0.00 0.75 1.20 0.00 0.00 0.42

time (sec)

N/A 0.131 0.036 0.004 0.465 0.411 0.000 0.000 1.264

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

919 919 30 0 0 2289 0 661 648

N.S.

1 1.00 0.03 0.00 0.00 2.49 0.00 0.72 0.71

time (sec)

N/A 0.650 0.030 0.020 0.000 0.424 0.000 1.097 1.398

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

676 676 46 0 0 2874 0 432 162

N.S.

1 1.00 0.07 0.00 0.00 4.25 0.00 0.64 0.24

time (sec)

N/A 0.432 0.075 0.006 0.000 0.435 0.000 0.527 1.249

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

731 731 72 0 0 2931 0 461 210

N.S.

1 1.00 0.10 0.00 0.00 4.01 0.00 0.63 0.29

time (sec)

N/A 0.464 0.060 0.005 0.000 0.434 0.000 0.553 1.263

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 47 201 0 0 0 0 -1

N.S.

1 1.00 1.04 4.47 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.040 0.018 0.224 0.000 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

151 151 228 0 0 0 0 0 -1

N.S.

1 1.00 1.51 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.926 0.225 0.030 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 26 106 0 0 100 0 -1

N.S.

1 1.00 0.74 3.03 0.00 0.00 2.86 0.00 -0.03

time (sec)

N/A 0.027 0.009 0.135 0.000 0.000 2.205 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

74 74 128 0 0 0 0 0 -1

N.S.

1 1.00 1.73 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.040 0.280 0.013 0.000 0.000 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

75 75 115 0 0 0 0 0 -1

N.S.

1 1.00 1.53 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.040 0.173 0.014 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 27 93 0 0 119 0 -1

N.S.

1 1.00 0.75 2.58 0.00 0.00 3.31 0.00 -0.03

time (sec)

N/A 0.028 0.009 0.088 0.000 0.000 2.099 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

150 150 192 0 0 0 0 0 -1

N.S.

1 1.00 1.28 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.804 0.167 0.014 0.000 0.000 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

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

size

41 41 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.027 0.424 0.013 0.000 0.000 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

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

size

41 41 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.026 0.388 0.012 0.000 0.000 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

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

size

41 41 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.026 0.348 0.013 0.000 0.000 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

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

size

41 41 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.025 0.392 0.011 0.000 0.000 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

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

size

41 41 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.025 0.381 0.014 0.000 0.000 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-2) F F

verified

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

size

41 41 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.026 0.447 0.016 0.000 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

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

size

34 34 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.026 0.560 0.013 0.000 0.000 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

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

size

34 34 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.024 0.546 0.010 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

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

size

41 41 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.025 0.440 0.011 0.000 0.000 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

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

size

45 45 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.028 0.246 0.016 0.000 0.000 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 118 0 0 0 0 0 -1

N.S.

1 1.00 0.68 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.065 0.564 0.015 0.000 0.000 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 98 0 0 0 0 0 -1

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.037 0.214 0.016 0.000 0.000 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 82 0 0 0 0 0 -1

N.S.

1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.016 0.129 0.013 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 127 142 0 0 0 0 0 -1

N.S.

1 1.00 1.12 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.042 0.112 0.016 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 44 0 0 0 0 0 -1

N.S.

1 1.00 0.63 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.023 0.027 0.014 0.000 0.000 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 107 0 0 0 0 0 -1

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.039 0.463 0.016 0.000 0.000 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

167 167 132 0 0 0 0 0 -1

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.070 0.428 0.014 0.000 0.000 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 148 0 0 0 0 0 -1

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.085 0.348 0.014 0.000 0.000 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 131 0 0 0 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.105 0.061 0.058 0.000 0.000 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

132 132 80 183 259 125 0 138 214

N.S.

1 1.00 0.61 1.39 1.96 0.95 0.00 1.05 1.62

time (sec)

N/A 0.201 0.079 0.090 0.260 0.392 0.000 0.426 0.126

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

105 105 73 141 221 115 0 118 177

N.S.

1 1.00 0.70 1.34 2.10 1.10 0.00 1.12 1.69

time (sec)

N/A 0.146 0.095 0.085 0.271 0.429 0.000 0.415 0.079

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

78 78 64 121 181 103 0 98 138

N.S.

1 1.00 0.82 1.55 2.32 1.32 0.00 1.26 1.77

time (sec)

N/A 0.092 0.107 0.086 0.266 0.341 0.000 0.429 1.210

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

47 47 51 93 132 77 0 58 94

N.S.

1 1.00 1.09 1.98 2.81 1.64 0.00 1.23 2.00

time (sec)

N/A 0.045 0.059 0.041 0.273 0.384 0.000 0.408 1.198

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

51 51 60 249 78 87 0 0 48

N.S.

1 1.00 1.18 4.88 1.53 1.71 0.00 0.00 0.94

time (sec)

N/A 0.131 0.078 0.128 0.271 0.390 0.000 0.000 0.073

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 34 36 23 57 0 49 23

N.S.

1 1.00 1.03 1.09 0.70 1.73 0.00 1.48 0.70

time (sec)

N/A 0.067 0.072 0.119 0.264 0.358 0.000 0.420 1.181

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 42 41 39 77 0 85 39

N.S.

1 1.00 0.63 0.61 0.58 1.15 0.00 1.27 0.58

time (sec)

N/A 0.084 0.080 0.135 0.259 0.366 0.000 0.422 1.170

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 51 50 55 96 0 105 56

N.S.

1 1.00 0.51 0.50 0.55 0.96 0.00 1.05 0.56

time (sec)

N/A 0.157 0.045 0.128 0.265 0.344 0.000 0.445 0.043

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 59 58 71 116 0 125 72

N.S.

1 1.00 0.44 0.44 0.53 0.87 0.00 0.94 0.54

time (sec)

N/A 0.230 0.047 0.129 0.270 0.328 0.000 0.466 1.174

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 28 29 49 28 124 0 28

N.S.

1 1.00 0.67 0.69 1.17 0.67 2.95 0.00 0.67

time (sec)

N/A 0.044 0.016 0.117 0.278 0.340 0.586 0.000 1.214

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 23 47 60 60 66 60 60

N.S.

1 1.00 0.62 1.27 1.62 1.62 1.78 1.62 1.62

time (sec)

N/A 0.040 0.014 0.147 0.267 0.324 0.032 0.405 0.035

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 30 30 37 37 36 37 37

N.S.

1 1.00 0.81 0.81 1.00 1.00 0.97 1.00 1.00

time (sec)

N/A 0.037 0.012 0.124 0.262 0.330 0.022 0.398 0.049

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 30 31 38 38 37 38 38

N.S.

1 1.00 0.81 0.84 1.03 1.03 1.00 1.03 1.03

time (sec)

N/A 0.041 0.011 0.128 0.261 0.328 0.019 0.398 0.046

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 17 17 18 18 15 18 15

N.S.

1 1.00 0.85 0.85 0.90 0.90 0.75 0.90 0.75

time (sec)

N/A 0.031 0.006 0.131 0.255 0.323 0.022 0.414 0.029

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C C A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 26 26 13 12 12 12 12 9

N.S.

1 1.86 1.86 0.93 0.86 0.86 0.86 0.86 0.64

time (sec)

N/A 0.008 0.007 0.086 0.273 0.349 0.012 0.395 0.023

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 30 29 30 29 20 31 29

N.S.

1 1.00 0.94 0.91 0.94 0.91 0.62 0.97 0.91

time (sec)

N/A 0.042 0.011 0.119 0.256 0.328 0.064 0.409 1.195

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 25 30 26 26 24 34 13

N.S.

1 1.00 1.79 2.14 1.86 1.86 1.71 2.43 0.93

time (sec)

N/A 0.033 0.007 0.120 0.259 0.343 0.086 0.406 1.191

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 23 30 47 47 49 21 46

N.S.

1 1.00 0.62 0.81 1.27 1.27 1.32 0.57 1.24

time (sec)

N/A 0.041 0.011 0.123 0.255 0.347 0.119 0.392 1.201

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 23 30 57 57 60 21 56

N.S.

1 1.00 0.62 0.81 1.54 1.54 1.62 0.57 1.51

time (sec)

N/A 0.042 0.012 0.118 0.253 0.337 0.183 0.407 0.087

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

202 202 155 0 0 0 0 0 -1

N.S.

1 1.00 0.77 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.143 0.094 0.059 0.000 0.000 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

105 105 80 192 259 126 0 138 214

N.S.

1 1.00 0.76 1.83 2.47 1.20 0.00 1.31 2.04

time (sec)

N/A 0.110 0.079 0.085 0.257 0.342 0.000 0.437 0.092

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

78 78 64 124 221 109 0 84 176

N.S.

1 1.00 0.82 1.59 2.83 1.40 0.00 1.08 2.26

time (sec)

N/A 0.092 0.117 0.090 0.268 0.347 0.000 0.428 1.202

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

78 78 64 130 181 103 0 98 139

N.S.

1 1.00 0.82 1.67 2.32 1.32 0.00 1.26 1.78

time (sec)

N/A 0.113 0.108 0.083 0.259 0.358 0.000 0.415 1.201

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

65 65 53 162 135 81 0 74 97

N.S.

1 1.00 0.82 2.49 2.08 1.25 0.00 1.14 1.49

time (sec)

N/A 0.123 0.087 0.085 0.261 0.339 0.000 0.417 1.204

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

80 80 63 345 95 120 0 35 63

N.S.

1 1.00 0.79 4.31 1.19 1.50 0.00 0.44 0.79

time (sec)

N/A 0.189 0.069 0.157 0.259 0.355 0.000 0.413 0.066

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 36 36 23 77 0 69 23

N.S.

1 1.00 1.09 1.09 0.70 2.33 0.00 2.09 0.70

time (sec)

N/A 0.073 0.042 0.137 0.274 0.323 0.000 0.442 0.037

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 41 41 39 95 0 125 39

N.S.

1 1.00 0.61 0.61 0.58 1.42 0.00 1.87 0.58

time (sec)

N/A 0.091 0.045 0.141 0.253 0.355 0.000 0.467 1.176

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 50 50 55 116 0 145 56

N.S.

1 1.00 0.53 0.53 0.59 1.23 0.00 1.54 0.60

time (sec)

N/A 0.182 0.045 0.143 0.259 0.347 0.000 0.482 1.186

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 58 58 71 134 0 165 72

N.S.

1 1.00 0.46 0.46 0.57 1.07 0.00 1.32 0.58

time (sec)

N/A 0.255 0.049 0.134 0.255 0.356 0.000 0.525 0.045

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 50 74 153 81 530 0 57

N.S.

1 1.00 0.76 1.12 2.32 1.23 8.03 0.00 0.86

time (sec)

N/A 0.056 0.062 0.158 0.278 0.361 0.556 0.000 1.354

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 31 45 59 59 63 42 59

N.S.

1 1.00 0.58 0.85 1.11 1.11 1.19 0.79 1.11

time (sec)

N/A 0.046 0.016 0.179 0.253 0.349 0.032 0.409 1.190

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 32 23 28 28 29 42 24

N.S.

1 1.00 1.00 0.72 0.88 0.88 0.91 1.31 0.75

time (sec)

N/A 0.037 0.021 0.175 0.250 0.319 0.024 0.392 0.044

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 30 29 37 37 37 42 37

N.S.

1 1.00 0.86 0.83 1.06 1.06 1.06 1.20 1.06

time (sec)

N/A 0.038 0.014 0.172 0.255 0.343 0.025 0.398 0.046

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 27 16 25 25 24 40 19

N.S.

1 1.00 1.59 0.94 1.47 1.47 1.41 2.35 1.12

time (sec)

N/A 0.031 0.017 0.158 0.249 0.363 0.020 0.401 0.031

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 26 24 24 28 26 50 26

N.S.

1 1.00 0.96 0.89 0.89 1.04 0.96 1.85 0.96

time (sec)

N/A 0.024 0.009 0.218 0.260 0.348 0.057 0.408 1.181

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 36 41 44 49 37 57 42

N.S.

1 1.00 0.75 0.85 0.92 1.02 0.77 1.19 0.88

time (sec)

N/A 0.046 0.017 0.169 0.252 0.350 0.119 0.388 0.058

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 25 42 51 51 51 50 25

N.S.

1 1.00 1.00 1.68 2.04 2.04 2.04 2.00 1.00

time (sec)

N/A 0.035 0.008 0.153 0.261 0.367 0.141 0.415 1.192

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 31 41 65 65 70 42 29

N.S.

1 1.00 0.60 0.79 1.25 1.25 1.35 0.81 0.56

time (sec)

N/A 0.049 0.015 0.151 0.257 0.342 0.187 0.400 1.230

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 31 42 77 77 80 42 29

N.S.

1 1.00 0.58 0.79 1.45 1.45 1.51 0.79 0.55

time (sec)

N/A 0.045 0.014 0.158 0.264 0.326 0.205 0.412 1.238

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 76 0 0 0 0 0 -1

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.079 0.032 0.060 0.000 0.000 0.000 0.000 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

127 127 72 196 221 114 0 109 176

N.S.

1 1.00 0.57 1.54 1.74 0.90 0.00 0.86 1.39

time (sec)

N/A 0.234 0.090 0.129 0.264 0.396 0.000 0.404 1.228

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

100 100 64 176 181 104 0 90 140

N.S.

1 1.00 0.64 1.76 1.81 1.04 0.00 0.90 1.40

time (sec)

N/A 0.188 0.066 0.125 0.259 0.380 0.000 0.416 1.211

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

65 65 53 153 135 81 0 68 96

N.S.

1 1.00 0.82 2.35 2.08 1.25 0.00 1.05 1.48

time (sec)

N/A 0.116 0.040 0.095 0.269 0.359 0.000 0.421 0.064

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