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

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 Reduce Mupad

grade

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

verified

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

size

355 176 154 0 0 0 0 0 80 0

N.S.

1 0.50 0.43 0.00 0.00 0.00 0.00 0.00 0.23 0.00

time (sec)

N/A 0.756 1.915 0.000 0.000 0.000 0.000 0.000 0.173 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 37 39 33 35 0 34 35 55 35

N.S.

1 1.00 1.05 0.89 0.95 0.00 0.92 0.95 1.49 0.95

time (sec)

N/A 0.844 4.077 0.556 0.881 0.000 1.040 0.248 0.177 16.559

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

536 224 192 0 0 0 0 0 54 0

N.S.

1 0.42 0.36 0.00 0.00 0.00 0.00 0.00 0.10 0.00

time (sec)

N/A 3.017 2.168 0.000 0.000 0.000 0.000 0.000 0.172 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

280 124 154 0 0 0 0 1477 54 0

N.S.

1 0.44 0.55 0.00 0.00 0.00 0.00 5.28 0.19 0.00

time (sec)

N/A 2.027 1.777 0.000 0.000 0.000 0.000 0.483 0.213 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F F A F B F B

verified

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

size

171 93 150 0 0 72 0 446 52 88

N.S.

1 0.54 0.88 0.00 0.00 0.42 0.00 2.61 0.30 0.51

time (sec)

N/A 1.181 0.957 0.000 0.000 0.079 0.000 0.232 0.173 17.245

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

300 141 85 154 56 75 0 0 26 0

N.S.

1 0.47 0.28 0.51 0.19 0.25 0.00 0.00 0.09 0.00

time (sec)

N/A 0.597 0.113 0.185 0.125 0.077 0.000 0.000 0.166 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A B B B

verified

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

size

18 18 20 24 23 32 27 51 32 54

N.S.

1 1.00 1.11 1.33 1.28 1.78 1.50 2.83 1.78 3.00

time (sec)

N/A 0.408 0.022 0.166 0.033 0.082 0.846 0.123 0.165 16.363

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

57 57 67 49 54 60 61 100 50 403

N.S.

1 1.00 1.18 0.86 0.95 1.05 1.07 1.75 0.88 7.07

time (sec)

N/A 0.629 0.370 0.323 0.029 0.079 1.385 0.148 0.163 15.954

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

75 81 80 63 84 77 92 125 65 431

N.S.

1 1.08 1.07 0.84 1.12 1.03 1.23 1.67 0.87 5.75

time (sec)

N/A 0.828 0.385 1.347 0.033 0.088 3.216 0.142 0.169 16.256

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

104 115 97 80 118 89 116 149 81 460

N.S.

1 1.11 0.93 0.77 1.13 0.86 1.12 1.43 0.78 4.42

time (sec)

N/A 1.077 0.458 10.476 0.033 0.088 7.203 0.139 0.171 14.921

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B A B A F A B B

verified

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

size

25 25 71 35 63 47 0 46 37 25

N.S.

1 1.00 2.84 1.40 2.52 1.88 0.00 1.84 1.48 1.00

time (sec)

N/A 0.339 0.198 0.122 0.029 0.078 0.000 0.171 0.162 14.751

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A F A B B

verified

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

size

48 48 76 51 93 85 0 77 57 50

N.S.

1 1.00 1.58 1.06 1.94 1.77 0.00 1.60 1.19 1.04

time (sec)

N/A 0.496 0.294 0.156 0.037 0.079 0.000 0.125 0.165 15.372

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F A B B

verified

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

size

75 85 88 64 119 122 0 102 76 92

N.S.

1 1.13 1.17 0.85 1.59 1.63 0.00 1.36 1.01 1.23

time (sec)

N/A 0.687 0.415 0.180 0.041 0.077 0.000 0.122 0.164 15.314

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F A B B

verified

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

size

96 116 104 79 143 158 0 126 94 140

N.S.

1 1.21 1.08 0.82 1.49 1.65 0.00 1.31 0.98 1.46

time (sec)

N/A 0.896 0.686 0.213 0.041 0.089 0.000 0.124 0.165 15.579

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

98 106 78 225 43 123 0 134 86 0

N.S.

1 1.08 0.80 2.30 0.44 1.26 0.00 1.37 0.88 0.00

time (sec)

N/A 0.837 0.115 1.688 0.156 0.086 0.000 0.131 0.287 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

72 75 62 188 26 99 0 92 52 0

N.S.

1 1.04 0.86 2.61 0.36 1.38 0.00 1.28 0.72 0.00

time (sec)

N/A 0.587 0.073 0.342 0.162 0.085 0.000 0.139 0.199 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

44 44 47 154 13 81 0 61 25 0

N.S.

1 1.00 1.07 3.50 0.30 1.84 0.00 1.39 0.57 0.00

time (sec)

N/A 0.407 0.028 0.326 0.157 0.077 0.000 0.134 0.172 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

68 68 52 189 58 116 0 0 41 0

N.S.

1 1.00 0.76 2.78 0.85 1.71 0.00 0.00 0.60 0.00

time (sec)

N/A 0.502 0.032 0.312 0.175 0.081 0.000 0.000 0.170 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

92 97 73 270 9153 187 0 0 53 0

N.S.

1 1.05 0.79 2.93 99.49 2.03 0.00 0.00 0.58 0.00

time (sec)

N/A 0.704 0.270 0.332 0.623 0.086 0.000 0.000 0.175 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

120 131 95 322 50224 234 0 0 65 0

N.S.

1 1.09 0.79 2.68 418.53 1.95 0.00 0.00 0.54 0.00

time (sec)

N/A 0.949 0.367 0.337 13.739 0.091 0.000 0.000 0.182 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 25 61 0 35 0 283 87 0

N.S.

1 1.00 1.00 2.44 0.00 1.40 0.00 11.32 3.48 0.00

time (sec)

N/A 0.251 0.196 0.342 0.000 0.079 0.000 0.199 0.172 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 24 24 60 0 36 0 397 199 68

N.S.

1 1.00 1.00 2.50 0.00 1.50 0.00 16.54 8.29 2.83

time (sec)

N/A 0.259 0.118 0.356 0.000 0.080 0.000 0.264 0.172 17.194

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

8 8 10 11 8 15 41 8 15 8

N.S.

1 1.00 1.25 1.38 1.00 1.88 5.12 1.00 1.88 1.00

time (sec)

N/A 0.277 0.010 0.130 0.108 0.066 0.413 0.117 0.172 16.082

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

36 19 24 18 15 35 248 49 54 26

N.S.

1 0.53 0.67 0.50 0.42 0.97 6.89 1.36 1.50 0.72

time (sec)

N/A 0.241 0.042 0.140 0.105 0.090 22.991 0.111 0.174 16.851

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A A A A A B B

verified

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

size

8 8 23 13 10 15 12 16 15 8

N.S.

1 1.00 2.88 1.62 1.25 1.88 1.50 2.00 1.88 1.00

time (sec)

N/A 0.278 0.013 0.105 0.101 0.067 0.354 0.127 0.167 17.719

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

37 20 23 19 16 35 61 49 41 27

N.S.

1 0.54 0.62 0.51 0.43 0.95 1.65 1.32 1.11 0.73

time (sec)

N/A 0.237 0.044 0.123 0.103 0.081 0.880 0.132 0.169 16.019

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 14 14 14 0 13 61 26 13 13

N.S.

1 1.00 1.00 1.00 0.00 0.93 4.36 1.86 0.93 0.93

time (sec)

N/A 0.334 0.022 0.164 0.000 0.070 29.650 0.110 0.164 16.335

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

105 105 73 88 0 254 2608 110 178 2429

N.S.

1 1.00 0.70 0.84 0.00 2.42 24.84 1.05 1.70 23.13

time (sec)

N/A 0.447 0.141 0.257 0.000 0.101 58.283 0.125 0.168 18.314

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

57 31 34 30 29 45 143 62 89 242

N.S.

1 0.54 0.60 0.53 0.51 0.79 2.51 1.09 1.56 4.25

time (sec)

N/A 0.290 0.181 0.209 0.126 0.083 4.232 0.111 0.163 17.319

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

15 15 15 18 17 19 24 29 19 13

N.S.

1 1.00 1.00 1.20 1.13 1.27 1.60 1.93 1.27 0.87

time (sec)

N/A 0.246 0.037 0.166 0.108 0.073 0.422 0.134 0.170 16.460

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

49 51 47 44 40 228 0 58 194 1987

N.S.

1 1.04 0.96 0.90 0.82 4.65 0.00 1.18 3.96 40.55

time (sec)

N/A 0.290 0.558 0.247 0.114 0.106 0.000 0.154 0.169 17.128

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

13 15 13 14 0 12 56 22 15 13

N.S.

1 1.15 1.00 1.08 0.00 0.92 4.31 1.69 1.15 1.00

time (sec)

N/A 0.334 0.026 0.211 0.000 0.069 40.009 0.132 0.164 16.312

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

100 100 72 86 0 262 2035 93 172 1646

N.S.

1 1.00 0.72 0.86 0.00 2.62 20.35 0.93 1.72 16.46

time (sec)

N/A 0.433 0.136 0.245 0.000 0.103 116.147 0.112 0.206 17.697

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

56 33 31 29 28 45 520 62 117 249

N.S.

1 0.59 0.55 0.52 0.50 0.80 9.29 1.11 2.09 4.45

time (sec)

N/A 0.334 0.220 0.276 0.117 0.084 24.325 0.112 0.163 15.221

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

14 12 14 13 14 18 51 23 18 12

N.S.

1 0.86 1.00 0.93 1.00 1.29 3.64 1.64 1.29 0.86

time (sec)

N/A 0.263 0.011 0.207 0.113 0.077 0.504 0.113 0.164 16.359

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

49 51 47 46 42 255 0 70 1244 1774

N.S.

1 1.04 0.96 0.94 0.86 5.20 0.00 1.43 25.39 36.20

time (sec)

N/A 0.313 0.544 0.299 0.112 0.102 0.000 0.121 0.182 16.908

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 79 98 106 0 318 0 125 188 1302

N.S.

1 1.07 1.32 1.43 0.00 4.30 0.00 1.69 2.54 17.59

time (sec)

N/A 0.597 0.551 0.277 0.000 0.428 0.000 0.122 0.168 17.353

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

72 85 102 90 0 332 0 110 142 463

N.S.

1 1.18 1.42 1.25 0.00 4.61 0.00 1.53 1.97 6.43

time (sec)

N/A 0.589 0.966 0.313 0.000 0.402 0.000 0.147 0.164 16.629

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

159 0 0 0 0 0 0 0 448 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 2.82 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.173 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

136 136 94 0 0 0 0 0 139 0

N.S.

1 1.00 0.69 0.00 0.00 0.00 0.00 0.00 1.02 0.00

time (sec)

N/A 0.363 0.237 0.000 0.000 0.000 0.000 0.000 0.223 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

95 95 88 0 0 0 0 0 81 0

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 0.85 0.00

time (sec)

N/A 0.281 0.175 0.000 0.000 0.000 0.000 0.000 0.164 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B B B B B B B

verified

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

size

127 120 246 271 257 257 461 316 390 422

N.S.

1 0.94 1.94 2.13 2.02 2.02 3.63 2.49 3.07 3.32

time (sec)

N/A 0.286 2.100 6.596 0.037 0.089 0.600 0.228 0.158 19.754

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

161 167 192 235 238 219 770 235 700 519

N.S.

1 1.04 1.19 1.46 1.48 1.36 4.78 1.46 4.35 3.22

time (sec)

N/A 0.440 2.098 4.290 0.036 0.091 0.436 0.181 0.165 18.080

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B B B B

verified

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

size

94 89 156 175 172 155 267 187 220 248

N.S.

1 0.95 1.66 1.86 1.83 1.65 2.84 1.99 2.34 2.64

time (sec)

N/A 0.243 1.218 2.832 0.040 0.077 0.289 0.157 0.162 16.496

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

108 111 107 135 136 121 381 122 344 320

N.S.

1 1.03 0.99 1.25 1.26 1.12 3.53 1.13 3.19 2.96

time (sec)

N/A 0.317 0.747 1.648 0.031 0.081 0.221 0.160 0.162 17.262

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

58 56 81 75 84 77 117 91 98 104

N.S.

1 0.97 1.40 1.29 1.45 1.33 2.02 1.57 1.69 1.79

time (sec)

N/A 0.215 0.492 1.048 0.033 0.073 0.134 0.131 0.167 15.580

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

55 55 52 57 68 52 128 50 107 63

N.S.

1 1.00 0.95 1.04 1.24 0.95 2.33 0.91 1.95 1.15

time (sec)

N/A 0.204 0.250 0.404 0.024 0.076 0.099 0.129 0.218 15.606

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

24 24 46 23 24 23 31 24 22 38

N.S.

1 1.00 1.92 0.96 1.00 0.96 1.29 1.00 0.92 1.58

time (sec)

N/A 0.153 0.040 0.171 0.029 0.068 0.074 0.106 0.170 16.316

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B C A B B

verified

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

size

47 47 45 43 80 131 163 74 52 39

N.S.

1 1.00 0.96 0.91 1.70 2.79 3.47 1.57 1.11 0.83

time (sec)

N/A 0.206 0.101 0.261 0.104 0.084 2.568 0.159 0.171 16.516

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 32 32 21 21 57 0 20 33 47

N.S.

1 1.00 1.00 0.66 0.66 1.78 0.00 0.62 1.03 1.47

time (sec)

N/A 0.199 0.083 0.315 0.032 0.070 0.000 0.120 0.172 15.907

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

103 103 132 191 326 294 0 221 465 260

N.S.

1 1.00 1.28 1.85 3.17 2.85 0.00 2.15 4.51 2.52

time (sec)

N/A 0.342 0.279 0.562 0.121 0.095 0.000 0.153 0.178 19.483

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

98 98 85 64 85 217 0 50 139 222

N.S.

1 1.00 0.87 0.65 0.87 2.21 0.00 0.51 1.42 2.27

time (sec)

N/A 0.317 0.263 0.700 0.038 0.103 0.000 0.121 0.180 16.605

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

156 170 157 454 822 544 0 588 1337 719

N.S.

1 1.09 1.01 2.91 5.27 3.49 0.00 3.77 8.57 4.61

time (sec)

N/A 0.475 0.913 1.479 0.148 0.104 0.000 0.173 0.220 19.158

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

151 165 182 125 174 441 0 118 319 470

N.S.

1 1.09 1.21 0.83 1.15 2.92 0.00 0.78 2.11 3.11

time (sec)

N/A 0.463 0.492 1.768 0.040 0.108 0.000 0.132 0.211 19.246

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

186 189 205 185 0 258 0 0 1258 0

N.S.

1 1.02 1.10 0.99 0.00 1.39 0.00 0.00 6.76 0.00

time (sec)

N/A 0.576 1.434 0.445 0.000 0.101 0.000 0.000 0.228 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

131 131 256 250 0 244 0 0 675 0

N.S.

1 1.00 1.95 1.91 0.00 1.86 0.00 0.00 5.15 0.00

time (sec)

N/A 0.407 1.324 0.369 0.000 0.094 0.000 0.000 0.211 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

131 131 143 165 0 160 0 0 307 0

N.S.

1 1.00 1.09 1.26 0.00 1.22 0.00 0.00 2.34 0.00

time (sec)

N/A 0.419 1.114 0.306 0.000 0.087 0.000 0.000 0.192 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

75 75 268 163 0 162 0 0 131 0

N.S.

1 1.00 3.57 2.17 0.00 2.16 0.00 0.00 1.75 0.00

time (sec)

N/A 0.284 0.952 0.866 0.000 0.084 0.000 0.000 0.174 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

75 75 92 124 0 131 0 0 40 0

N.S.

1 1.00 1.23 1.65 0.00 1.75 0.00 0.00 0.53 0.00

time (sec)

N/A 0.282 0.244 0.358 0.000 0.078 0.000 0.000 0.164 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

138 138 219 232 0 270 0 0 64 0

N.S.

1 1.00 1.59 1.68 0.00 1.96 0.00 0.00 0.46 0.00

time (sec)

N/A 0.446 2.328 0.338 0.000 0.085 0.000 0.000 0.161 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

142 142 145 182 0 389 0 0 88 0

N.S.

1 1.00 1.02 1.28 0.00 2.74 0.00 0.00 0.62 0.00

time (sec)

N/A 0.412 1.388 0.336 0.000 0.095 0.000 0.000 0.161 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

197 207 277 297 0 532 0 0 112 0

N.S.

1 1.05 1.41 1.51 0.00 2.70 0.00 0.00 0.57 0.00

time (sec)

N/A 0.610 1.963 0.335 0.000 0.101 0.000 0.000 0.218 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

120 125 153 128 0 111 0 0 181 0

N.S.

1 1.04 1.28 1.07 0.00 0.92 0.00 0.00 1.51 0.00

time (sec)

N/A 0.528 0.467 0.385 0.000 0.086 0.000 0.000 0.191 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

75 75 199 174 0 104 0 0 145 0

N.S.

1 1.00 2.65 2.32 0.00 1.39 0.00 0.00 1.93 0.00

time (sec)

N/A 0.349 0.774 0.275 0.000 0.082 0.000 0.000 0.184 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

75 75 133 108 0 89 0 0 113 0

N.S.

1 1.00 1.77 1.44 0.00 1.19 0.00 0.00 1.51 0.00

time (sec)

N/A 0.340 0.304 0.248 0.000 0.080 0.000 0.000 0.176 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 27 184 112 0 58 0 0 75 0

N.S.

1 1.00 6.81 4.15 0.00 2.15 0.00 0.00 2.78 0.00

time (sec)

N/A 0.222 0.742 0.452 0.000 0.078 0.000 0.000 0.169 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 27 88 85 0 52 0 0 40 0

N.S.

1 1.00 3.26 3.15 0.00 1.93 0.00 0.00 1.48 0.00

time (sec)

N/A 0.221 0.158 0.303 0.000 0.081 0.000 0.000 0.162 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

73 73 190 162 0 145 0 0 58 0

N.S.

1 1.00 2.60 2.22 0.00 1.99 0.00 0.00 0.79 0.00

time (sec)

N/A 0.339 0.987 0.241 0.000 0.081 0.000 0.000 0.164 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

75 75 157 118 0 169 0 0 76 0

N.S.

1 1.00 2.09 1.57 0.00 2.25 0.00 0.00 1.01 0.00

time (sec)

N/A 0.343 0.616 0.237 0.000 0.086 0.000 0.000 0.164 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

120 123 224 205 0 237 0 0 94 0

N.S.

1 1.02 1.87 1.71 0.00 1.98 0.00 0.00 0.78 0.00

time (sec)

N/A 0.494 1.557 0.253 0.000 0.114 0.000 0.000 0.161 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 32 31 31 59 23 42 23 29 0

N.S.

1 1.00 0.97 0.97 1.84 0.72 1.31 0.72 0.91 0.00

time (sec)

N/A 0.188 0.090 0.271 0.121 0.072 0.154 0.155 0.216 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A B B B

verified

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

size

31 31 31 19 132 17 36 52 53 84

N.S.

1 1.00 1.00 0.61 4.26 0.55 1.16 1.68 1.71 2.71

time (sec)

N/A 0.189 0.501 0.655 0.036 0.063 0.074 0.171 0.170 15.733

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A B B B

verified

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

size

31 31 31 19 83 17 36 52 63 66

N.S.

1 1.00 1.00 0.61 2.68 0.55 1.16 1.68 2.03 2.13

time (sec)

N/A 0.186 0.262 0.589 0.039 0.062 0.088 0.116 0.168 15.724

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A B B B

verified

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

size

31 31 31 19 69 17 36 52 29 44

N.S.

1 1.00 1.00 0.61 2.23 0.55 1.16 1.68 0.94 1.42

time (sec)

N/A 0.184 0.206 0.285 0.026 0.063 0.071 0.118 0.169 15.708

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

26 26 51 17 24 15 26 24 21 20

N.S.

1 1.00 1.96 0.65 0.92 0.58 1.00 0.92 0.81 0.77

time (sec)

N/A 0.152 0.026 0.146 0.039 0.062 0.084 0.127 0.175 16.052

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A F B

verified

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

size

29 29 29 19 29 17 31 21 23 25

N.S.

1 1.00 1.00 0.66 1.00 0.59 1.07 0.72 0.79 0.86

time (sec)

N/A 0.187 0.199 0.233 0.031 0.067 0.073 0.117 0.189 16.297

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A F B

verified

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

size

31 31 31 19 22 17 44 30 42 31

N.S.

1 1.00 1.00 0.61 0.71 0.55 1.42 0.97 1.35 1.00

time (sec)

N/A 0.191 0.212 0.372 0.033 0.065 0.077 0.105 0.176 15.285

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A F B

verified

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

size

31 31 31 19 29 17 44 36 759 68

N.S.

1 1.00 1.00 0.61 0.94 0.55 1.42 1.16 24.48 2.19

time (sec)

N/A 0.181 0.209 0.501 0.043 0.066 0.083 0.138 0.211 15.466

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A F B

verified

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

size

31 31 31 19 29 17 44 44 542 91

N.S.

1 1.00 1.00 0.61 0.94 0.55 1.42 1.42 17.48 2.94

time (sec)

N/A 0.188 0.228 0.594 0.038 0.068 0.083 0.113 0.224 15.320

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 33 32 28 51 17 0 17 62 35

N.S.

1 1.00 0.97 0.85 1.55 0.52 0.00 0.52 1.88 1.06

time (sec)

N/A 0.189 0.091 0.892 0.129 0.059 0.000 0.282 0.215 0.455

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A F A B B

verified

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

size

33 33 32 28 51 17 0 25 40 33

N.S.

1 1.00 0.97 0.85 1.55 0.52 0.00 0.76 1.21 1.00

time (sec)

N/A 0.186 0.083 0.684 0.146 0.058 0.000 0.138 0.163 14.951

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 31 30 20 51 17 0 25 24 0

N.S.

1 1.00 0.97 0.65 1.65 0.55 0.00 0.81 0.77 0.00

time (sec)

N/A 0.186 0.067 0.575 0.122 0.061 0.000 0.110 0.163 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 31 30 20 51 17 0 25 25 0

N.S.

1 1.00 0.97 0.65 1.65 0.55 0.00 0.81 0.81 0.00

time (sec)

N/A 0.186 0.075 0.499 0.136 0.062 0.000 0.132 0.162 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 33 32 28 51 17 0 65 60 0

N.S.

1 1.00 0.97 0.85 1.55 0.52 0.00 1.97 1.82 0.00

time (sec)

N/A 0.186 0.081 0.754 0.136 0.060 0.000 0.684 0.164 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 33 32 28 51 17 0 67 95 0

N.S.

1 1.00 0.97 0.85 1.55 0.52 0.00 2.03 2.88 0.00

time (sec)

N/A 0.185 0.080 0.895 0.130 0.061 0.000 0.404 0.166 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B A A A A B F B

verified

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

size

55 55 129 66 68 78 90 1375 143 88

N.S.

1 1.00 2.35 1.20 1.24 1.42 1.64 25.00 2.60 1.60

time (sec)

N/A 0.317 0.150 4.113 0.113 0.082 1.570 3.061 0.164 15.980

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A B F B

verified

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

size

38 38 40 39 42 47 46 173 89 65

N.S.

1 1.00 1.05 1.03 1.11 1.24 1.21 4.55 2.34 1.71

time (sec)

N/A 0.268 0.026 1.220 0.028 0.080 1.617 0.309 0.160 15.551

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B A A B A B F B

verified

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

size

25 25 60 25 28 44 31 177 34 61

N.S.

1 1.00 2.40 1.00 1.12 1.76 1.24 7.08 1.36 2.44

time (sec)

N/A 0.268 0.076 0.332 0.114 0.087 0.499 0.149 0.162 15.756

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

10 10 10 11 8 12 8 11 14 22

N.S.

1 1.00 1.00 1.10 0.80 1.20 0.80 1.10 1.40 2.20

time (sec)

N/A 0.142 0.001 0.096 0.027 0.080 0.022 0.110 0.220 15.675

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F A B B

verified

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

size

24 24 35 24 25 35 0 28 16 16

N.S.

1 1.00 1.46 1.00 1.04 1.46 0.00 1.17 0.67 0.67

time (sec)

N/A 0.372 0.016 0.109 0.046 0.074 0.000 0.106 0.161 15.466

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F A B B

verified

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

size

33 33 57 32 45 34 0 31 34 40

N.S.

1 1.00 1.73 0.97 1.36 1.03 0.00 0.94 1.03 1.21

time (sec)

N/A 0.330 0.017 0.230 0.031 0.069 0.000 0.107 0.162 15.775

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B F B B B

verified

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

size

60 60 83 56 73 130 0 95 55 48

N.S.

1 1.00 1.38 0.93 1.22 2.17 0.00 1.58 0.92 0.80

time (sec)

N/A 0.294 0.017 0.541 0.028 0.082 0.000 0.127 0.164 15.299

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F A B B

verified

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

size

65 65 129 64 97 78 0 65 66 87

N.S.

1 1.00 1.98 0.98 1.49 1.20 0.00 1.00 1.02 1.34

time (sec)

N/A 0.423 0.019 1.382 0.045 0.072 0.000 0.103 0.163 15.724

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A C C C F B F B F B

verified

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

size

57 125 501 69 0 254 0 122 21 453

N.S.

1 2.19 8.79 1.21 0.00 4.46 0.00 2.14 0.37 7.95

time (sec)

N/A 0.468 3.032 0.380 0.000 0.092 0.000 0.142 0.171 16.102

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A C C C F B F B F B

verified

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

size

57 125 546 67 0 254 0 122 24 453

N.S.

1 2.19 9.58 1.18 0.00 4.46 0.00 2.14 0.42 7.95

time (sec)

N/A 0.422 2.602 0.558 0.000 0.088 0.000 0.120 0.169 15.274

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

44 56 38 39 36 51 44 39 42 59

N.S.

1 1.27 0.86 0.89 0.82 1.16 1.00 0.89 0.95 1.34

time (sec)

N/A 0.208 0.035 0.739 0.027 0.076 2.928 0.109 0.171 14.986

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B A B B B

verified

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

size

34 39 61 32 37 57 42 99 44 75

N.S.

1 1.15 1.79 0.94 1.09 1.68 1.24 2.91 1.29 2.21

time (sec)

N/A 0.266 0.025 0.576 0.029 0.085 1.357 0.116 0.170 15.084

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

22 29 18 15 16 20 15 23 24 21

N.S.

1 1.32 0.82 0.68 0.73 0.91 0.68 1.05 1.09 0.95

time (sec)

N/A 0.200 0.021 0.337 0.025 0.072 0.498 0.109 0.167 15.827

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B A A B B A B B

verified

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

size

8 8 19 10 11 21 19 9 8 8

N.S.

1 1.00 2.38 1.25 1.38 2.62 2.38 1.12 1.00 1.00

time (sec)

N/A 0.141 0.003 0.109 0.036 0.077 0.052 0.109 0.220 0.021

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A F B B B

verified

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

size

2 2 2 5 17 4 0 17 11 12

N.S.

1 1.00 1.00 2.50 8.50 2.00 0.00 8.50 5.50 6.00

time (sec)

N/A 0.204 0.005 0.178 0.039 0.062 0.000 0.106 0.165 17.429

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