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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 26 21 59 113 0 44 53

N.S.

1 1.00 1.13 0.91 2.57 4.91 0.00 1.91 2.30

time (sec)

N/A 0.015 0.018 0.857 0.275 0.373 0.000 0.394 0.072

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 22 33 56 31 0 45 49

N.S.

1 1.00 1.00 1.50 2.55 1.41 0.00 2.05 2.23

time (sec)

N/A 0.017 0.011 0.875 0.260 0.353 0.000 0.398 1.431

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 67 90 108 612 0 105 112

N.S.

1 1.00 1.37 1.84 2.20 12.49 0.00 2.14 2.29

time (sec)

N/A 0.028 0.026 1.457 0.281 0.364 0.000 0.405 0.078

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 37 51 100 89 0 71 131

N.S.

1 1.00 1.00 1.38 2.70 2.41 0.00 1.92 3.54

time (sec)

N/A 0.019 0.015 1.027 0.261 0.404 0.000 0.399 1.454

Problem 105

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

27 27 25 23 70 203 185 63 49

N.S.

1 1.00 0.93 0.85 2.59 7.52 6.85 2.33 1.81

time (sec)

N/A 0.018 0.016 1.339 0.267 0.357 1.697 0.395 0.074

Problem 106

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

40 40 31 39 66 60 0 71 50

N.S.

1 1.00 0.78 0.98 1.65 1.50 0.00 1.78 1.25

time (sec)

N/A 0.034 0.077 1.324 0.262 0.375 0.000 0.420 0.087

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 35 43 120 743 0 102 97

N.S.

1 1.00 0.81 1.00 2.79 17.28 0.00 2.37 2.26

time (sec)

N/A 0.030 0.036 1.528 0.272 0.405 0.000 0.413 1.458

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 44 31 87 357 0 69 81

N.S.

1 1.00 1.16 0.82 2.29 9.39 0.00 1.82 2.13

time (sec)

N/A 0.024 0.024 1.009 0.272 0.405 0.000 0.395 1.438

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 38 52 79 63 0 67 78

N.S.

1 1.00 1.00 1.37 2.08 1.66 0.00 1.76 2.05

time (sec)

N/A 0.026 0.015 0.962 0.266 0.371 0.000 0.413 0.097

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 85 118 133 1077 0 123 140

N.S.

1 1.00 1.29 1.79 2.02 16.32 0.00 1.86 2.12

time (sec)

N/A 0.039 0.037 1.827 0.264 0.406 0.000 0.433 1.486

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 35 33 95 457 0 85 77

N.S.

1 1.00 0.90 0.85 2.44 11.72 0.00 2.18 1.97

time (sec)

N/A 0.026 0.024 1.076 0.262 0.381 0.000 0.409 0.109

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

11 11 11 12 25 56 0 25 24

N.S.

1 1.00 1.00 1.09 2.27 5.09 0.00 2.27 2.18

time (sec)

N/A 0.008 0.008 0.733 0.267 0.367 0.000 0.399 0.058

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 15 14 13 86 22 27 13

N.S.

1 1.00 1.00 0.93 0.87 5.73 1.47 1.80 0.87

time (sec)

N/A 0.020 0.011 0.728 0.254 0.376 2.164 0.401 0.070

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 16 17 53 115 0 0 31

N.S.

1 1.00 1.00 1.06 3.31 7.19 0.00 0.00 1.94

time (sec)

N/A 0.022 0.016 0.849 0.503 0.430 0.000 0.000 1.482

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 15 32 13 139 0 31 31

N.S.

1 1.00 1.00 2.13 0.87 9.27 0.00 2.07 2.07

time (sec)

N/A 0.020 0.003 1.254 0.255 0.416 0.000 0.398 1.452

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 15 34 13 208 0 37 231

N.S.

1 1.00 1.00 2.27 0.87 13.87 0.00 2.47 15.40

time (sec)

N/A 0.022 0.003 0.862 0.264 0.420 0.000 0.414 1.493

Problem 117

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

20 20 20 21 20 70 0 39 43

N.S.

1 1.00 1.00 1.05 1.00 3.50 0.00 1.95 2.15

time (sec)

N/A 0.025 0.016 0.966 0.284 0.389 0.000 0.431 1.483

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 27 34 148 171 0 49 48

N.S.

1 1.00 1.00 1.26 5.48 6.33 0.00 1.81 1.78

time (sec)

N/A 0.018 0.011 1.085 0.266 0.357 0.000 0.405 1.412

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 31 34 214 343 0 49 252

N.S.

1 1.00 1.00 1.10 6.90 11.06 0.00 1.58 8.13

time (sec)

N/A 0.025 0.018 0.859 0.262 0.363 0.000 0.421 1.510

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 34 499 414 216 0 0 100

N.S.

1 1.00 0.92 13.49 11.19 5.84 0.00 0.00 2.70

time (sec)

N/A 0.038 0.052 3.145 0.536 0.455 0.000 0.000 1.550

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 57 65 84 387 0 84 87

N.S.

1 1.00 1.68 1.91 2.47 11.38 0.00 2.47 2.56

time (sec)

N/A 0.023 0.025 1.496 0.266 0.379 0.000 0.394 0.078

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 95 87 129 1109 0 106 219

N.S.

1 1.00 1.73 1.58 2.35 20.16 0.00 1.93 3.98

time (sec)

N/A 0.045 0.032 1.299 0.284 0.476 0.000 0.413 0.109

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 95 89 133 1114 0 110 190

N.S.

1 1.00 1.73 1.62 2.42 20.25 0.00 2.00 3.45

time (sec)

N/A 0.049 0.029 1.505 0.270 0.386 0.000 0.410 1.409

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 27 31 149 164 0 30 144

N.S.

1 1.00 1.59 1.82 8.76 9.65 0.00 1.76 8.47

time (sec)

N/A 0.020 0.017 0.530 0.265 0.347 0.000 0.395 1.461

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 17 18 139 222 0 29 210

N.S.

1 1.00 1.00 1.06 8.18 13.06 0.00 1.71 12.35

time (sec)

N/A 0.021 0.009 0.444 0.277 0.355 0.000 0.402 1.478

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 30 371 368 114 0 0 87

N.S.

1 1.00 1.15 14.27 14.15 4.38 0.00 0.00 3.35

time (sec)

N/A 0.028 0.063 2.056 0.480 0.386 0.000 0.000 1.541

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 84 60 98 1260 0 71 214

N.S.

1 1.00 2.21 1.58 2.58 33.16 0.00 1.87 5.63

time (sec)

N/A 0.051 0.014 0.651 0.267 0.362 0.000 0.394 1.393

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 47 49 431 430 0 48 413

N.S.

1 1.00 1.88 1.96 17.24 17.20 0.00 1.92 16.52

time (sec)

N/A 0.024 0.020 0.676 0.267 0.359 0.000 0.388 1.394

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 29 38 191 250 0 47 40

N.S.

1 1.00 1.00 1.31 6.59 8.62 0.00 1.62 1.38

time (sec)

N/A 0.015 0.014 0.830 0.270 0.357 0.000 0.396 1.453

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 33 38 435 442 0 54 372

N.S.

1 1.00 1.00 1.15 13.18 13.39 0.00 1.64 11.27

time (sec)

N/A 0.027 0.010 0.486 0.267 0.404 0.000 0.390 1.415

Problem 131

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

27 27 26 24 58 87 58 71 23

N.S.

1 1.00 0.96 0.89 2.15 3.22 2.15 2.63 0.85

time (sec)

N/A 0.022 0.025 0.701 0.272 0.346 0.177 0.390 0.156

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 27 24 59 75 61 78 23

N.S.

1 1.00 1.00 0.89 2.19 2.78 2.26 2.89 0.85

time (sec)

N/A 0.021 0.031 0.711 0.271 0.379 0.178 0.406 1.486

Problem 133

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

27 27 26 24 58 89 58 69 23

N.S.

1 1.00 0.96 0.89 2.15 3.30 2.15 2.56 0.85

time (sec)

N/A 0.017 0.018 0.870 0.292 0.352 0.174 0.393 1.440

Problem 134

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

27 27 26 24 59 77 58 74 23

N.S.

1 1.00 0.96 0.89 2.19 2.85 2.15 2.74 0.85

time (sec)

N/A 0.014 0.019 0.863 0.273 0.337 0.176 0.403 1.485

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 29 151 83 259 0 95 115

N.S.

1 1.00 0.78 4.08 2.24 7.00 0.00 2.57 3.11

time (sec)

N/A 0.053 0.359 1.066 0.501 0.384 0.000 0.416 1.926

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 30 149 87 216 0 86 121

N.S.

1 1.00 0.83 4.14 2.42 6.00 0.00 2.39 3.36

time (sec)

N/A 0.050 0.358 1.066 0.491 0.428 0.000 0.411 1.887

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 29 155 157 259 0 97 115

N.S.

1 1.00 0.78 4.19 4.24 7.00 0.00 2.62 3.11

time (sec)

N/A 0.031 0.350 1.531 0.277 0.423 0.000 0.401 0.491

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 32 153 160 216 0 90 121

N.S.

1 1.00 0.89 4.25 4.44 6.00 0.00 2.50 3.36

time (sec)

N/A 0.032 0.343 1.353 0.277 0.367 0.000 0.398 1.839

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 27 77 68 184 0 79 266

N.S.

1 1.00 0.75 2.14 1.89 5.11 0.00 2.19 7.39

time (sec)

N/A 0.017 0.145 0.633 0.484 0.365 0.000 0.390 2.393

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 27 75 67 156 0 70 268

N.S.

1 1.00 0.82 2.27 2.03 4.73 0.00 2.12 8.12

time (sec)

N/A 0.021 0.145 0.637 0.520 0.371 0.000 0.390 2.367

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 28 79 133 184 0 81 266

N.S.

1 1.00 0.78 2.19 3.69 5.11 0.00 2.25 7.39

time (sec)

N/A 0.017 0.164 0.474 0.283 0.371 0.000 0.391 1.775

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 29 77 129 156 0 74 269

N.S.

1 1.00 0.88 2.33 3.91 4.73 0.00 2.24 8.15

time (sec)

N/A 0.018 0.145 0.471 0.273 0.377 0.000 0.390 0.362

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 86 167 57 327 0 49 133

N.S.

1 1.00 2.97 5.76 1.97 11.28 0.00 1.69 4.59

time (sec)

N/A 0.017 0.042 1.030 0.485 0.395 0.000 0.399 1.866

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 102 205 105 902 0 97 173

N.S.

1 1.00 2.27 4.56 2.33 20.04 0.00 2.16 3.84

time (sec)

N/A 0.048 0.073 1.530 0.482 0.372 0.000 0.402 1.624

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 70 240 149 1737 0 120 -1

N.S.

1 1.00 0.97 3.33 2.07 24.12 0.00 1.67 -0.01

time (sec)

N/A 0.073 0.241 1.515 0.491 0.374 0.000 0.392 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 93 155 94 439 0 93 139

N.S.

1 1.00 3.21 5.34 3.24 15.14 0.00 3.21 4.79

time (sec)

N/A 0.015 0.040 0.964 0.274 0.373 0.000 0.389 0.154

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 110 197 140 1237 0 136 181

N.S.

1 1.00 2.39 4.28 3.04 26.89 0.00 2.96 3.93

time (sec)

N/A 0.035 0.068 1.127 0.268 0.420 0.000 0.386 1.585

Problem 148

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

73 73 70 230 186 2372 0 169 -1

N.S.

1 1.00 0.96 3.15 2.55 32.49 0.00 2.32 -0.01

time (sec)

N/A 0.079 0.242 1.589 0.271 0.449 0.000 0.399 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 26 148 49 87 0 49 65

N.S.

1 1.00 1.00 5.69 1.88 3.35 0.00 1.88 2.50

time (sec)

N/A 0.012 0.087 0.762 0.267 0.375 0.000 0.383 0.223

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 83 181 70 405 0 68 150

N.S.

1 1.00 2.37 5.17 2.00 11.57 0.00 1.94 4.29

time (sec)

N/A 0.024 0.061 1.089 0.472 0.383 0.000 0.392 1.587

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 35 58 120 246 0 51 -1

N.S.

1 1.00 0.92 1.53 3.16 6.47 0.00 1.34 -0.03

time (sec)

N/A 0.035 0.120 0.866 0.261 0.384 0.000 0.391 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 26 150 84 86 0 51 65

N.S.

1 1.00 1.00 5.77 3.23 3.31 0.00 1.96 2.50

time (sec)

N/A 0.011 0.084 0.468 0.266 0.386 0.000 0.386 1.573

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 90 172 103 617 0 104 156

N.S.

1 1.00 2.50 4.78 2.86 17.14 0.00 2.89 4.33

time (sec)

N/A 0.027 0.058 0.706 0.272 0.401 0.000 0.397 0.199

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 35 57 131 246 0 53 -1

N.S.

1 1.00 0.90 1.46 3.36 6.31 0.00 1.36 -0.03

time (sec)

N/A 0.039 0.127 0.868 0.273 0.373 0.000 0.392 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 86 167 59 327 0 53 133

N.S.

1 1.00 2.97 5.76 2.03 11.28 0.00 1.83 4.59

time (sec)

N/A 0.017 0.040 1.181 0.487 0.345 0.000 0.394 0.155

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 102 207 103 902 0 97 173

N.S.

1 1.00 2.27 4.60 2.29 20.04 0.00 2.16 3.84

time (sec)

N/A 0.039 0.070 1.648 0.474 0.372 0.000 0.398 0.194

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 115 238 149 1737 0 122 -1

N.S.

1 1.00 1.60 3.31 2.07 24.12 0.00 1.69 -0.01

time (sec)

N/A 0.062 0.224 1.681 0.488 0.416 0.000 0.398 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 93 155 90 439 0 91 139

N.S.

1 1.00 3.21 5.34 3.10 15.14 0.00 3.14 4.79

time (sec)

N/A 0.016 0.038 1.106 0.267 0.398 0.000 0.388 0.148

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 110 195 144 1237 0 142 183

N.S.

1 1.00 2.39 4.24 3.13 26.89 0.00 3.09 3.98

time (sec)

N/A 0.034 0.066 1.324 0.283 0.390 0.000 0.410 1.551

Problem 160

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

73 73 70 228 184 2372 0 167 -1

N.S.

1 1.00 0.96 3.12 2.52 32.49 0.00 2.29 -0.01

time (sec)

N/A 0.066 0.234 1.292 0.293 0.369 0.000 0.414 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 26 146 51 86 0 50 64

N.S.

1 1.00 1.00 5.62 1.96 3.31 0.00 1.92 2.46

time (sec)

N/A 0.012 0.079 0.784 0.271 0.349 0.000 0.396 0.204

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 83 183 70 405 0 68 148

N.S.

1 1.00 2.37 5.23 2.00 11.57 0.00 1.94 4.23

time (sec)

N/A 0.025 0.060 1.250 0.480 0.349 0.000 0.389 1.547

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 35 56 119 248 0 49 -1

N.S.

1 1.00 0.92 1.47 3.13 6.53 0.00 1.29 -0.03

time (sec)

N/A 0.035 0.123 1.013 0.266 0.346 0.000 0.392 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 26 152 80 87 0 50 66

N.S.

1 1.00 1.00 5.85 3.08 3.35 0.00 1.92 2.54

time (sec)

N/A 0.012 0.076 0.619 0.266 0.403 0.000 0.404 1.519

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 90 170 105 617 0 106 156

N.S.

1 1.00 2.50 4.72 2.92 17.14 0.00 2.94 4.33

time (sec)

N/A 0.026 0.047 0.868 0.263 0.448 0.000 0.392 0.174

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 35 59 132 243 0 51 -1

N.S.

1 1.00 0.90 1.51 3.38 6.23 0.00 1.31 -0.03

time (sec)

N/A 0.036 0.122 1.018 0.269 0.374 0.000 0.399 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 43 40 0 72 153 85 42

N.S.

1 1.00 1.00 0.93 0.00 1.67 3.56 1.98 0.98

time (sec)

N/A 0.034 0.156 1.021 0.000 0.352 0.363 0.400 0.153

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 69 57 0 120 408 120 76

N.S.

1 1.00 1.11 0.92 0.00 1.94 6.58 1.94 1.23

time (sec)

N/A 0.048 0.530 0.572 0.000 0.400 0.852 0.403 0.248

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 86 84 0 218 921 179 182

N.S.

1 1.00 0.95 0.92 0.00 2.40 10.12 1.97 2.00

time (sec)

N/A 0.061 0.333 2.069 0.000 0.429 2.422 0.391 0.512

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 106 83 0 192 1027 156 152

N.S.

1 1.00 1.20 0.94 0.00 2.18 11.67 1.77 1.73

time (sec)

N/A 0.054 0.500 2.362 0.000 0.396 1.954 0.396 1.915

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 158 133 0 414 2008 260 337

N.S.

1 1.00 1.10 0.92 0.00 2.88 13.94 1.81 2.34

time (sec)

N/A 0.107 1.095 0.826 0.000 0.373 6.850 0.396 1.936

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 177 184 0 731 3582 373 906

N.S.

1 1.00 0.91 0.94 0.00 3.75 18.37 1.91 4.65

time (sec)

N/A 0.121 1.074 2.806 0.000 0.381 21.683 0.416 2.080

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 43 40 0 71 153 85 42

N.S.

1 1.00 1.00 0.93 0.00 1.65 3.56 1.98 0.98

time (sec)

N/A 0.030 0.127 1.072 0.000 0.363 0.358 0.397 0.142

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 69 57 0 115 405 120 68

N.S.

1 1.00 1.11 0.92 0.00 1.85 6.53 1.94 1.10

time (sec)

N/A 0.043 0.503 1.638 0.000 0.426 0.880 0.399 0.227

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 85 84 0 217 918 179 180

N.S.

1 1.00 0.93 0.92 0.00 2.38 10.09 1.97 1.98

time (sec)

N/A 0.058 0.315 1.349 0.000 0.400 2.435 0.391 1.898

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 105 83 0 192 1027 156 115

N.S.

1 1.00 1.19 0.94 0.00 2.18 11.67 1.77 1.31

time (sec)

N/A 0.049 0.474 1.611 0.000 0.342 1.956 0.399 1.916

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 158 133 0 397 2001 260 337

N.S.

1 1.00 1.10 0.92 0.00 2.76 13.90 1.81 2.34

time (sec)

N/A 0.077 1.104 2.516 0.000 0.374 6.874 0.408 1.949

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 176 184 0 726 3580 373 908

N.S.

1 1.00 0.90 0.94 0.00 3.72 18.36 1.91 4.66

time (sec)

N/A 0.109 1.026 2.264 0.000 0.373 21.867 0.404 2.025

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 43 40 0 71 153 85 42

N.S.

1 1.00 1.00 0.93 0.00 1.65 3.56 1.98 0.98

time (sec)

N/A 0.035 0.145 0.595 0.000 0.378 0.361 0.396 0.140

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 69 57 0 119 405 120 68

N.S.

1 1.00 1.11 0.92 0.00 1.92 6.53 1.94 1.10

time (sec)

N/A 0.045 0.479 0.587 0.000 0.370 0.866 0.397 0.230

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 85 84 0 213 918 179 182

N.S.

1 1.00 0.93 0.92 0.00 2.34 10.09 1.97 2.00

time (sec)

N/A 0.060 0.319 0.607 0.000 0.361 2.499 0.405 1.871

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 74 63 0 114 411 124 76

N.S.

1 1.00 1.09 0.93 0.00 1.68 6.04 1.82 1.12

time (sec)

N/A 0.039 0.518 1.499 0.000 0.370 0.897 0.398 1.650

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 107 83 0 192 1027 156 135

N.S.

1 1.00 1.22 0.94 0.00 2.18 11.67 1.77 1.53

time (sec)

N/A 0.051 0.495 1.448 0.000 0.374 1.999 0.393 1.959

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 158 133 0 398 2008 260 337

N.S.

1 1.00 1.10 0.92 0.00 2.76 13.94 1.81 2.34

time (sec)

N/A 0.072 1.055 1.901 0.000 0.376 7.468 0.404 1.983

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 90 90 0 243 937 183 183

N.S.

1 1.00 0.93 0.93 0.00 2.51 9.66 1.89 1.89

time (sec)

N/A 0.062 0.357 0.753 0.000 0.447 2.564 0.406 0.529

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

138 138 153 127 0 443 2020 256 337

N.S.

1 1.00 1.11 0.92 0.00 3.21 14.64 1.86 2.44

time (sec)

N/A 0.087 1.116 0.816 0.000 0.417 6.896 0.407 2.002

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 176 184 0 729 3580 373 908

N.S.

1 1.00 0.90 0.94 0.00 3.74 18.36 1.91 4.66

time (sec)

N/A 0.125 1.136 0.884 0.000 0.387 21.745 0.410 2.094

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 278 0 0 0 0 0 -1

N.S.

1 1.00 2.30 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.077 9.933 0.182 0.000 0.000 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 240 0 0 0 0 0 -1

N.S.

1 1.00 2.05 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.080 4.513 0.481 0.000 0.000 0.000 0.000 0.000

Problem 190

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

116 116 99 0 0 0 0 0 -1

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.073 6.268 0.497 0.000 0.000 0.000 0.000 0.000

Problem 191

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

120 120 103 0 0 0 0 0 -1

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.076 7.867 0.333 0.000 0.000 0.000 0.000 0.000

Problem 192

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

8 15 15 7 27 17 20 25 6

N.S.

1 1.88 1.88 0.88 3.38 2.12 2.50 3.12 0.75

time (sec)

N/A 0.007 0.008 0.529 0.256 0.402 0.125 0.399 0.067

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 17 14 27 22 20 27 13

N.S.

1 1.00 1.00 0.82 1.59 1.29 1.18 1.59 0.76

time (sec)

N/A 0.006 0.010 0.913 0.272 0.369 0.124 0.393 0.058

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 17 14 27 36 20 27 14

N.S.

1 1.00 1.00 0.82 1.59 2.12 1.18 1.59 0.82

time (sec)

N/A 0.007 0.010 0.766 0.258 0.335 0.125 0.395 0.055

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 25 28 0 42 78 59 26

N.S.

1 1.00 0.71 0.80 0.00 1.20 2.23 1.69 0.74

time (sec)

N/A 0.024 0.032 0.878 0.000 0.349 0.201 0.380 0.091

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 15 12 27 19 20 25 11

N.S.

1 1.00 1.00 0.80 1.80 1.27 1.33 1.67 0.73

time (sec)

N/A 0.007 0.008 0.664 0.267 0.362 0.120 0.388 1.419

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 17 14 27 33 20 26 11

N.S.

1 1.00 1.00 0.82 1.59 1.94 1.18 1.53 0.65

time (sec)

N/A 0.008 0.007 0.766 0.270 0.388 0.118 0.387 0.058

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 17 14 27 38 20 27 15

N.S.

1 1.00 1.00 0.82 1.59 2.24 1.18 1.59 0.88

time (sec)

N/A 0.008 0.010 0.859 0.272 0.394 0.120 0.398 1.434

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 25 28 0 42 37 59 26

N.S.

1 1.00 0.71 0.80 0.00 1.20 1.06 1.69 0.74

time (sec)

N/A 0.026 0.031 0.367 0.000 0.344 0.186 0.390 1.441

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 19 54 53 115 0 36 47

N.S.

1 1.00 1.00 2.84 2.79 6.05 0.00 1.89 2.47

time (sec)

N/A 0.020 0.012 1.102 0.478 0.348 0.000 0.399 1.472

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