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

2.2.2 Integrals 101 to 200

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 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 39 34 67 73 670 0 45 137

N.S.

1 1.15 1.00 1.97 2.15 19.71 0.00 1.32 4.03

time (sec)

N/A 0.367 0.114 0.059 0.272 0.260 0.000 0.259 0.079

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 139 127 413 386 5275 0 593 301

N.S.

1 0.99 0.91 2.95 2.76 37.68 0.00 4.24 2.15

time (sec)

N/A 0.366 0.439 235.720 0.313 0.348 0.000 0.281 2.039

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 82 80 222 204 1827 0 316 169

N.S.

1 0.99 0.96 2.67 2.46 22.01 0.00 3.81 2.04

time (sec)

N/A 0.301 0.239 67.233 0.283 0.289 0.000 0.273 1.885

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 39 41 99 89 430 0 104 88

N.S.

1 0.98 1.02 2.48 2.22 10.75 0.00 2.60 2.20

time (sec)

N/A 0.263 0.100 12.036 0.277 0.259 0.000 0.260 1.891

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 11 12 11 42 0 45 50

N.S.

1 1.00 1.00 1.09 1.00 3.82 0.00 4.09 4.55

time (sec)

N/A 0.216 0.032 1.589 0.191 0.261 0.000 0.257 0.194

Problem 106

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

39 39 49 42 41 42 146 43 35

N.S.

1 1.00 1.26 1.08 1.05 1.08 3.74 1.10 0.90

time (sec)

N/A 0.302 0.073 0.040 0.198 0.260 0.228 0.266 0.141

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 117 75 104 86 331 0 111 84

N.S.

1 1.29 0.82 1.14 0.95 3.64 0.00 1.22 0.92

time (sec)

N/A 0.382 0.167 0.590 0.197 0.267 0.000 0.270 1.894

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 195 206 191 165 1281 0 227 143

N.S.

1 1.26 1.33 1.23 1.06 8.26 0.00 1.46 0.92

time (sec)

N/A 0.506 0.259 6.091 0.200 0.277 0.000 0.253 2.124

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 165 166 323 0 6509 0 326 447

N.S.

1 1.05 1.06 2.06 0.00 41.46 0.00 2.08 2.85

time (sec)

N/A 1.494 0.469 134.960 0.000 0.407 0.000 0.270 7.585

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 103 116 164 0 2043 0 152 265

N.S.

1 1.01 1.14 1.61 0.00 20.03 0.00 1.49 2.60

time (sec)

N/A 0.886 0.285 29.880 0.000 0.308 0.000 0.260 5.439

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 65 77 0 309 0 63 119

N.S.

1 1.00 1.16 1.38 0.00 5.52 0.00 1.12 2.12

time (sec)

N/A 0.466 0.154 4.488 0.000 0.277 0.000 0.255 4.291

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 46 39 0 148 0 35 35

N.S.

1 1.00 1.24 1.05 0.00 4.00 0.00 0.95 0.95

time (sec)

N/A 0.220 0.030 0.401 0.000 0.249 0.000 0.252 0.118

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 64 80 93 0 435 0 61 157

N.S.

1 0.88 1.10 1.27 0.00 5.96 0.00 0.84 2.15

time (sec)

N/A 0.481 0.231 0.226 0.000 0.268 0.000 0.254 1.932

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 125 258 172 0 1871 0 162 221

N.S.

1 0.95 1.95 1.30 0.00 14.17 0.00 1.23 1.67

time (sec)

N/A 0.883 0.375 2.048 0.000 0.287 0.000 0.257 2.768

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 70 52 40 55 571 104 47 35

N.S.

1 1.63 1.21 0.93 1.28 13.28 2.42 1.09 0.81

time (sec)

N/A 0.513 0.134 0.059 0.272 0.248 0.210 0.260 0.097

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 49 45 30 43 354 85 39 29

N.S.

1 1.32 1.22 0.81 1.16 9.57 2.30 1.05 0.78

time (sec)

N/A 0.420 0.089 0.052 0.280 0.282 0.194 0.258 0.077

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 44 41 28 29 186 75 35 21

N.S.

1 1.42 1.32 0.90 0.94 6.00 2.42 1.13 0.68

time (sec)

N/A 0.331 0.117 0.049 0.277 0.262 0.179 0.254 0.069

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 24 34 18 17 73 61 17 21

N.S.

1 1.26 1.79 0.95 0.89 3.84 3.21 0.89 1.11

time (sec)

N/A 0.224 0.075 0.045 0.277 0.247 0.168 0.255 0.068

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 24 14 11 10 26 27 10 10

N.S.

1 1.50 0.88 0.69 0.62 1.62 1.69 0.62 0.62

time (sec)

N/A 0.196 0.077 0.044 0.197 0.246 0.159 0.249 0.064

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 18 11 10 26 27 10 10

N.S.

1 1.00 1.12 0.69 0.62 1.62 1.69 0.62 0.62

time (sec)

N/A 0.175 0.026 0.038 0.197 0.247 0.156 0.249 0.055

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 32 34 18 24 73 0 18 17

N.S.

1 1.68 1.79 0.95 1.26 3.84 0.00 0.95 0.89

time (sec)

N/A 0.295 0.101 0.128 0.193 0.259 0.000 0.250 0.062

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 39 47 30 38 196 0 36 29

N.S.

1 1.34 1.62 1.03 1.31 6.76 0.00 1.24 1.00

time (sec)

N/A 0.407 0.219 0.198 0.185 0.257 0.000 0.269 1.659

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 60 54 30 54 357 0 40 35

N.S.

1 1.62 1.46 0.81 1.46 9.65 0.00 1.08 0.95

time (sec)

N/A 0.521 0.221 0.213 0.188 0.252 0.000 0.287 0.075

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 67 53 44 64 582 0 48 69

N.S.

1 1.56 1.23 1.02 1.49 13.53 0.00 1.12 1.60

time (sec)

N/A 0.610 0.251 0.227 0.196 0.252 0.000 0.273 1.684

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 56 39 35 0 252 58 96 34

N.S.

1 1.24 0.87 0.78 0.00 5.60 1.29 2.13 0.76

time (sec)

N/A 0.337 0.508 0.057 0.000 0.266 3.902 0.287 1.740

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 41 32 26 0 129 48 53 25

N.S.

1 1.28 1.00 0.81 0.00 4.03 1.50 1.66 0.78

time (sec)

N/A 0.261 0.323 0.063 0.000 0.256 0.730 0.277 1.699

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 41 30 25 0 85 46 52 24

N.S.

1 1.37 1.00 0.83 0.00 2.83 1.53 1.73 0.80

time (sec)

N/A 0.266 0.373 0.068 0.000 0.263 1.268 0.262 0.124

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C A F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 57 36 35 0 168 60 73 32

N.S.

1 1.16 0.73 0.71 0.00 3.43 1.22 1.49 0.65

time (sec)

N/A 0.335 0.423 0.063 0.000 0.259 4.981 0.282 0.113

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 45 35 0 429 58 140 34

N.S.

1 1.00 1.00 0.78 0.00 9.53 1.29 3.11 0.76

time (sec)

N/A 0.328 0.667 0.057 0.000 0.268 5.294 0.271 1.756

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 34 26 0 237 49 96 25

N.S.

1 1.00 1.00 0.76 0.00 6.97 1.44 2.82 0.74

time (sec)

N/A 0.258 0.416 0.066 0.000 0.264 0.997 0.289 0.103

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 34 35 0 182 58 54 36

N.S.

1 1.00 0.81 0.83 0.00 4.33 1.38 1.29 0.86

time (sec)

N/A 0.322 0.537 0.067 0.000 0.254 1.473 0.270 0.118

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 48 35 0 168 60 95 31

N.S.

1 1.00 0.98 0.71 0.00 3.43 1.22 1.94 0.63

time (sec)

N/A 0.366 0.610 0.075 0.000 0.243 5.546 0.270 1.693

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 131 92 96 150 1296 546 142 85

N.S.

1 1.39 0.98 1.02 1.60 13.79 5.81 1.51 0.90

time (sec)

N/A 0.944 0.515 0.087 0.287 0.292 0.445 0.259 0.215

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 99 77 76 100 644 442 98 68

N.S.

1 1.30 1.01 1.00 1.32 8.47 5.82 1.29 0.89

time (sec)

N/A 0.678 0.362 0.077 0.283 0.268 0.385 0.268 1.761

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 81 65 67 71 264 330 75 59

N.S.

1 1.27 1.02 1.05 1.11 4.12 5.16 1.17 0.92

time (sec)

N/A 0.546 0.266 0.069 0.287 0.264 0.306 0.262 0.125

Problem 136

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

63 61 59 52 56 76 243 58 46

N.S.

1 0.97 0.94 0.83 0.89 1.21 3.86 0.92 0.73

time (sec)

N/A 0.459 0.150 0.048 0.260 0.262 0.259 0.255 1.741

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 48 50 40 40 43 141 43 36

N.S.

1 1.23 1.28 1.03 1.03 1.10 3.62 1.10 0.92

time (sec)

N/A 0.313 0.138 0.040 0.199 0.254 0.214 0.260 1.729

Problem 138

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

39 39 49 42 41 42 146 43 35

N.S.

1 1.00 1.26 1.08 1.05 1.08 3.74 1.10 0.90

time (sec)

N/A 0.286 0.007 0.028 0.202 0.258 0.210 0.255 0.002

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 63 65 56 65 73 0 58 58

N.S.

1 1.24 1.27 1.10 1.27 1.43 0.00 1.14 1.14

time (sec)

N/A 0.396 0.124 0.142 0.197 0.288 0.000 0.260 1.993

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 77 66 78 86 271 0 75 73

N.S.

1 1.28 1.10 1.30 1.43 4.52 0.00 1.25 1.22

time (sec)

N/A 0.560 0.240 0.136 0.194 0.277 0.000 0.259 1.967

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 109 76 92 121 641 0 97 111

N.S.

1 1.43 1.00 1.21 1.59 8.43 0.00 1.28 1.46

time (sec)

N/A 0.775 0.255 0.195 0.210 0.267 0.000 0.263 2.043

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 131 92 114 173 1299 0 142 163

N.S.

1 1.35 0.95 1.18 1.78 13.39 0.00 1.46 1.68

time (sec)

N/A 1.033 0.400 0.220 0.203 0.283 0.000 0.258 2.100

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 58 49 73 68 182 0 174 69

N.S.

1 1.05 0.89 1.33 1.24 3.31 0.00 3.16 1.25

time (sec)

N/A 0.390 0.132 4.689 0.345 0.257 0.000 0.271 1.794

Problem 144

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

231 245 250 953 0 1516 0 0 0

N.S.

1 1.06 1.08 4.13 0.00 6.56 0.00 0.00 0.00

time (sec)

N/A 1.006 1.433 3.199 0.000 0.350 0.000 0.000 0.000

Problem 145

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

351 353 268 1186 0 2110 0 0 0

N.S.

1 1.01 0.76 3.38 0.00 6.01 0.00 0.00 0.00

time (sec)

N/A 1.496 0.744 3.212 0.000 0.329 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 27 64 24 23 28 0 23 21

N.S.

1 0.93 2.21 0.83 0.79 0.97 0.00 0.79 0.72

time (sec)

N/A 0.230 0.024 0.205 0.204 0.258 0.000 0.258 1.713

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 174 64 37 128 113 0 123 47

N.S.

1 1.15 0.42 0.25 0.85 0.75 0.00 0.81 0.31

time (sec)

N/A 0.442 0.231 0.069 0.299 0.262 0.000 0.253 1.720

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 35 41 19 22 0 19 25

N.S.

1 1.00 1.52 1.78 0.83 0.96 0.00 0.83 1.09

time (sec)

N/A 0.202 0.144 0.091 0.270 0.245 0.000 0.256 1.689

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 158 58 33 124 92 0 119 44

N.S.

1 1.09 0.40 0.23 0.86 0.63 0.00 0.82 0.30

time (sec)

N/A 0.384 0.146 0.043 0.281 0.261 0.000 0.258 1.713

Problem 150

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

12 12 12 11 10 18 15 20 15

N.S.

1 1.00 1.00 0.92 0.83 1.50 1.25 1.67 1.25

time (sec)

N/A 0.202 0.022 0.048 0.203 0.248 0.093 0.266 1.785

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 175 59 42 125 120 0 121 45

N.S.

1 1.19 0.40 0.29 0.85 0.82 0.00 0.82 0.31

time (sec)

N/A 0.420 0.139 0.059 0.275 0.260 0.000 0.254 1.732

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 40 44 19 21 0 16 24

N.S.

1 1.00 2.00 2.20 0.95 1.05 0.00 0.80 1.20

time (sec)

N/A 0.213 0.131 0.064 0.280 0.251 0.000 0.258 1.711

Problem 153

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

47 47 86 42 40 58 0 39 39

N.S.

1 1.00 1.83 0.89 0.85 1.23 0.00 0.83 0.83

time (sec)

N/A 0.253 0.082 0.094 0.196 0.256 0.000 0.250 1.759

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 209 174 53 144 178 0 139 67

N.S.

1 1.21 1.01 0.31 0.83 1.03 0.00 0.80 0.39

time (sec)

N/A 0.501 0.531 0.067 0.270 0.263 0.000 0.264 1.764

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 52 41 57 35 50 0 35 41

N.S.

1 1.30 1.02 1.42 0.88 1.25 0.00 0.88 1.02

time (sec)

N/A 0.260 0.308 0.068 0.292 0.261 0.000 0.265 1.718

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 165 146 47 138 156 0 133 61

N.S.

1 1.00 0.88 0.28 0.84 0.95 0.00 0.81 0.37

time (sec)

N/A 0.348 0.442 0.051 0.264 0.253 0.000 0.283 1.722

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 24 13 21 28 12 19 28

N.S.

1 1.00 1.71 0.93 1.50 2.00 0.86 1.36 2.00

time (sec)

N/A 0.221 0.040 0.037 0.182 0.240 0.115 0.257 1.690

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 213 181 64 146 180 0 143 68

N.S.

1 1.12 0.95 0.34 0.77 0.95 0.00 0.75 0.36

time (sec)

N/A 0.495 0.565 0.056 0.276 0.256 0.000 0.268 1.769

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 40 66 37 51 0 39 47

N.S.

1 1.00 0.68 1.12 0.63 0.86 0.00 0.66 0.80

time (sec)

N/A 0.278 0.310 0.066 0.281 0.249 0.000 0.258 1.749

Problem 160

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

60 60 47 0 0 0 0 0 0

N.S.

1 1.00 0.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.242 0.099 0.000 0.000 0.000 0.000 0.000 0.000

Problem 161

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

79 97 79 0 0 0 0 0 0

N.S.

1 1.23 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.314 0.163 0.000 0.000 0.000 0.000 0.000 0.000

Problem 162

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

176 197 111 0 0 0 0 0 0

N.S.

1 1.12 0.63 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.456 0.201 0.000 0.000 0.000 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

79 79 259 0 0 0 0 0 0

N.S.

1 1.00 3.28 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.262 0.476 0.000 0.000 0.000 0.000 0.000 0.000

Problem 164

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 No N/A TBD TBD TBD TBD TBD

size

99 99 126 0 0 0 0 0 0

N.S.

1 1.00 1.27 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.296 0.808 0.000 0.000 0.000 0.000 0.000 0.000

Problem 165

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

51 51 76 0 0 0 0 0 0

N.S.

1 1.00 1.49 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.208 0.925 0.000 0.000 0.000 0.000 0.000 0.000

Problem 166

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

106 109 121 0 0 0 0 0 0

N.S.

1 1.03 1.14 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.255 1.022 0.000 0.000 0.000 0.000 0.000 0.000

Problem 167

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

158 173 141 0 0 0 0 0 0

N.S.

1 1.09 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.300 1.123 0.000 0.000 0.000 0.000 0.000 0.000

Problem 168

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 No N/A TBD TBD TBD TBD TBD

size

190 205 228 0 0 0 0 0 0

N.S.

1 1.08 1.20 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.335 1.442 0.000 0.000 0.000 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

61 61 171 0 0 0 0 0 0

N.S.

1 1.00 2.80 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.218 0.684 0.000 0.000 0.000 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

61 61 171 0 0 0 0 0 0

N.S.

1 1.00 2.80 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.234 0.722 0.000 0.000 0.000 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

61 61 171 0 0 0 0 0 0

N.S.

1 1.00 2.80 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.240 0.750 0.000 0.000 0.000 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

59 95 127 0 0 0 0 0 0

N.S.

1 1.61 2.15 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.340 8.170 0.000 0.000 0.000 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

63 99 136 0 0 0 0 0 0

N.S.

1 1.57 2.16 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.329 7.819 0.000 0.000 0.000 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

55 91 122 0 0 0 0 0 0

N.S.

1 1.65 2.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.322 7.926 0.000 0.000 0.000 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

53 88 126 0 0 0 0 0 0

N.S.

1 1.66 2.38 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.315 8.683 0.000 0.000 0.000 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 24 25 24 76 36 74 34

N.S.

1 1.00 0.96 1.00 0.96 3.04 1.44 2.96 1.36

time (sec)

N/A 0.229 0.061 0.097 0.198 0.269 1.385 0.360 1.681

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

59 93 126 0 0 0 0 0 0

N.S.

1 1.58 2.14 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.329 3.292 0.000 0.000 0.000 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

56 92 120 0 0 0 0 0 0

N.S.

1 1.64 2.14 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.328 3.396 0.000 0.000 0.000 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

133 183 159 0 0 0 0 0 0

N.S.

1 1.38 1.20 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.489 8.355 0.000 0.000 0.000 0.000 0.000 0.000

Problem 180

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

137 187 169 0 0 0 0 0 0

N.S.

1 1.36 1.23 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.490 8.176 0.000 0.000 0.000 0.000 0.000 0.000

Problem 181

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

131 181 155 0 0 0 0 0 0

N.S.

1 1.38 1.18 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.479 8.303 0.000 0.000 0.000 0.000 0.000 0.000

Problem 182

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

127 177 163 0 0 0 0 0 0

N.S.

1 1.39 1.28 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.457 8.894 0.000 0.000 0.000 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 33 51 33 36 72 70 37 34

N.S.

1 1.18 1.82 1.18 1.29 2.57 2.50 1.32 1.21

time (sec)

N/A 0.236 0.123 0.100 0.247 0.253 2.498 0.364 1.686

Problem 184

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

135 182 162 0 0 0 0 0 0

N.S.

1 1.35 1.20 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.479 3.500 0.000 0.000 0.000 0.000 0.000 0.000

Problem 185

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

136 183 159 0 0 0 0 0 0

N.S.

1 1.35 1.17 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.475 3.550 0.000 0.000 0.000 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 49 43 47 304 566 68 127 94

N.S.

1 1.14 1.00 1.09 7.07 13.16 1.58 2.95 2.19

time (sec)

N/A 0.305 0.163 0.172 0.267 0.257 0.752 0.348 1.829

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 47 62 42 494 194 65 67 162

N.S.

1 1.04 1.38 0.93 10.98 4.31 1.44 1.49 3.60

time (sec)

N/A 0.296 0.097 0.328 0.278 0.269 1.652 0.397 1.761

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 71 55 62 829 1568 87 161 227

N.S.

1 1.08 0.83 0.94 12.56 23.76 1.32 2.44 3.44

time (sec)

N/A 0.382 0.215 0.648 0.326 0.263 3.837 0.356 1.716

Problem 189

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

88 124 160 0 0 0 0 0 0

N.S.

1 1.41 1.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.372 13.664 0.000 0.000 0.000 0.000 0.000 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

169 213 516 0 0 0 0 0 0

N.S.

1 1.26 3.05 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.545 16.970 0.000 0.000 0.000 0.000 0.000 0.000

Problem 191

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

307 362 606 0 0 0 0 0 0

N.S.

1 1.18 1.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.781 17.161 0.000 0.000 0.000 0.000 0.000 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

115 115 387 0 0 0 0 0 0

N.S.

1 1.00 3.37 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.393 1.362 0.000 0.000 0.000 0.000 0.000 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

135 135 174 0 0 0 0 0 0

N.S.

1 1.00 1.29 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.441 1.276 0.000 0.000 0.000 0.000 0.000 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 62 76 0 625 0 0 65

N.S.

1 1.00 0.85 1.04 0.00 8.56 0.00 0.00 0.89

time (sec)

N/A 0.333 0.324 0.329 0.000 0.267 0.000 0.000 2.834

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 71 57 74 0 334 87 0 51

N.S.

1 1.01 0.81 1.06 0.00 4.77 1.24 0.00 0.73

time (sec)

N/A 0.315 0.159 0.233 0.000 0.295 15.352 0.000 2.421

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 49 43 61 0 303 66 0 39

N.S.

1 1.02 0.90 1.27 0.00 6.31 1.38 0.00 0.81

time (sec)

N/A 0.260 0.093 0.239 0.000 0.265 0.980 0.000 2.046

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 49 47 37 0 305 66 0 36

N.S.

1 1.04 1.00 0.79 0.00 6.49 1.40 0.00 0.77

time (sec)

N/A 0.257 0.140 0.264 0.000 0.278 1.817 0.000 2.183

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 97 76 0 625 87 0 65

N.S.

1 1.00 1.37 1.07 0.00 8.80 1.23 0.00 0.92

time (sec)

N/A 0.335 0.171 0.266 0.000 0.279 8.316 0.000 2.309

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 73 101 74 0 1110 88 0 64

N.S.

1 1.01 1.40 1.03 0.00 15.42 1.22 0.00 0.89

time (sec)

N/A 0.326 0.274 0.276 0.000 0.278 113.756 0.000 2.919

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

135 92 136 149 0 8891 0 0 0

N.S.

1 0.68 1.01 1.10 0.00 65.86 0.00 0.00 0.00

time (sec)

N/A 0.493 1.404 0.825 0.000 1.136 0.000 0.000 0.000

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