[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 A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 33 28 30 45 31 32 25

N.S.

1 1.00 0.92 0.78 0.83 1.25 0.86 0.89 0.69

time (sec)

N/A 0.006 0.012 0.069 2.141 0.377 0.040 1.374 0.051

Problem 202

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

87 87 87 70 90 165 88 62 65

N.S.

1 1.00 1.00 0.80 1.03 1.90 1.01 0.71 0.75

time (sec)

N/A 0.018 0.024 0.066 3.227 0.389 0.083 1.035 0.094

Problem 203

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

81 81 70 62 69 116 80 67 77

N.S.

1 1.00 0.86 0.77 0.85 1.43 0.99 0.83 0.95

time (sec)

N/A 0.045 0.025 0.188 3.371 0.398 0.094 1.418 0.109

Problem 204

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

104 104 87 70 90 165 90 62 90

N.S.

1 1.00 0.84 0.67 0.87 1.59 0.87 0.60 0.87

time (sec)

N/A 0.056 0.022 0.068 3.159 0.413 0.079 1.381 0.213

Problem 205

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

102 102 99 80 94 173 90 66 85

N.S.

1 1.00 0.97 0.78 0.92 1.70 0.88 0.65 0.83

time (sec)

N/A 0.027 0.039 0.076 4.159 0.403 0.090 0.973 0.213

Problem 206

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 40 35 39 39 37 47 37

N.S.

1 1.00 1.00 0.88 0.98 0.98 0.92 1.18 0.92

time (sec)

N/A 0.017 0.004 0.057 4.717 0.386 0.104 1.583 0.204

Problem 207

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

83 83 62 56 83 113 102 58 79

N.S.

1 1.00 0.75 0.67 1.00 1.36 1.23 0.70 0.95

time (sec)

N/A 0.029 0.017 0.071 2.366 0.386 0.316 1.374 0.146

Problem 208

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 43 32 31 37 42 31 31

N.S.

1 1.00 0.88 0.65 0.63 0.76 0.86 0.63 0.63

time (sec)

N/A 0.038 0.017 0.066 2.723 0.399 0.294 0.978 0.190

Problem 209

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

55 55 55 32 31 31 48 31 31

N.S.

1 1.00 1.00 0.58 0.56 0.56 0.87 0.56 0.56

time (sec)

N/A 0.164 0.120 0.068 2.204 0.399 0.858 1.090 0.066

Problem 210

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 31 18 18 19 18 18

N.S.

1 1.00 1.00 1.41 0.82 0.82 0.86 0.82 0.82

time (sec)

N/A 0.006 0.011 0.039 1.898 0.412 0.044 1.108 0.134

Problem 211

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

15 15 18 13 12 11 22 12 11

N.S.

1 1.00 1.20 0.87 0.80 0.73 1.47 0.80 0.73

time (sec)

N/A 0.004 0.012 0.012 1.876 0.391 0.447 0.867 0.030

Problem 212

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 24 21 20 19 20 21 19

N.S.

1 1.00 0.96 0.84 0.80 0.76 0.80 0.84 0.76

time (sec)

N/A 0.012 0.015 0.048 2.488 0.404 0.051 0.703 0.219

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 31 111 25 25 0 26 25

N.S.

1 1.00 0.94 3.36 0.76 0.76 0.00 0.79 0.76

time (sec)

N/A 0.015 0.318 0.028 1.671 0.379 0.000 0.626 0.245

Problem 214

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

29 29 24 20 19 19 134 19 16

N.S.

1 1.00 0.83 0.69 0.66 0.66 4.62 0.66 0.55

time (sec)

N/A 0.008 0.022 0.054 1.451 0.379 0.647 0.458 0.543

Problem 215

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

52 52 36 73 55 63 3966 49 43

N.S.

1 1.00 0.69 1.40 1.06 1.21 76.27 0.94 0.83

time (sec)

N/A 0.007 0.041 0.069 1.038 0.397 1.529 0.523 0.048

Problem 216

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

118 118 70 157 111 125 0 104 96

N.S.

1 1.00 0.59 1.33 0.94 1.06 0.00 0.88 0.81

time (sec)

N/A 0.022 0.068 0.098 1.238 0.381 0.000 0.495 0.210

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 90 158 105 86 12993 82 120

N.S.

1 1.00 0.87 1.52 1.01 0.83 124.93 0.79 1.15

time (sec)

N/A 0.030 0.160 0.313 1.942 0.401 39.755 0.516 0.212

Problem 218

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

38 38 66 39 43 32 0 29 43

N.S.

1 1.00 1.74 1.03 1.13 0.84 0.00 0.76 1.13

time (sec)

N/A 0.012 0.071 0.080 1.152 0.392 0.000 0.534 0.194

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 95 99 196 130 73 0 103 140

N.S.

1 1.03 1.08 2.13 1.41 0.79 0.00 1.12 1.52

time (sec)

N/A 0.044 0.179 0.051 1.300 0.380 0.000 0.484 0.345

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 47 64 0 65 0 74 95

N.S.

1 1.00 0.87 1.19 0.00 1.20 0.00 1.37 1.76

time (sec)

N/A 0.064 0.079 0.092 0.000 0.397 0.000 0.473 0.609

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

304 319 195 0 0 577 0 0 -1

N.S.

1 1.05 0.64 0.00 0.00 1.90 0.00 0.00 -0.00

time (sec)

N/A 0.572 15.937 0.043 0.000 0.463 0.000 0.000 0.000

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A NO NO TBD TBD TBD TBD TBD TBD

size

292 522 455 0 0 865 0 0 -1

N.S.

1 1.79 1.56 0.00 0.00 2.96 0.00 0.00 -0.00

time (sec)

N/A 1.353 50.057 0.033 0.000 0.526 0.000 0.000 0.000

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 29 25 22 0 47 0 0 25

N.S.

1 1.16 1.00 0.88 0.00 1.88 0.00 0.00 1.00

time (sec)

N/A 0.011 0.024 0.023 0.000 0.380 0.000 0.000 0.236

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 30 25 22 0 69 0 0 25

N.S.

1 1.20 1.00 0.88 0.00 2.76 0.00 0.00 1.00

time (sec)

N/A 0.012 0.028 0.030 0.000 0.362 0.000 0.000 0.260

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 63 30 27 0 77 0 0 30

N.S.

1 1.19 0.57 0.51 0.00 1.45 0.00 0.00 0.57

time (sec)

N/A 0.014 0.067 0.025 0.000 0.374 0.000 0.000 0.227

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A C F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 188 110 370 0 128 0 0 -1

N.S.

1 2.81 1.64 5.52 0.00 1.91 0.00 0.00 -0.01

time (sec)

N/A 0.084 0.075 0.254 0.000 0.384 0.000 0.000 0.000

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 133 96 118 0 142 0 83 -1

N.S.

1 1.09 0.79 0.97 0.00 1.16 0.00 0.68 -0.01

time (sec)

N/A 0.233 0.076 0.125 0.000 0.413 0.000 0.580 0.000

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A C F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 404 229 1247 0 280 0 0 -1

N.S.

1 2.69 1.53 8.31 0.00 1.87 0.00 0.00 -0.01

time (sec)

N/A 0.223 0.362 2.970 0.000 0.420 0.000 0.000 0.000

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 39 36 51 64 0 23 27

N.S.

1 1.00 0.91 0.84 1.19 1.49 0.00 0.53 0.63

time (sec)

N/A 0.005 0.152 0.079 6.139 0.412 0.000 0.530 0.050

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 37 45 0 62 0 34 -1

N.S.

1 1.00 0.88 1.07 0.00 1.48 0.00 0.81 -0.02

time (sec)

N/A 0.030 0.017 0.053 0.000 0.407 0.000 0.535 0.000

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 58 144 0 138 0 75 -1

N.S.

1 1.00 0.42 1.04 0.00 0.99 0.00 0.54 -0.01

time (sec)

N/A 0.083 0.047 0.058 0.000 0.395 0.000 0.522 0.000

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 188 110 670 0 128 0 0 -1

N.S.

1 2.51 1.47 8.93 0.00 1.71 0.00 0.00 -0.01

time (sec)

N/A 0.084 0.075 0.245 0.000 0.418 0.000 0.000 0.000

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 23 20 0 22 0 0 24

N.S.

1 1.00 0.79 0.69 0.00 0.76 0.00 0.00 0.83

time (sec)

N/A 0.023 0.023 0.015 0.000 0.376 0.000 0.000 0.052

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 32 29 0 44 0 0 37

N.S.

1 1.00 0.35 0.32 0.00 0.48 0.00 0.00 0.40

time (sec)

N/A 0.059 0.042 0.021 0.000 0.390 0.000 0.000 0.080

Problem 235

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

19 19 32 15 16 33 0 36 16

N.S.

1 1.00 1.68 0.79 0.84 1.74 0.00 1.89 0.84

time (sec)

N/A 0.010 0.067 0.135 4.392 0.394 0.000 0.464 0.197

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

8 8 23 5 8 29 0 24 4

N.S.

1 1.00 2.88 0.62 1.00 3.62 0.00 3.00 0.50

time (sec)

N/A 0.004 0.056 0.108 2.371 0.392 0.000 0.457 0.184

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 33 12 11 40 0 31 11

N.S.

1 1.00 2.75 1.00 0.92 3.33 0.00 2.58 0.92

time (sec)

N/A 0.003 0.064 0.115 3.038 0.377 0.000 0.474 0.222

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 42 29 0 23 0 51 79

N.S.

1 1.00 1.35 0.94 0.00 0.74 0.00 1.65 2.55

time (sec)

N/A 0.005 0.088 0.090 0.000 0.380 0.000 0.472 0.516

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 40 22 0 54 0 57 61

N.S.

1 1.00 1.29 0.71 0.00 1.74 0.00 1.84 1.97

time (sec)

N/A 0.007 0.089 0.089 0.000 0.392 0.000 0.536 0.485

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 24 100 112 48 61 42 78

N.S.

1 1.00 1.00 4.17 4.67 2.00 2.54 1.75 3.25

time (sec)

N/A 0.013 0.036 0.125 2.276 0.373 2.329 0.499 0.789

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 25 100 101 32 24 20 83

N.S.

1 1.00 1.00 4.00 4.04 1.28 0.96 0.80 3.32

time (sec)

N/A 0.013 0.024 0.132 2.954 0.414 2.263 0.487 0.760

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 57 70 0 72 0 74 107

N.S.

1 1.00 1.33 1.63 0.00 1.67 0.00 1.72 2.49

time (sec)

N/A 0.014 0.105 0.148 0.000 0.418 0.000 0.462 0.114

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 62 49 54 74 0 109 -1

N.S.

1 1.00 1.00 0.79 0.87 1.19 0.00 1.76 -0.02

time (sec)

N/A 0.025 0.160 0.194 1.628 0.396 0.000 0.558 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 90 69 0 151 0 164 -1

N.S.

1 1.00 1.10 0.84 0.00 1.84 0.00 2.00 -0.01

time (sec)

N/A 0.081 0.240 0.359 0.000 0.391 0.000 0.526 0.000

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 102 53 0 307 0 165 -1

N.S.

1 1.00 1.62 0.84 0.00 4.87 0.00 2.62 -0.02

time (sec)

N/A 0.040 0.137 0.486 0.000 0.428 0.000 0.545 0.000

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 103 128 0 303 0 152 -1

N.S.

1 1.00 1.84 2.29 0.00 5.41 0.00 2.71 -0.02

time (sec)

N/A 0.034 0.126 0.446 0.000 0.421 0.000 0.493 0.000

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 123 158 0 311 0 257 -1

N.S.

1 1.00 1.76 2.26 0.00 4.44 0.00 3.67 -0.01

time (sec)

N/A 0.054 0.185 0.632 0.000 0.416 0.000 0.546 0.000

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 89 124 192 0 20890 0 629 -1

N.S.

1 1.11 1.55 2.40 0.00 261.12 0.00 7.86 -0.01

time (sec)

N/A 0.092 0.898 0.214 0.000 37.958 0.000 0.572 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 85 94 0 81 0 231 -1

N.S.

1 1.00 2.24 2.47 0.00 2.13 0.00 6.08 -0.03

time (sec)

N/A 0.017 0.377 0.179 0.000 0.495 0.000 34.668 0.000

Problem 250

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

65 65 47 49 48 42 153 36 35

N.S.

1 1.00 0.72 0.75 0.74 0.65 2.35 0.55 0.54

time (sec)

N/A 0.012 0.042 0.083 1.393 0.530 4.513 0.801 0.028

Problem 251

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 28 38 37 31 41 51 25

N.S.

1 1.00 0.57 0.78 0.76 0.63 0.84 1.04 0.51

time (sec)

N/A 0.008 0.032 0.059 2.604 0.506 1.431 1.258 0.027

Problem 252

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

49 49 28 38 37 44 139 26 187

N.S.

1 1.00 0.57 0.78 0.76 0.90 2.84 0.53 3.82

time (sec)

N/A 0.005 0.040 0.052 3.118 0.529 3.784 1.193 0.048

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 12 328 10 62 53 11 154

N.S.

1 1.00 1.00 27.33 0.83 5.17 4.42 0.92 12.83

time (sec)

N/A 0.032 0.015 0.034 1.945 0.458 1.218 0.901 0.270

Problem 254

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 22 11 10 37 29 22 24

N.S.

1 1.00 1.83 0.92 0.83 3.08 2.42 1.83 2.00

time (sec)

N/A 0.010 0.114 0.055 2.697 0.509 5.722 0.855 0.195

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 44 23 0 67 0 64 77

N.S.

1 1.00 1.63 0.85 0.00 2.48 0.00 2.37 2.85

time (sec)

N/A 0.011 0.087 0.104 0.000 0.492 0.000 0.822 0.173

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 55 46 0 83 0 101 117

N.S.

1 1.00 1.15 0.96 0.00 1.73 0.00 2.10 2.44

time (sec)

N/A 0.009 0.097 0.112 0.000 0.482 0.000 0.564 0.093

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 50 100 107 77 0 72 -1

N.S.

1 1.00 1.22 2.44 2.61 1.88 0.00 1.76 -0.02

time (sec)

N/A 0.014 0.129 0.163 2.214 0.531 0.000 0.680 0.000

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 47 70 0 50 0 123 115

N.S.

1 1.00 1.00 1.49 0.00 1.06 0.00 2.62 2.45

time (sec)

N/A 0.014 0.157 0.127 0.000 0.493 0.000 0.610 0.133

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 108 82 0 160 0 135 159

N.S.

1 1.00 1.23 0.93 0.00 1.82 0.00 1.53 1.81

time (sec)

N/A 0.165 0.227 0.442 0.000 0.476 0.000 0.573 0.382

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 104 656 0 170 0 176 216

N.S.

1 1.00 0.76 4.82 0.00 1.25 0.00 1.29 1.59

time (sec)

N/A 1.058 0.340 0.030 0.000 0.490 0.000 0.574 0.615

Problem 261

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

64 64 66 64 63 51 0 45 56

N.S.

1 1.00 1.03 1.00 0.98 0.80 0.00 0.70 0.88

time (sec)

N/A 0.014 0.092 0.069 0.486 0.489 0.000 0.576 0.100

Problem 262

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

89 89 74 83 81 60 0 54 75

N.S.

1 1.00 0.83 0.93 0.91 0.67 0.00 0.61 0.84

time (sec)

N/A 0.022 0.097 0.069 0.482 0.477 0.000 0.547 0.325

Problem 263

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

113 113 82 104 101 68 0 63 96

N.S.

1 1.00 0.73 0.92 0.89 0.60 0.00 0.56 0.85

time (sec)

N/A 0.033 0.108 0.069 0.485 0.480 0.000 0.931 0.137

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 78 42 54 62 0 71 -1

N.S.

1 1.00 1.59 0.86 1.10 1.27 0.00 1.45 -0.02

time (sec)

N/A 0.020 0.121 0.153 2.699 0.440 0.000 1.137 0.000

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 78 74 66 64 0 147 -1

N.S.

1 1.00 0.99 0.94 0.84 0.81 0.00 1.86 -0.01

time (sec)

N/A 0.030 0.220 0.111 3.731 0.425 0.000 0.995 0.000

Problem 266

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

12 12 20 10 11 18 0 34 12

N.S.

1 1.00 1.67 0.83 0.92 1.50 0.00 2.83 1.00

time (sec)

N/A 0.006 0.052 0.128 1.732 0.452 0.000 1.415 0.240

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 47 47 48 39 0 39 -1

N.S.

1 1.00 0.89 0.89 0.91 0.74 0.00 0.74 -0.02

time (sec)

N/A 0.017 0.067 0.119 2.068 0.432 0.000 0.998 0.000

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 19 16 22 34 0 15 13

N.S.

1 1.00 1.00 0.84 1.16 1.79 0.00 0.79 0.68

time (sec)

N/A 0.002 0.086 0.105 1.880 0.403 0.000 1.138 0.032

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 17 27 22 28 0 13 15

N.S.

1 1.00 1.00 1.59 1.29 1.65 0.00 0.76 0.88

time (sec)

N/A 0.003 0.083 0.107 3.367 0.459 0.000 0.764 0.024

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 47 61 47 64 0 38 -1

N.S.

1 1.00 0.84 1.09 0.84 1.14 0.00 0.68 -0.02

time (sec)

N/A 0.017 0.106 0.120 2.586 0.427 0.000 0.828 0.000

Problem 271

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

65 65 52 49 56 44 0 44 61

N.S.

1 1.00 0.80 0.75 0.86 0.68 0.00 0.68 0.94

time (sec)

N/A 0.017 0.064 0.118 3.707 0.903 0.000 0.891 0.131

Problem 272

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

55 55 52 43 56 44 0 44 43

N.S.

1 1.00 0.95 0.78 1.02 0.80 0.00 0.80 0.78

time (sec)

N/A 0.010 0.105 0.111 2.788 0.749 0.000 1.111 0.213

Problem 273

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

74 74 62 58 77 54 0 54 56

N.S.

1 1.00 0.84 0.78 1.04 0.73 0.00 0.73 0.76

time (sec)

N/A 0.014 0.175 0.121 2.636 0.572 0.000 0.754 0.075

Problem 274

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

38 38 33 31 37 52 0 67 31

N.S.

1 1.00 0.87 0.82 0.97 1.37 0.00 1.76 0.82

time (sec)

N/A 0.010 0.074 0.124 2.719 0.585 0.000 0.627 0.028

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

57 57 42 44 50 63 0 84 -1

N.S.

1 1.00 0.74 0.77 0.88 1.11 0.00 1.47 -0.02

time (sec)

N/A 0.018 0.088 0.122 2.602 0.536 0.000 0.653 0.000

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 45 56 58 94 0 80 -1

N.S.

1 1.00 0.73 0.90 0.94 1.52 0.00 1.29 -0.02

time (sec)

N/A 0.020 0.131 0.122 2.346 0.507 0.000 1.507 0.000

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 52 69 71 107 0 117 -1

N.S.

1 1.00 0.66 0.87 0.90 1.35 0.00 1.48 -0.01

time (sec)

N/A 0.026 0.137 0.125 3.275 0.508 0.000 1.431 0.000

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 18 22 25 30 0 32 -1

N.S.

1 1.00 0.82 1.00 1.14 1.36 0.00 1.45 -0.05

time (sec)

N/A 0.007 0.078 0.129 1.849 0.487 0.000 1.743 0.000

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 85 69 0 110 0 147 -1

N.S.

1 1.00 0.99 0.80 0.00 1.28 0.00 1.71 -0.01

time (sec)

N/A 0.193 0.183 0.241 0.000 0.484 0.000 1.658 0.000

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 71 91 61 92 0 149 -1

N.S.

1 1.00 1.15 1.47 0.98 1.48 0.00 2.40 -0.02

time (sec)

N/A 0.032 0.197 0.194 2.478 0.481 0.000 1.133 0.000

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 84 123 0 174 0 235 -1

N.S.

1 1.00 1.11 1.62 0.00 2.29 0.00 3.09 -0.01

time (sec)

N/A 0.045 0.432 0.561 0.000 0.523 0.000 1.019 0.000

Problem 282

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

36 36 26 31 28 22 0 30 19

N.S.

1 1.00 0.72 0.86 0.78 0.61 0.00 0.83 0.53

time (sec)

N/A 0.081 0.076 0.110 3.013 0.525 0.000 0.826 0.269

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 95 69 0 147 0 148 -1

N.S.

1 1.00 1.09 0.79 0.00 1.69 0.00 1.70 -0.01

time (sec)

N/A 0.146 0.370 1.540 0.000 0.578 0.000 0.843 0.000

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 39 53 76 98 0 33 69

N.S.

1 1.00 0.67 0.91 1.31 1.69 0.00 0.57 1.19

time (sec)

N/A 0.008 0.219 0.131 1.851 0.780 0.000 0.812 0.229

Problem 285

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

47 47 33 40 59 73 0 27 29

N.S.

1 1.00 0.70 0.85 1.26 1.55 0.00 0.57 0.62

time (sec)

N/A 0.005 0.148 0.073 2.062 0.978 0.000 0.968 0.055

Problem 286

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

47 47 33 40 59 51 0 39 29

N.S.

1 1.00 0.70 0.85 1.26 1.09 0.00 0.83 0.62

time (sec)

N/A 0.005 0.156 0.122 2.610 1.193 0.000 0.939 0.204

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 43 40 0 39 0 60 -1

N.S.

1 1.00 1.48 1.38 0.00 1.34 0.00 2.07 -0.03

time (sec)

N/A 0.025 0.246 0.053 0.000 1.450 0.000 1.015 0.000

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 59 54 52 0 63 0 66 -1

N.S.

1 1.31 1.20 1.16 0.00 1.40 0.00 1.47 -0.02

time (sec)

N/A 0.021 0.082 0.063 0.000 1.232 0.000 0.801 0.000

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 64 59 0 54 0 54 71

N.S.

1 1.00 0.81 0.75 0.00 0.68 0.00 0.68 0.90

time (sec)

N/A 0.090 0.136 0.039 0.000 1.437 0.000 1.039 0.071

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 72 80 0 99 0 105 -1

N.S.

1 1.00 0.90 1.00 0.00 1.24 0.00 1.31 -0.01

time (sec)

N/A 0.236 0.157 0.235 0.000 1.258 0.000 0.760 0.000

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 159 140 0 155 0 0 -1

N.S.

1 1.00 1.01 0.89 0.00 0.98 0.00 0.00 -0.01

time (sec)

N/A 0.376 5.220 0.012 0.000 1.417 0.000 0.000 0.000

Problem 292

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

41 41 31 30 38 28 131 29 29

N.S.

1 1.00 0.76 0.73 0.93 0.68 3.20 0.71 0.71

time (sec)

N/A 0.005 0.030 0.106 2.312 1.696 1.948 0.917 0.044

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

13 13 13 12 11 17 10 11 11

N.S.

1 1.00 1.00 0.92 0.85 1.31 0.77 0.85 0.85

time (sec)

N/A 0.003 0.019 0.022 1.894 1.158 0.248 1.066 0.460

Problem 294

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

71 71 85 109 76 80 541 76 90

N.S.

1 1.00 1.20 1.54 1.07 1.13 7.62 1.07 1.27

time (sec)

N/A 0.020 0.081 0.420 3.530 1.408 1.270 0.841 0.211

Problem 295

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

40 40 23 29 28 29 178 49 23

N.S.

1 1.00 0.58 0.72 0.70 0.72 4.45 1.22 0.58

time (sec)

N/A 0.005 0.019 0.071 3.857 1.322 0.845 0.875 0.201

Problem 296

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

48 48 48 53 52 52 51 53 36

N.S.

1 1.00 1.00 1.10 1.08 1.08 1.06 1.10 0.75

time (sec)

N/A 0.014 0.034 0.073 3.737 1.263 1.127 2.831 0.867

Problem 297

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

69 69 36 46 45 25 3303 63 45

N.S.

1 1.00 0.52 0.67 0.65 0.36 47.87 0.91 0.65

time (sec)

N/A 0.014 0.020 0.062 2.655 0.850 1.085 0.761 0.300

Problem 298

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

193 193 120 125 157 202 44 142 77

N.S.

1 1.00 0.62 0.65 0.81 1.05 0.23 0.74 0.40

time (sec)

N/A 0.079 0.244 0.079 5.669 0.792 3.164 0.684 1.278

Problem 299

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

13 13 13 10 9 9 26 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 2.00 0.69 0.69

time (sec)

N/A 0.002 0.010 0.069 5.632 0.823 0.125 0.660 0.291

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

13 13 13 10 9 9 12 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 0.92 0.69 0.69

time (sec)

N/A 0.002 0.013 0.063 2.513 0.745 0.201 0.759 0.319

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