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

2.2.4 Integrals 301 to 400

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 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F B

verified

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

size

50 50 50 0 0 0 0 0 73

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 1.46

time (sec)

N/A 0.209 0.018 0.000 0.000 0.000 0.000 0.000 0.390

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 29 534 0 244 0 0 181

N.S.

1 1.00 1.00 18.41 0.00 8.41 0.00 0.00 6.24

time (sec)

N/A 0.194 0.006 0.529 0.000 0.273 0.000 0.000 0.387

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 368 0 175 0 0 148

N.S.

1 1.00 1.00 13.14 0.00 6.25 0.00 0.00 5.29

time (sec)

N/A 0.193 0.006 0.457 0.000 0.286 0.000 0.000 0.375

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 116 76 234 0 120 0 0 89

N.S.

1 0.97 0.64 1.97 0.00 1.01 0.00 0.00 0.75

time (sec)

N/A 0.387 0.051 0.330 0.000 0.289 0.000 0.000 0.535

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 81 58 133 0 77 0 0 82

N.S.

1 0.95 0.68 1.56 0.00 0.91 0.00 0.00 0.96

time (sec)

N/A 0.306 0.037 0.104 0.000 0.254 0.000 0.000 2.527

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 42 61 0 51 0 0 47

N.S.

1 1.00 0.91 1.33 0.00 1.11 0.00 0.00 1.02

time (sec)

N/A 0.228 0.022 0.075 0.000 0.295 0.000 0.000 0.906

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 22 0 20 0 0 20

N.S.

1 1.00 1.00 1.10 0.00 1.00 0.00 0.00 1.00

time (sec)

N/A 0.186 0.005 0.310 0.000 0.287 0.000 0.000 0.318

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 26 25 31 34 31 25

N.S.

1 1.00 1.00 1.04 1.00 1.24 1.36 1.24 1.00

time (sec)

N/A 0.189 0.008 0.254 0.215 0.289 0.123 0.312 1.522

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 41 51 0 51 44 0 41

N.S.

1 1.00 0.72 0.89 0.00 0.89 0.77 0.00 0.72

time (sec)

N/A 0.280 0.014 0.365 0.000 0.285 0.098 0.000 2.708

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 99 60 79 0 95 102 0 104

N.S.

1 1.10 0.67 0.88 0.00 1.06 1.13 0.00 1.16

time (sec)

N/A 0.349 0.019 0.427 0.000 0.256 0.117 0.000 2.103

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 141 76 125 0 150 177 0 161

N.S.

1 1.16 0.62 1.02 0.00 1.23 1.45 0.00 1.32

time (sec)

N/A 0.448 0.026 0.544 0.000 0.268 0.139 0.000 0.467

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 29 189 0 219 272 0 231

N.S.

1 1.00 0.32 2.05 0.00 2.38 2.96 0.00 2.51

time (sec)

N/A 0.242 0.006 0.627 0.000 0.285 0.159 0.000 0.555

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 28 271 0 302 388 0 315

N.S.

1 1.00 0.26 2.51 0.00 2.80 3.59 0.00 2.92

time (sec)

N/A 0.255 0.006 0.750 0.000 0.287 0.191 0.000 0.647

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F B

verified

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

size

61 61 61 0 0 0 0 0 73

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 1.20

time (sec)

N/A 0.208 0.024 0.000 0.000 0.000 0.000 0.000 0.449

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 961 0 465 0 0 136

N.S.

1 1.00 1.00 31.00 0.00 15.00 0.00 0.00 4.39

time (sec)

N/A 0.193 0.008 3.276 0.000 0.304 0.000 0.000 0.585

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 646 0 331 0 0 120

N.S.

1 1.00 1.00 20.84 0.00 10.68 0.00 0.00 3.87

time (sec)

N/A 0.193 0.007 1.983 0.000 0.293 0.000 0.000 0.475

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 123 96 395 0 225 0 0 92

N.S.

1 1.02 0.79 3.26 0.00 1.86 0.00 0.00 0.76

time (sec)

N/A 0.421 0.103 1.026 0.000 0.269 0.000 0.000 0.447

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 88 71 208 0 145 0 0 76

N.S.

1 1.01 0.82 2.39 0.00 1.67 0.00 0.00 0.87

time (sec)

N/A 0.335 0.027 0.573 0.000 0.285 0.000 0.000 0.358

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 47 86 0 96 0 0 51

N.S.

1 1.00 0.89 1.62 0.00 1.81 0.00 0.00 0.96

time (sec)

N/A 0.244 0.018 0.147 0.000 0.256 0.000 0.000 2.003

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 23 0 31 0 0 20

N.S.

1 1.00 1.00 1.05 0.00 1.41 0.00 0.00 0.91

time (sec)

N/A 0.180 0.006 0.274 0.000 0.266 0.000 0.000 0.417

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 26 25 54 53 54 37

N.S.

1 1.00 1.00 0.96 0.93 2.00 1.96 2.00 1.37

time (sec)

N/A 0.182 0.008 0.431 0.242 0.271 0.149 0.335 0.252

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 47 74 101 100 82 0 97

N.S.

1 1.00 0.76 1.19 1.63 1.61 1.32 0.00 1.56

time (sec)

N/A 0.263 0.020 0.648 0.251 0.280 0.137 0.000 0.389

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 106 64 127 208 180 189 1703 183

N.S.

1 1.16 0.70 1.40 2.29 1.98 2.08 18.71 2.01

time (sec)

N/A 0.350 0.025 1.054 0.253 0.309 0.185 0.472 0.568

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 150 81 216 349 287 333 0 292

N.S.

1 1.19 0.64 1.71 2.77 2.28 2.64 0.00 2.32

time (sec)

N/A 0.455 0.031 1.678 0.289 0.316 0.223 0.000 0.875

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 31 341 526 420 518 0 427

N.S.

1 1.00 0.32 3.55 5.48 4.38 5.40 0.00 4.45

time (sec)

N/A 0.247 0.007 2.785 0.275 0.295 0.346 0.000 1.198

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 31 502 740 583 745 0 583

N.S.

1 1.00 0.27 4.44 6.55 5.16 6.59 0.00 5.16

time (sec)

N/A 0.266 0.007 4.502 0.249 0.301 1.550 0.000 1.619

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 49 1173 0 561 0 0 265

N.S.

1 1.00 1.00 23.94 0.00 11.45 0.00 0.00 5.41

time (sec)

N/A 0.220 0.021 4.191 0.000 0.288 0.000 0.000 0.947

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 49 826 0 413 0 0 232

N.S.

1 1.00 1.00 16.86 0.00 8.43 0.00 0.00 4.73

time (sec)

N/A 0.203 0.019 2.623 0.000 0.327 0.000 0.000 0.823

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 172 113 543 0 293 0 0 199

N.S.

1 1.01 0.66 3.19 0.00 1.72 0.00 0.00 1.17

time (sec)

N/A 0.551 0.095 1.522 0.000 0.286 0.000 0.000 1.100

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 137 97 324 0 201 0 0 166

N.S.

1 1.01 0.71 2.38 0.00 1.48 0.00 0.00 1.22

time (sec)

N/A 0.458 0.071 0.737 0.000 0.262 0.000 0.000 0.680

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 79 169 0 130 0 0 97

N.S.

1 1.00 0.77 1.66 0.00 1.27 0.00 0.00 0.95

time (sec)

N/A 0.352 0.056 0.584 0.000 0.274 0.000 0.000 0.987

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 63 74 0 91 0 0 62

N.S.

1 1.00 0.94 1.10 0.00 1.36 0.00 0.00 0.93

time (sec)

N/A 0.268 0.031 0.109 0.000 0.292 0.000 0.000 1.331

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 46 35 0 45 0 0 35

N.S.

1 1.00 1.00 0.76 0.00 0.98 0.00 0.00 0.76

time (sec)

N/A 0.220 0.009 0.427 0.000 0.306 0.000 0.000 0.429

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 81 76 0 117 0 0 76

N.S.

1 1.00 1.00 0.94 0.00 1.44 0.00 0.00 0.94

time (sec)

N/A 0.311 0.034 0.694 0.000 0.271 0.000 0.000 0.621

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 127 95 109 0 199 0 0 105

N.S.

1 1.10 0.83 0.95 0.00 1.73 0.00 0.00 0.91

time (sec)

N/A 0.411 0.064 1.401 0.000 0.293 0.000 0.000 0.768

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 173 111 142 0 305 0 0 142

N.S.

1 1.16 0.74 0.95 0.00 2.05 0.00 0.00 0.95

time (sec)

N/A 0.535 0.094 2.389 0.000 0.283 0.000 0.000 0.991

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 219 127 175 0 439 0 0 160

N.S.

1 1.20 0.69 0.96 0.00 2.40 0.00 0.00 0.87

time (sec)

N/A 0.628 0.120 4.230 0.000 0.283 0.000 0.000 1.249

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 49 208 0 601 0 0 189

N.S.

1 1.00 1.00 4.24 0.00 12.27 0.00 0.00 3.86

time (sec)

N/A 0.192 0.030 7.001 0.000 0.129 0.000 0.000 1.505

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 49 241 0 791 0 0 217

N.S.

1 1.00 1.00 4.92 0.00 16.14 0.00 0.00 4.43

time (sec)

N/A 0.191 0.020 10.957 0.000 0.139 0.000 0.000 1.722

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F B

verified

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

size

61 61 61 0 0 0 0 0 73

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 1.20

time (sec)

N/A 0.206 0.028 0.000 0.000 0.000 0.000 0.000 0.452

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F B

verified

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

size

31 31 31 0 0 686 0 0 136

N.S.

1 1.00 1.00 0.00 0.00 22.13 0.00 0.00 4.39

time (sec)

N/A 0.196 0.009 0.000 0.000 0.337 0.000 0.000 0.652

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F B

verified

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

size

31 31 31 0 0 487 0 0 120

N.S.

1 1.00 1.00 0.00 0.00 15.71 0.00 0.00 3.87

time (sec)

N/A 0.189 0.009 0.000 0.000 0.297 0.000 0.000 0.547

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F B

verified

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

size

121 123 96 0 0 330 0 0 92

N.S.

1 1.02 0.79 0.00 0.00 2.73 0.00 0.00 0.76

time (sec)

N/A 0.432 0.128 0.000 0.000 0.301 0.000 0.000 0.564

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F B

verified

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

size

87 88 71 0 0 213 0 0 76

N.S.

1 1.01 0.82 0.00 0.00 2.45 0.00 0.00 0.87

time (sec)

N/A 0.355 0.036 0.000 0.000 0.281 0.000 0.000 0.451

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F B

verified

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

size

53 53 47 0 0 141 0 0 51

N.S.

1 1.00 0.89 0.00 0.00 2.66 0.00 0.00 0.96

time (sec)

N/A 0.259 0.024 0.000 0.000 0.297 0.000 0.000 0.356

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F B

verified

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

size

22 22 22 0 0 42 0 0 20

N.S.

1 1.00 1.00 0.00 0.00 1.91 0.00 0.00 0.91

time (sec)

N/A 0.185 0.006 0.000 0.000 0.305 0.000 0.000 0.311

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 26 25 77 65 77 48

N.S.

1 1.00 1.00 0.96 0.93 2.85 2.41 2.85 1.78

time (sec)

N/A 0.190 0.010 0.624 0.206 0.401 0.179 0.338 0.307

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 47 97 144 148 114 0 136

N.S.

1 1.00 0.76 1.56 2.32 2.39 1.84 0.00 2.19

time (sec)

N/A 0.293 0.023 1.510 0.231 0.321 0.153 0.000 0.493

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 106 64 175 300 265 270 0 263

N.S.

1 1.10 0.67 1.82 3.12 2.76 2.81 0.00 2.74

time (sec)

N/A 0.353 0.030 3.004 0.233 0.302 0.216 0.000 0.795

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 150 73 307 507 423 484 0 422

N.S.

1 1.22 0.59 2.50 4.12 3.44 3.93 0.00 3.43

time (sec)

N/A 0.462 0.025 6.034 0.343 0.334 0.394 0.000 1.281

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 31 493 770 621 760 0 620

N.S.

1 1.00 0.32 5.14 8.02 6.47 7.92 0.00 6.46

time (sec)

N/A 0.254 0.008 10.782 0.450 0.318 3.921 0.000 1.805

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 31 733 1085 863 1096 0 854

N.S.

1 1.00 0.27 6.49 9.60 7.64 9.70 0.00 7.56

time (sec)

N/A 0.277 0.008 17.856 0.286 0.383 52.112 0.000 2.544

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F B

verified

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

size

49 49 49 0 0 178 0 0 128

N.S.

1 1.00 1.00 0.00 0.00 3.63 0.00 0.00 2.61

time (sec)

N/A 0.205 0.023 0.000 0.000 0.085 0.000 0.000 0.746

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F B

verified

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

size

49 49 49 0 0 142 0 0 107

N.S.

1 1.00 1.00 0.00 0.00 2.90 0.00 0.00 2.18

time (sec)

N/A 0.190 0.016 0.000 0.000 0.097 0.000 0.000 1.725

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F B

verified

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

size

47 47 47 0 0 129 0 0 71

N.S.

1 1.00 1.00 0.00 0.00 2.74 0.00 0.00 1.51

time (sec)

N/A 0.170 0.010 0.000 0.000 0.106 0.000 0.000 0.637

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F B

verified

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

size

49 49 49 0 0 59 0 0 58

N.S.

1 1.00 1.00 0.00 0.00 1.20 0.00 0.00 1.18

time (sec)

N/A 0.203 0.020 0.000 0.000 0.100 0.000 0.000 0.470

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F B

verified

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

size

49 49 49 0 0 58 0 0 48

N.S.

1 1.00 1.00 0.00 0.00 1.18 0.00 0.00 0.98

time (sec)

N/A 0.203 0.020 0.000 0.000 0.103 0.000 0.000 0.431

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

49 49 49 0 0 155 0 0 114

N.S.

1 1.00 1.00 0.00 0.00 3.16 0.00 0.00 2.33

time (sec)

N/A 0.203 0.025 0.000 0.000 0.097 0.000 0.000 0.770

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F B

verified

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

size

61 61 61 0 0 0 0 0 93

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 1.52

time (sec)

N/A 0.206 0.017 0.000 0.000 0.000 0.000 0.000 0.840

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F B

verified

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

size

54 54 54 0 0 0 0 0 73

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 1.35

time (sec)

N/A 0.208 0.013 0.000 0.000 0.000 0.000 0.000 0.564

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F B

verified

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

size

54 54 54 0 0 0 0 0 73

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 1.35

time (sec)

N/A 0.201 0.012 0.000 0.000 0.000 0.000 0.000 0.528

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

54 54 54 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.188 0.011 0.000 0.000 0.000 0.000 0.000 0.000

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

50 50 50 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.171 0.008 0.000 0.000 0.000 0.000 0.000 0.000

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 26 0 22 0 0 0

N.S.

1 1.00 1.00 1.18 0.00 1.00 0.00 0.00 0.00

time (sec)

N/A 0.179 0.005 0.392 0.000 0.289 0.000 0.000 0.000

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F B

verified

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

size

52 52 52 0 0 0 0 0 71

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 1.37

time (sec)

N/A 0.196 0.012 0.000 0.000 0.000 0.000 0.000 0.350

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F B

verified

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

size

54 54 54 0 0 0 0 0 67

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 1.24

time (sec)

N/A 0.195 0.008 0.000 0.000 0.000 0.000 0.000 0.335

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F B

verified

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

size

54 54 54 0 0 0 0 0 71

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 1.31

time (sec)

N/A 0.197 0.008 0.000 0.000 0.000 0.000 0.000 0.353

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 114 32 113 129 116 287 0 0

N.S.

1 1.00 0.28 0.99 1.13 1.02 2.52 0.00 0.00

time (sec)

N/A 0.284 0.006 0.479 0.290 0.290 38.922 0.000 0.000

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 31 95 108 98 253 0 0

N.S.

1 1.00 0.33 1.01 1.15 1.04 2.69 0.00 0.00

time (sec)

N/A 0.251 0.006 0.421 0.218 0.267 24.652 0.000 0.000

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 155 32 77 87 80 219 0 0

N.S.

1 1.13 0.23 0.56 0.64 0.58 1.60 0.00 0.00

time (sec)

N/A 0.482 0.006 0.519 0.223 0.289 16.034 0.000 0.000

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 109 31 59 66 62 185 0 0

N.S.

1 1.09 0.31 0.59 0.66 0.62 1.85 0.00 0.00

time (sec)

N/A 0.346 0.007 0.437 0.230 0.294 10.939 0.000 0.000

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 32 41 45 44 150 0 0

N.S.

1 1.00 0.51 0.65 0.71 0.70 2.38 0.00 0.00

time (sec)

N/A 0.260 0.006 0.632 0.217 0.296 4.183 0.000 0.000

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 28 27 31 104 27 27

N.S.

1 1.00 1.00 1.04 1.00 1.15 3.85 1.00 1.00

time (sec)

N/A 0.186 0.008 0.634 0.188 0.285 3.081 0.330 0.290

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 26 0 22 0 0 0

N.S.

1 1.00 1.00 1.18 0.00 1.00 0.00 0.00 0.00

time (sec)

N/A 0.181 0.000 0.371 0.000 0.327 0.000 0.000 0.000

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 27 61 0 62 0 0 0

N.S.

1 1.00 0.48 1.09 0.00 1.11 0.00 0.00 0.00

time (sec)

N/A 0.251 0.006 0.583 0.000 0.260 0.000 0.000 0.000

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 96 32 99 0 84 0 0 0

N.S.

1 0.96 0.32 0.99 0.00 0.84 0.00 0.00 0.00

time (sec)

N/A 0.343 0.007 0.626 0.000 0.276 0.000 0.000 0.000

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 136 31 137 0 101 0 0 0

N.S.

1 0.98 0.22 0.99 0.00 0.73 0.00 0.00 0.00

time (sec)

N/A 0.420 0.007 0.645 0.000 0.309 0.000 0.000 0.000

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 32 145 0 119 0 0 0

N.S.

1 1.00 1.00 4.53 0.00 3.72 0.00 0.00 0.00

time (sec)

N/A 0.194 0.006 0.645 0.000 0.303 0.000 0.000 0.000

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 174 0 137 0 0 0

N.S.

1 1.00 1.00 5.61 0.00 4.42 0.00 0.00 0.00

time (sec)

N/A 0.190 0.006 0.644 0.000 0.313 0.000 0.000 0.000

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 47 36 0 50 0 37 39

N.S.

1 1.00 1.00 0.77 0.00 1.06 0.00 0.79 0.83

time (sec)

N/A 0.209 0.010 0.727 0.000 0.300 0.000 0.376 0.873

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 47 34 0 47 0 35 35

N.S.

1 1.00 1.00 0.72 0.00 1.00 0.00 0.74 0.74

time (sec)

N/A 0.218 0.007 0.410 0.000 0.329 0.000 0.324 0.687

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

518 518 412 1837 1456 531 0 704 716

N.S.

1 1.00 0.80 3.55 2.81 1.03 0.00 1.36 1.38

time (sec)

N/A 1.163 1.347 0.483 0.789 0.314 0.000 0.328 0.742

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

389 389 220 1198 1052 364 0 418 517

N.S.

1 1.00 0.57 3.08 2.70 0.94 0.00 1.07 1.33

time (sec)

N/A 0.850 1.208 0.315 0.644 0.321 0.000 0.308 0.567

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

258 258 148 707 695 208 0 248 313

N.S.

1 1.00 0.57 2.74 2.69 0.81 0.00 0.96 1.21

time (sec)

N/A 0.623 1.066 0.362 0.556 0.322 0.000 0.360 0.479

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 170 105 384 422 135 0 152 194

N.S.

1 1.00 0.62 2.26 2.48 0.79 0.00 0.89 1.14

time (sec)

N/A 0.459 0.997 0.326 0.433 0.298 0.000 0.329 0.442

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 74 162 195 85 0 93 96

N.S.

1 1.00 0.91 2.00 2.41 1.05 0.00 1.15 1.19

time (sec)

N/A 0.296 0.494 0.033 0.342 0.303 0.000 0.339 0.334

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 44 58 58 48 0 36 48

N.S.

1 1.00 1.00 1.32 1.32 1.09 0.00 0.82 1.09

time (sec)

N/A 0.165 0.003 0.004 0.211 0.265 0.000 0.310 0.151

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

21 21 23 21 23 33 17 23 23

N.S.

1 1.00 1.10 1.00 1.10 1.57 0.81 1.10 1.10

time (sec)

N/A 0.207 0.765 0.027 0.299 0.280 0.593 0.379 0.415

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

21 21 23 21 23 44 19 23 23

N.S.

1 1.00 1.10 1.00 1.10 2.10 0.90 1.10 1.10

time (sec)

N/A 0.439 1.530 0.026 0.302 0.299 0.779 0.529 1.605

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

21 21 23 21 23 55 19 23 23

N.S.

1 1.00 1.10 1.00 1.10 2.62 0.90 1.10 1.10

time (sec)

N/A 0.748 1.563 0.028 0.341 0.300 1.099 0.368 4.259

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

177 177 167 0 0 239 0 0 0

N.S.

1 1.00 0.94 0.00 0.00 1.35 0.00 0.00 0.00

time (sec)

N/A 0.372 0.458 0.000 0.000 0.086 0.000 0.000 0.000

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

126 126 117 0 0 175 0 0 0

N.S.

1 1.00 0.93 0.00 0.00 1.39 0.00 0.00 0.00

time (sec)

N/A 0.307 0.350 0.000 0.000 0.089 0.000 0.000 0.000

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

92 92 86 0 0 110 0 0 0

N.S.

1 1.00 0.93 0.00 0.00 1.20 0.00 0.00 0.00

time (sec)

N/A 0.244 0.327 0.000 0.000 0.096 0.000 0.000 0.000

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

40 40 40 0 0 52 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 1.30 0.00 0.00 0.00

time (sec)

N/A 0.164 0.043 0.000 0.000 0.091 0.000 0.000 0.000

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

19 19 21 18 20 43 48 20 20

N.S.

1 1.00 1.11 0.95 1.05 2.26 2.53 1.05 1.05

time (sec)

N/A 0.172 0.496 0.027 0.315 0.276 54.785 0.368 0.239

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

19 19 21 18 20 54 1 1 20

N.S.

1 1.00 1.11 0.95 1.05 2.84 0.05 0.05 1.05

time (sec)

N/A 0.579 2.213 0.029 0.327 0.271 0.000 0.442 0.269

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 66 106 0 89 0 0 0

N.S.

1 1.00 0.93 1.49 0.00 1.25 0.00 0.00 0.00

time (sec)

N/A 0.729 0.088 0.322 0.000 0.315 0.000 0.000 0.000

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 126 116 191 0 179 0 0 0

N.S.

1 1.09 1.00 1.65 0.00 1.54 0.00 0.00 0.00

time (sec)

N/A 1.139 0.221 0.489 0.000 0.271 0.000 0.000 0.000

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

267 257 0 506 0 555 0 0 0

N.S.

1 0.96 0.00 1.90 0.00 2.08 0.00 0.00 0.00

time (sec)

N/A 1.940 0.000 0.670 0.000 0.335 0.000 0.000 0.000

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

460 454 0 922 0 1376 0 0 0

N.S.

1 0.99 0.00 2.00 0.00 2.99 0.00 0.00 0.00

time (sec)

N/A 3.659 0.000 0.815 0.000 0.311 0.000 0.000 0.000

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