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

2.2.3 Integrals 201 to 300

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 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 98 89 88 88 97 15 88

N.S.

1 1.00 7.00 6.36 6.29 6.29 6.93 1.07 6.29

time (sec)

N/A 0.007 0.002 0.191 0.273 0.376 0.019 4.772 0.041

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 115 17 458 458 484 488 440

N.S.

1 1.00 6.39 0.94 25.44 25.44 26.89 27.11 24.44

time (sec)

N/A 0.039 0.008 0.030 0.266 0.373 0.057 3.329 0.568

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 98 16 88 88 97 88 88

N.S.

1 1.00 7.00 1.14 6.29 6.29 6.93 6.29 6.29

time (sec)

N/A 0.015 0.002 0.180 0.266 0.370 0.023 3.406 0.040

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 98 89 88 88 97 88 88

N.S.

1 1.00 5.44 4.94 4.89 4.89 5.39 4.89 4.89

time (sec)

N/A 0.013 0.003 0.187 0.268 0.403 0.022 3.708 0.040

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 98 89 88 88 97 88 88

N.S.

1 1.00 7.00 6.36 6.29 6.29 6.93 6.29 6.29

time (sec)

N/A 0.002 0.002 0.193 0.269 0.392 0.019 4.188 0.039

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 80 25 66 66 70 24 66

N.S.

1 1.00 2.86 0.89 2.36 2.36 2.50 0.86 2.36

time (sec)

N/A 0.019 0.004 0.181 0.270 0.363 0.019 3.458 0.051

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 108 27 187 187 194 88 180

N.S.

1 1.00 3.48 0.87 6.03 6.03 6.26 2.84 5.81

time (sec)

N/A 0.022 0.027 0.264 0.285 0.374 0.035 3.687 0.105

Problem 208

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

34 34 34 31 52 48 228 30 31

N.S.

1 1.00 1.00 0.91 1.53 1.41 6.71 0.88 0.91

time (sec)

N/A 0.007 0.141 0.176 0.526 0.369 23.118 3.744 2.121

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 73 33 54 52 328 32 58

N.S.

1 1.00 2.09 0.94 1.54 1.49 9.37 0.91 1.66

time (sec)

N/A 0.006 0.156 0.251 0.501 0.389 118.664 4.592 2.110

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 93 25 77 77 87 24 77

N.S.

1 1.00 3.10 0.83 2.57 2.57 2.90 0.80 2.57

time (sec)

N/A 0.015 0.006 0.177 0.269 0.356 0.024 3.876 0.055

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 140 27 280 280 314 105 266

N.S.

1 1.00 4.52 0.87 9.03 9.03 10.13 3.39 8.58

time (sec)

N/A 0.027 0.036 0.098 0.270 0.399 0.047 3.786 2.266

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 98 31 80 80 90 30 80

N.S.

1 1.00 2.88 0.91 2.35 2.35 2.65 0.88 2.35

time (sec)

N/A 0.023 0.006 0.220 0.262 0.394 0.025 3.422 0.065

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 146 33 289 289 321 126 273

N.S.

1 1.00 3.56 0.80 7.05 7.05 7.83 3.07 6.66

time (sec)

N/A 0.032 0.039 0.049 0.276 0.406 0.051 3.848 2.283

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 244 37 289 289 323 37 270

N.S.

1 1.00 5.30 0.80 6.28 6.28 7.02 0.80 5.87

time (sec)

N/A 0.034 0.049 0.197 0.271 0.372 0.054 3.614 2.237

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 248 39 773 773 930 153 753

N.S.

1 1.00 5.28 0.83 16.45 16.45 19.79 3.26 16.02

time (sec)

N/A 0.063 0.094 0.294 0.287 0.382 0.105 3.596 2.450

Problem 216

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

34 34 36 31 54 48 190 30 33

N.S.

1 1.00 1.06 0.91 1.59 1.41 5.59 0.88 0.97

time (sec)

N/A 0.007 0.133 0.223 0.518 0.410 41.257 3.985 2.111

Problem 217

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

44 44 42 37 71 57 189 36 37

N.S.

1 1.00 0.95 0.84 1.61 1.30 4.30 0.82 0.84

time (sec)

N/A 0.007 0.158 0.199 0.526 0.394 96.617 3.696 2.210

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 49 43 83 72 0 42 73

N.S.

1 1.00 0.98 0.86 1.66 1.44 0.00 0.84 1.46

time (sec)

N/A 0.007 0.195 0.036 0.528 0.401 0.000 3.018 2.170

Problem 219

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

19 19 33 18 17 29 29 30 29

N.S.

1 1.00 1.74 0.95 0.89 1.53 1.53 1.58 1.53

time (sec)

N/A 0.006 0.002 0.030 0.266 0.397 0.006 3.741 0.025

Problem 220

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

16 16 21 15 14 17 17 22 17

N.S.

1 1.00 1.31 0.94 0.88 1.06 1.06 1.38 1.06

time (sec)

N/A 0.005 0.002 0.057 0.269 0.368 0.006 4.218 0.034

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B B A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 96 96 29 86 86 94 28 86

N.S.

1 2.91 2.91 0.88 2.61 2.61 2.85 0.85 2.61

time (sec)

N/A 0.134 0.005 0.227 0.273 0.368 0.016 3.305 0.218

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B B B B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 96 96 87 86 86 94 28 86

N.S.

1 2.91 2.91 2.64 2.61 2.61 2.85 0.85 2.61

time (sec)

N/A 0.100 0.005 0.222 0.269 0.345 0.021 3.952 0.191

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 14 13 12 57 56 12 12

N.S.

1 1.00 1.00 0.93 0.86 4.07 4.00 0.86 0.86

time (sec)

N/A 0.005 0.004 0.017 0.266 0.366 0.091 3.408 2.100

Problem 224

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

15 15 15 14 13 13 12 14 13

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.80 0.93 0.87

time (sec)

N/A 0.006 0.004 0.011 0.262 0.418 0.021 4.127 0.049

Problem 225

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

17 17 20 14 15 15 14 18 13

N.S.

1 1.00 1.18 0.82 0.88 0.88 0.82 1.06 0.76

time (sec)

N/A 0.006 0.005 0.013 0.263 0.380 0.025 2.971 0.066

Problem 226

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

40 40 23 28 24 23 22 24 23

N.S.

1 1.00 0.58 0.70 0.60 0.58 0.55 0.60 0.58

time (sec)

N/A 0.060 0.044 0.025 0.275 0.386 15.048 4.102 0.108

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

605 605 98 535 0 0 0 0 -1

N.S.

1 1.00 0.16 0.88 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 3.285 0.056 0.057 0.000 0.000 0.000 0.000 0.000

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 55 53 0 83 58 58 75

N.S.

1 1.00 0.87 0.84 0.00 1.32 0.92 0.92 1.19

time (sec)

N/A 0.045 0.021 0.040 0.000 0.396 0.041 3.688 0.185

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 14 13 22 38 20 13 12

N.S.

1 1.00 1.00 0.93 1.57 2.71 1.43 0.93 0.86

time (sec)

N/A 0.031 0.006 0.015 0.269 0.401 0.026 3.744 0.040

Problem 230

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

28 28 24 27 32 46 29 23 21

N.S.

1 1.00 0.86 0.96 1.14 1.64 1.04 0.82 0.75

time (sec)

N/A 0.019 0.010 0.015 0.265 0.412 0.032 3.979 0.037

Problem 231

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

59 59 28 30 38 38 36 28 28

N.S.

1 1.00 0.47 0.51 0.64 0.64 0.61 0.47 0.47

time (sec)

N/A 0.060 0.009 0.026 0.272 0.390 0.060 4.663 0.054

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

11 11 11 41 11 11 8 11 11

N.S.

1 1.00 1.00 3.73 1.00 1.00 0.73 1.00 1.00

time (sec)

N/A 0.005 0.005 0.020 0.270 0.398 0.033 5.037 2.301

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 205 132 116 114 223 272 134 124

N.S.

1 2.25 1.45 1.27 1.25 2.45 2.99 1.47 1.36

time (sec)

N/A 0.106 0.067 0.044 0.486 0.386 0.798 8.596 2.369

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 23 26 44 40 0 99 49

N.S.

1 1.00 0.92 1.04 1.76 1.60 0.00 3.96 1.96

time (sec)

N/A 0.017 1.218 0.034 0.329 0.556 0.000 6.677 2.656

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 21 24 39 39 0 89 39

N.S.

1 1.00 0.91 1.04 1.70 1.70 0.00 3.87 1.70

time (sec)

N/A 0.056 2.052 0.039 0.318 0.416 0.000 4.651 2.549

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 21 24 39 39 0 89 39

N.S.

1 1.00 0.91 1.04 1.70 1.70 0.00 3.87 1.70

time (sec)

N/A 0.040 0.963 0.035 0.302 0.421 0.000 5.188 2.319

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 21 19 22 37 37 0 87 37

N.S.

1 1.00 0.90 1.05 1.76 1.76 0.00 4.14 1.76

time (sec)

N/A 0.032 0.737 0.030 0.313 0.400 0.000 4.636 2.273

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 17 20 33 33 0 52 19

N.S.

1 1.00 0.89 1.05 1.74 1.74 0.00 2.74 1.00

time (sec)

N/A 0.028 0.076 0.028 0.316 0.392 0.000 5.560 2.193

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 21 24 36 36 0 0 23

N.S.

1 1.00 0.91 1.04 1.57 1.57 0.00 0.00 1.00

time (sec)

N/A 0.023 0.713 0.031 0.300 0.439 0.000 0.000 3.202

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 21 24 36 36 0 0 23

N.S.

1 1.00 0.91 1.04 1.57 1.57 0.00 0.00 1.00

time (sec)

N/A 0.024 0.793 0.033 0.307 0.442 0.000 0.000 3.319

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 21 24 36 36 0 0 23

N.S.

1 1.00 0.91 1.04 1.57 1.57 0.00 0.00 1.00

time (sec)

N/A 0.024 0.963 0.035 0.315 0.438 0.000 0.000 3.355

Problem 242

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

97 97 83 74 73 79 97 73 97

N.S.

1 1.00 0.86 0.76 0.75 0.81 1.00 0.75 1.00

time (sec)

N/A 0.094 0.027 0.038 0.483 0.388 0.104 4.659 0.194

Problem 243

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

90 90 78 69 68 74 92 68 92

N.S.

1 1.00 0.87 0.77 0.76 0.82 1.02 0.76 1.02

time (sec)

N/A 0.082 0.018 0.044 0.490 0.402 0.103 5.430 0.178

Problem 244

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

77 77 72 62 61 67 78 61 85

N.S.

1 1.00 0.94 0.81 0.79 0.87 1.01 0.79 1.10

time (sec)

N/A 0.082 0.023 0.033 0.498 0.380 0.095 5.426 2.290

Problem 245

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

72 72 69 57 56 62 75 56 80

N.S.

1 1.00 0.96 0.79 0.78 0.86 1.04 0.78 1.11

time (sec)

N/A 0.064 0.018 0.029 0.495 0.389 0.096 7.682 2.292

Problem 246

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

71 71 65 56 55 61 75 55 79

N.S.

1 1.00 0.92 0.79 0.77 0.86 1.06 0.77 1.11

time (sec)

N/A 0.054 0.014 0.026 0.500 0.382 0.092 8.320 0.147

Problem 247

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

75 75 69 60 59 65 78 60 83

N.S.

1 1.00 0.92 0.80 0.79 0.87 1.04 0.80 1.11

time (sec)

N/A 0.091 0.016 0.035 0.481 0.370 0.126 5.765 0.149

Problem 248

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

84 84 78 65 64 76 87 65 88

N.S.

1 1.00 0.93 0.77 0.76 0.90 1.04 0.77 1.05

time (sec)

N/A 0.101 0.025 0.031 0.507 0.390 0.140 6.699 2.280

Problem 249

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

91 91 82 70 69 89 94 70 92

N.S.

1 1.00 0.90 0.77 0.76 0.98 1.03 0.77 1.01

time (sec)

N/A 0.106 0.043 0.036 0.502 0.393 0.157 5.867 0.152

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

307 307 109 74 0 1202 61 0 128

N.S.

1 1.00 0.36 0.24 0.00 3.92 0.20 0.00 0.42

time (sec)

N/A 0.396 0.015 0.020 0.000 1.166 0.573 0.000 2.169

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

269 269 101 67 0 1145 3662 0 188

N.S.

1 1.00 0.38 0.25 0.00 4.26 13.61 0.00 0.70

time (sec)

N/A 0.270 0.012 0.019 0.000 1.182 1.625 0.000 0.134

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

230 230 94 62 0 1190 48 0 183

N.S.

1 1.00 0.41 0.27 0.00 5.17 0.21 0.00 0.80

time (sec)

N/A 0.238 0.012 0.020 0.000 1.169 0.505 0.000 0.193

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 90 58 0 1189 46 0 181

N.S.

1 1.00 0.45 0.29 0.00 6.01 0.23 0.00 0.91

time (sec)

N/A 0.142 0.010 0.015 0.000 1.184 0.496 0.000 2.342

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

245 245 101 67 0 1143 60 0 237

N.S.

1 1.00 0.41 0.27 0.00 4.67 0.24 0.00 0.97

time (sec)

N/A 0.336 0.013 0.023 0.000 1.152 9.313 0.000 2.342

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

281 281 109 72 0 1245 25507 0 242

N.S.

1 1.00 0.39 0.26 0.00 4.43 90.77 0.00 0.86

time (sec)

N/A 0.337 0.014 0.029 0.000 1.190 19.415 0.000 2.302

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

317 317 116 77 0 1274 70 0 246

N.S.

1 1.00 0.37 0.24 0.00 4.02 0.22 0.00 0.78

time (sec)

N/A 0.390 0.014 0.028 0.000 1.169 1.755 0.000 2.248

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B C B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 87 75 0 83 44 87 252

N.S.

1 1.00 4.58 3.95 0.00 4.37 2.32 4.58 13.26

time (sec)

N/A 0.069 0.033 0.102 0.000 0.374 0.600 5.452 2.270

Problem 258

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

43 43 57 34 33 47 37 34 38

N.S.

1 1.00 1.33 0.79 0.77 1.09 0.86 0.79 0.88

time (sec)

N/A 0.043 0.017 0.208 0.529 0.386 0.068 4.521 0.052

Problem 259

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

17 17 17 16 15 15 14 18 21

N.S.

1 1.00 1.00 0.94 0.88 0.88 0.82 1.06 1.24

time (sec)

N/A 0.025 0.004 0.209 0.279 0.386 0.044 4.326 2.200

Problem 260

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

25 25 25 22 21 21 20 24 30

N.S.

1 1.00 1.00 0.88 0.84 0.84 0.80 0.96 1.20

time (sec)

N/A 0.025 0.005 0.227 0.283 0.388 0.044 4.257 0.054

Problem 261

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

22 22 20 19 18 24 14 28 18

N.S.

1 1.00 0.91 0.86 0.82 1.09 0.64 1.27 0.82

time (sec)

N/A 0.009 0.007 0.226 0.274 0.369 0.034 4.032 0.036

Problem 262

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 38 22 21 21 26 22 25

N.S.

1 1.00 1.41 0.81 0.78 0.78 0.96 0.81 0.93

time (sec)

N/A 0.026 0.009 0.211 0.486 0.392 0.051 3.829 2.260

Problem 263

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

21 21 21 18 17 17 15 17 17

N.S.

1 1.00 1.00 0.86 0.81 0.81 0.71 0.81 0.81

time (sec)

N/A 0.009 0.004 0.194 0.492 0.396 0.019 3.511 0.031

Problem 264

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 27 24 23 23 22 23 23

N.S.

1 1.00 1.00 0.89 0.85 0.85 0.81 0.85 0.85

time (sec)

N/A 0.017 0.006 0.276 0.501 0.422 0.031 3.151 2.140

Problem 265

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

39 39 39 26 25 25 26 29 25

N.S.

1 1.00 1.00 0.67 0.64 0.64 0.67 0.74 0.64

time (sec)

N/A 0.014 0.005 0.020 0.275 0.385 0.103 3.534 2.141

Problem 266

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

22 22 23 19 18 18 17 19 18

N.S.

1 1.00 1.05 0.86 0.82 0.82 0.77 0.86 0.82

time (sec)

N/A 0.010 0.003 0.171 0.265 0.374 0.015 3.000 0.027

Problem 267

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

15 15 15 14 13 13 14 13 13

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.93 0.87 0.87

time (sec)

N/A 0.020 0.004 0.161 0.472 0.366 0.023 2.928 2.131

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 24 21 20 26 17 22 10

N.S.

1 1.00 2.00 1.75 1.67 2.17 1.42 1.83 0.83

time (sec)

N/A 0.014 0.010 0.017 0.266 0.383 0.029 3.136 0.072

Problem 269

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

25 25 25 22 21 22 19 23 19

N.S.

1 1.00 1.00 0.88 0.84 0.88 0.76 0.92 0.76

time (sec)

N/A 0.024 0.005 0.234 0.268 0.395 0.028 2.344 2.139

Problem 270

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

13 13 13 12 11 11 10 11 11

N.S.

1 1.00 1.00 0.92 0.85 0.85 0.77 0.85 0.85

time (sec)

N/A 0.018 0.006 0.018 0.506 0.372 0.035 4.116 0.038

Problem 271

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 35 31 35 55 36 30 35

N.S.

1 1.00 1.00 0.89 1.00 1.57 1.03 0.86 1.00

time (sec)

N/A 0.024 0.013 0.186 0.485 0.379 0.049 4.357 2.125

Problem 272

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

23 23 23 18 17 17 17 20 17

N.S.

1 1.00 1.00 0.78 0.74 0.74 0.74 0.87 0.74

time (sec)

N/A 0.025 0.005 0.017 0.267 0.397 0.047 3.712 2.188

Problem 273

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

23 23 23 20 19 19 19 20 19

N.S.

1 1.00 1.00 0.87 0.83 0.83 0.83 0.87 0.83

time (sec)

N/A 0.036 0.006 0.020 0.265 0.376 0.030 3.539 0.055

Problem 274

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

29 29 25 24 23 32 20 23 25

N.S.

1 1.00 0.86 0.83 0.79 1.10 0.69 0.79 0.86

time (sec)

N/A 0.010 0.008 0.205 0.474 0.381 0.038 2.963 2.125

Problem 275

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

44 44 44 42 41 58 49 43 55

N.S.

1 1.00 1.00 0.95 0.93 1.32 1.11 0.98 1.25

time (sec)

N/A 0.171 0.019 0.185 0.480 0.416 0.083 3.756 0.129

Problem 276

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

46 46 46 41 38 38 51 38 88

N.S.

1 1.00 1.00 0.89 0.83 0.83 1.11 0.83 1.91

time (sec)

N/A 0.092 0.014 0.348 0.482 0.398 0.083 4.950 0.160

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 33 34 44 72 41 44 56

N.S.

1 1.00 1.00 1.03 1.33 2.18 1.24 1.33 1.70

time (sec)

N/A 0.115 0.016 0.411 0.269 0.402 0.064 5.125 2.162

Problem 278

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

17 17 17 12 11 11 10 11 11

N.S.

1 1.00 1.00 0.71 0.65 0.65 0.59 0.65 0.65

time (sec)

N/A 0.005 0.005 0.203 0.486 0.385 0.048 4.106 0.032

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 22 21 20 20 34 20 20

N.S.

1 1.00 0.92 0.88 0.83 0.83 1.42 0.83 0.83

time (sec)

N/A 0.013 0.007 0.202 0.491 0.405 0.066 4.055 2.134

Problem 280

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

15 15 23 18 17 17 17 20 19

N.S.

1 1.00 1.53 1.20 1.13 1.13 1.13 1.33 1.27

time (sec)

N/A 0.039 0.005 0.224 0.483 0.436 0.048 6.245 0.056

Problem 281

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 20 18 17 17 19 17 17

N.S.

1 1.00 1.00 0.90 0.85 0.85 0.95 0.85 0.85

time (sec)

N/A 0.008 0.008 0.207 0.486 0.429 0.052 3.653 0.050

Problem 282

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

37 37 33 28 27 44 29 60 35

N.S.

1 1.00 0.89 0.76 0.73 1.19 0.78 1.62 0.95

time (sec)

N/A 0.028 0.018 0.182 0.481 0.389 0.059 3.966 2.144

Problem 283

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

26 26 26 22 21 21 26 21 21

N.S.

1 1.00 1.00 0.85 0.81 0.81 1.00 0.81 0.81

time (sec)

N/A 0.008 0.007 0.168 0.486 0.417 0.025 3.208 0.030

Problem 284

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

12 12 12 11 10 16 10 11 10

N.S.

1 1.00 1.00 0.92 0.83 1.33 0.83 0.92 0.83

time (sec)

N/A 0.023 0.003 0.158 0.270 0.406 0.024 2.443 2.125

Problem 285

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

21 21 21 18 17 17 15 20 21

N.S.

1 1.00 1.00 0.86 0.81 0.81 0.71 0.95 1.00

time (sec)

N/A 0.019 0.005 0.018 0.283 0.429 0.044 3.551 2.144

Problem 286

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

22 22 22 21 20 34 17 20 20

N.S.

1 1.00 1.00 0.95 0.91 1.55 0.77 0.91 0.91

time (sec)

N/A 0.010 0.007 0.015 0.489 0.382 0.034 3.782 2.124

Problem 287

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

24 24 24 21 20 32 19 20 22

N.S.

1 1.00 1.00 0.88 0.83 1.33 0.79 0.83 0.92

time (sec)

N/A 0.012 0.009 0.015 0.505 0.402 0.036 4.443 0.029

Problem 288

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

36 36 36 34 33 33 39 33 56

N.S.

1 1.00 1.00 0.94 0.92 0.92 1.08 0.92 1.56

time (sec)

N/A 0.018 0.012 0.208 0.478 0.404 0.077 4.627 0.103

Problem 289

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 37 28 27 27 29 27 37

N.S.

1 1.00 1.00 0.76 0.73 0.73 0.78 0.73 1.00

time (sec)

N/A 0.018 0.007 0.189 0.488 0.393 0.067 6.116 2.136

Problem 290

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

29 29 29 22 21 21 22 23 21

N.S.

1 1.00 1.00 0.76 0.72 0.72 0.76 0.79 0.72

time (sec)

N/A 0.013 0.004 0.223 0.268 0.395 0.037 5.066 2.214

Problem 291

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

19 19 19 16 15 15 14 16 15

N.S.

1 1.00 1.00 0.84 0.79 0.79 0.74 0.84 0.79

time (sec)

N/A 0.010 0.003 0.188 0.276 0.401 0.018 3.863 0.034

Problem 292

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

41 41 41 35 34 34 46 34 36

N.S.

1 1.00 1.00 0.85 0.83 0.83 1.12 0.83 0.88

time (sec)

N/A 0.023 0.011 0.285 0.496 0.426 0.037 3.362 0.043

Problem 293

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

41 41 39 32 31 31 34 31 31

N.S.

1 1.00 0.95 0.78 0.76 0.76 0.83 0.76 0.76

time (sec)

N/A 0.019 0.006 0.272 0.479 0.390 0.035 4.160 2.116

Problem 294

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

30 30 24 21 20 20 24 23 20

N.S.

1 1.00 0.80 0.70 0.67 0.67 0.80 0.77 0.67

time (sec)

N/A 0.037 0.009 0.221 0.279 0.425 0.053 3.070 2.125

Problem 295

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 35 28 27 27 31 30 27

N.S.

1 1.00 1.00 0.80 0.77 0.77 0.89 0.86 0.77

time (sec)

N/A 0.025 0.006 0.021 0.273 0.434 0.053 2.431 0.044

Problem 296

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

34 34 32 25 24 34 27 34 26

N.S.

1 1.00 0.94 0.74 0.71 1.00 0.79 1.00 0.76

time (sec)

N/A 0.033 0.011 0.196 0.270 0.395 0.050 3.164 2.109

Problem 297

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

42 42 42 35 33 44 36 33 39

N.S.

1 1.00 1.00 0.83 0.79 1.05 0.86 0.79 0.93

time (sec)

N/A 0.014 0.015 0.190 0.486 0.431 0.044 3.881 2.187

Problem 298

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

49 49 49 38 37 37 46 37 41

N.S.

1 1.00 1.00 0.78 0.76 0.76 0.94 0.76 0.84

time (sec)

N/A 0.106 0.010 0.395 0.482 0.436 0.091 3.795 0.072

Problem 299

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

29 29 29 20 19 19 24 22 19

N.S.

1 1.00 1.00 0.69 0.66 0.66 0.83 0.76 0.66

time (sec)

N/A 0.034 0.006 0.209 0.268 0.382 0.050 3.242 2.182

Problem 300

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

46 46 43 34 33 33 41 34 50

N.S.

1 1.00 0.93 0.74 0.72 0.72 0.89 0.74 1.09

time (sec)

N/A 0.031 0.013 0.201 0.490 0.391 0.052 3.243 0.086

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