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

Integrals 101 to 163

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 9 8 8 8 9 8

N.S.

1 1.00 1.00 0.75 0.67 0.67 0.67 0.75 0.67

time (sec)

N/A 0.002 0.003 0.451 0.206 0.239 0.029 0.256 0.061

Problem 102

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

41 41 41 31 32 32 41 33 46

N.S.

1 1.00 1.00 0.76 0.78 0.78 1.00 0.80 1.12

time (sec)

N/A 0.023 0.008 0.083 0.301 0.243 0.055 0.257 15.188

Problem 103

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

20 8 23 7 17 17 15 18 6

N.S.

1 0.40 1.15 0.35 0.85 0.85 0.75 0.90 0.30

time (sec)

N/A 0.004 0.004 0.065 0.188 0.232 0.038 0.270 0.003

Problem 104

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 13 13 12 15 11 10 15 11

N.S.

1 1.08 1.08 1.00 1.25 0.92 0.83 1.25 0.92

time (sec)

N/A 0.006 0.003 0.062 0.206 0.239 0.035 0.251 14.775

Problem 105

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

14 15 15 12 15 11 10 16 11

N.S.

1 1.07 1.07 0.86 1.07 0.79 0.71 1.14 0.79

time (sec)

N/A 0.007 0.004 0.076 0.209 0.245 0.041 0.259 0.079

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 26 25 26 25 24 20 26 26

N.S.

1 1.04 1.00 1.04 1.00 0.96 0.80 1.04 1.04

time (sec)

N/A 0.023 0.012 0.076 0.222 0.232 0.069 0.254 0.065

Problem 107

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

25 36 26 27 36 26 128 46 25

N.S.

1 1.44 1.04 1.08 1.44 1.04 5.12 1.84 1.00

time (sec)

N/A 0.011 0.016 0.438 0.202 0.244 0.160 0.258 0.127

Problem 108

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

35 44 38 38 44 38 138 46 37

N.S.

1 1.26 1.09 1.09 1.26 1.09 3.94 1.31 1.06

time (sec)

N/A 0.030 0.018 0.434 0.208 0.232 0.361 0.246 15.832

Problem 109

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

16 29 29 19 18 68 73 18 19

N.S.

1 1.81 1.81 1.19 1.12 4.25 4.56 1.12 1.19

time (sec)

N/A 0.011 0.030 0.073 0.284 0.249 0.377 0.250 15.501

Problem 110

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

31 40 40 32 31 85 88 31 28

N.S.

1 1.29 1.29 1.03 1.00 2.74 2.84 1.00 0.90

time (sec)

N/A 0.016 0.046 0.079 0.274 0.244 0.269 0.262 14.628

Problem 111

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

45 53 49 42 42 103 107 45 37

N.S.

1 1.18 1.09 0.93 0.93 2.29 2.38 1.00 0.82

time (sec)

N/A 0.021 0.067 0.078 0.278 0.247 0.530 0.257 0.061

Problem 112

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

57 68 61 53 54 132 122 59 48

N.S.

1 1.19 1.07 0.93 0.95 2.32 2.14 1.04 0.84

time (sec)

N/A 0.028 0.083 0.085 0.279 0.247 1.803 0.271 15.384

Problem 113

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

30 45 45 36 35 116 277 35 33

N.S.

1 1.50 1.50 1.20 1.17 3.87 9.23 1.17 1.10

time (sec)

N/A 0.015 0.082 0.068 0.281 0.245 2.192 0.264 15.210

Problem 114

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

31 46 46 37 37 115 269 36 34

N.S.

1 1.48 1.48 1.19 1.19 3.71 8.68 1.16 1.10

time (sec)

N/A 0.024 0.085 0.069 0.302 0.251 1.438 0.257 0.047

Problem 115

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

50 57 54 47 49 134 332 46 46

N.S.

1 1.14 1.08 0.94 0.98 2.68 6.64 0.92 0.92

time (sec)

N/A 0.021 0.117 0.090 0.278 0.258 2.823 0.266 15.302

Problem 116

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

69 70 68 56 63 161 389 65 58

N.S.

1 1.01 0.99 0.81 0.91 2.33 5.64 0.94 0.84

time (sec)

N/A 0.027 0.128 0.112 0.306 0.251 7.325 0.267 0.080

Problem 117

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

57 70 59 59 60 186 632 47 57

N.S.

1 1.23 1.04 1.04 1.05 3.26 11.09 0.82 1.00

time (sec)

N/A 0.040 0.117 0.085 0.279 0.251 7.923 0.254 15.986

Problem 118

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 73 60 52 64 186 627 52 56

N.S.

1 1.16 0.95 0.83 1.02 2.95 9.95 0.83 0.89

time (sec)

N/A 0.021 0.170 0.070 0.313 0.255 5.172 0.256 16.017

Problem 119

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

87 70 59 50 61 185 605 47 58

N.S.

1 0.80 0.68 0.57 0.70 2.13 6.95 0.54 0.67

time (sec)

N/A 0.021 0.170 0.069 0.304 0.256 9.858 0.258 15.438

Problem 120

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

101 82 70 56 73 200 683 59 69

N.S.

1 0.81 0.69 0.55 0.72 1.98 6.76 0.58 0.68

time (sec)

N/A 0.040 0.182 0.104 0.278 0.249 16.889 0.255 0.137

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 192 92 106 172 120 104 182 37

N.S.

1 1.94 0.93 1.07 1.74 1.21 1.05 1.84 0.37

time (sec)

N/A 0.180 0.193 0.067 0.288 0.252 1.544 0.263 17.877

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 192 91 106 172 132 104 182 38

N.S.

1 1.90 0.90 1.05 1.70 1.31 1.03 1.80 0.38

time (sec)

N/A 0.171 0.172 0.069 0.299 0.243 0.910 0.261 16.937

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 202 118 115 185 117 110 178 55

N.S.

1 1.80 1.05 1.03 1.65 1.04 0.98 1.59 0.49

time (sec)

N/A 0.199 0.215 0.077 0.278 0.240 1.655 0.255 17.526

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 204 119 116 186 158 124 178 54

N.S.

1 1.81 1.05 1.03 1.65 1.40 1.10 1.58 0.48

time (sec)

N/A 0.194 0.205 0.102 0.298 0.260 4.244 0.255 0.098

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 218 128 124 194 193 316 199 64

N.S.

1 1.72 1.01 0.98 1.53 1.52 2.49 1.57 0.50

time (sec)

N/A 0.206 0.382 0.079 0.287 0.236 22.759 0.264 0.132

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 218 128 127 194 204 400 199 64

N.S.

1 1.69 0.99 0.98 1.50 1.58 3.10 1.54 0.50

time (sec)

N/A 0.201 0.395 0.069 0.287 0.256 19.034 0.260 16.305

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B C B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 218 127 127 195 191 323 199 64

N.S.

1 1.76 1.02 1.02 1.57 1.54 2.60 1.60 0.52

time (sec)

N/A 0.212 0.411 0.071 0.291 0.261 34.062 0.271 16.135

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 218 128 124 195 200 393 199 64

N.S.

1 1.73 1.02 0.98 1.55 1.59 3.12 1.58 0.51

time (sec)

N/A 0.172 0.431 0.086 0.282 0.261 51.807 0.257 0.087

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 239 138 147 217 268 627 209 86

N.S.

1 1.65 0.95 1.01 1.50 1.85 4.32 1.44 0.59

time (sec)

N/A 0.223 0.376 0.072 0.288 0.248 141.962 0.269 17.311

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 239 138 150 217 281 887 209 86

N.S.

1 1.63 0.94 1.02 1.48 1.91 6.03 1.42 0.59

time (sec)

N/A 0.228 0.385 0.077 0.297 0.268 103.847 0.280 17.778

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 242 137 138 221 279 666 211 85

N.S.

1 1.74 0.99 0.99 1.59 2.01 4.79 1.52 0.61

time (sec)

N/A 0.300 0.556 0.081 0.298 0.257 158.653 0.269 0.129

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 242 136 138 222 289 0 212 85

N.S.

1 1.37 0.77 0.78 1.25 1.63 0.00 1.20 0.48

time (sec)

N/A 0.230 0.576 0.137 0.294 0.260 0.000 0.270 0.099

Problem 133

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

14 14 14 13 12 12 10 12 12

N.S.

1 1.00 1.00 0.93 0.86 0.86 0.71 0.86 0.86

time (sec)

N/A 0.002 0.004 0.072 0.204 0.237 0.031 0.255 0.031

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 32 23 21 26 19 162 23 25

N.S.

1 1.19 0.85 0.78 0.96 0.70 6.00 0.85 0.93

time (sec)

N/A 0.011 0.024 0.071 0.194 0.243 0.633 0.265 18.835

Problem 135

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 51 35 32 41 31 600 37 37

N.S.

1 1.31 0.90 0.82 1.05 0.79 15.38 0.95 0.95

time (sec)

N/A 0.017 0.035 0.074 0.201 0.252 0.957 0.262 0.069

Problem 136

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

14 21 21 20 12 53 27 12 21

N.S.

1 1.50 1.50 1.43 0.86 3.79 1.93 0.86 1.50

time (sec)

N/A 0.006 0.017 0.132 0.238 0.236 0.756 0.256 18.221

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 46 28 27 30 62 0 29 28

N.S.

1 2.19 1.33 1.29 1.43 2.95 0.00 1.38 1.33

time (sec)

N/A 0.036 0.028 0.150 0.218 0.253 0.000 0.257 18.310

Problem 138

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

39 67 41 39 41 73 0 46 40

N.S.

1 1.72 1.05 1.00 1.05 1.87 0.00 1.18 1.03

time (sec)

N/A 0.059 0.043 0.172 0.247 0.251 0.000 0.259 18.333

Problem 139

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

42 23 23 18 32 56 24 21 17

N.S.

1 0.55 0.55 0.43 0.76 1.33 0.57 0.50 0.40

time (sec)

N/A 0.013 0.032 0.084 0.288 0.253 0.559 0.259 0.061

Problem 140

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

54 35 35 28 42 73 68 32 27

N.S.

1 0.65 0.65 0.52 0.78 1.35 1.26 0.59 0.50

time (sec)

N/A 0.017 0.039 0.080 0.293 0.246 0.796 0.264 17.177

Problem 141

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

61 39 39 32 47 93 44 41 31

N.S.

1 0.64 0.64 0.52 0.77 1.52 0.72 0.67 0.51

time (sec)

N/A 0.017 0.088 0.093 0.317 0.251 1.073 0.263 0.130

Problem 142

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

90 65 55 44 88 119 97 66 48

N.S.

1 0.72 0.61 0.49 0.98 1.32 1.08 0.73 0.53

time (sec)

N/A 0.021 0.141 0.107 0.299 0.243 2.131 0.255 0.083

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 75 65 54 0 235 0 44 0

N.S.

1 1.15 1.00 0.83 0.00 3.62 0.00 0.68 0.00

time (sec)

N/A 0.041 0.096 0.134 0.000 0.248 0.000 0.257 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 80 67 68 0 252 0 56 0

N.S.

1 0.86 0.72 0.73 0.00 2.71 0.00 0.60 0.00

time (sec)

N/A 0.053 0.115 0.168 0.000 0.247 0.000 0.269 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 91 80 67 0 278 0 64 0

N.S.

1 0.67 0.59 0.50 0.00 2.06 0.00 0.47 0.00

time (sec)

N/A 0.049 0.184 0.179 0.000 0.254 0.000 0.262 0.000

Problem 146

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

67 41 41 34 60 93 44 47 33

N.S.

1 0.61 0.61 0.51 0.90 1.39 0.66 0.70 0.49

time (sec)

N/A 0.021 0.083 0.092 0.296 0.243 1.144 0.267 0.059

Problem 147

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

81 68 56 45 92 123 102 69 51

N.S.

1 0.84 0.69 0.56 1.14 1.52 1.26 0.85 0.63

time (sec)

N/A 0.024 0.121 0.105 0.303 0.244 2.516 0.259 0.070

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 60 56 47 0 268 0 37 0

N.S.

1 1.05 0.98 0.82 0.00 4.70 0.00 0.65 0.00

time (sec)

N/A 0.039 0.064 0.128 0.000 0.259 0.000 0.265 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 89 68 58 0 309 0 64 0

N.S.

1 1.24 0.94 0.81 0.00 4.29 0.00 0.89 0.00

time (sec)

N/A 0.049 0.115 0.185 0.000 0.260 0.000 0.264 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 126 87 74 0 347 0 80 0

N.S.

1 1.38 0.96 0.81 0.00 3.81 0.00 0.88 0.00

time (sec)

N/A 0.065 0.166 0.188 0.000 0.256 0.000 0.262 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

79 127 113 0 0 225 0 219 0

N.S.

1 1.61 1.43 0.00 0.00 2.85 0.00 2.77 0.00

time (sec)

N/A 0.076 0.145 0.000 0.000 0.260 0.000 3.147 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 91 113 87 86 91 180 87 107

N.S.

1 0.99 1.23 0.95 0.93 0.99 1.96 0.95 1.16

time (sec)

N/A 0.069 0.095 0.451 0.280 0.238 1.214 0.481 18.574

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 97 119 95 93 139 643 105 117

N.S.

1 0.80 0.98 0.78 0.76 1.14 5.27 0.86 0.96

time (sec)

N/A 0.048 0.233 0.142 0.281 0.248 1.304 0.475 0.341

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 127 129 118 139 187 2266 128 196

N.S.

1 0.91 0.92 0.84 0.99 1.34 16.19 0.91 1.40

time (sec)

N/A 0.064 0.338 0.142 0.298 0.248 1.914 0.493 20.986

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

104 161 157 0 0 325 0 246 0

N.S.

1 1.55 1.51 0.00 0.00 3.12 0.00 2.37 0.00

time (sec)

N/A 0.084 0.232 0.000 0.000 0.249 0.000 3.133 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

118 200 183 0 0 326 0 295 0

N.S.

1 1.69 1.55 0.00 0.00 2.76 0.00 2.50 0.00

time (sec)

N/A 0.102 0.214 0.000 0.000 0.268 0.000 3.152 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 79 95 75 76 213 155 77 99

N.S.

1 1.01 1.22 0.96 0.97 2.73 1.99 0.99 1.27

time (sec)

N/A 0.034 0.077 0.102 0.289 0.268 1.012 0.489 16.561

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

95 141 136 0 0 238 0 249 0

N.S.

1 1.48 1.43 0.00 0.00 2.51 0.00 2.62 0.00

time (sec)

N/A 0.067 0.126 0.000 0.000 0.253 0.000 3.157 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 152 139 109 0 560 0 236 0

N.S.

1 1.32 1.21 0.95 0.00 4.87 0.00 2.05 0.00

time (sec)

N/A 0.080 0.268 0.095 0.000 0.264 0.000 3.043 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 47 31 44 11 13 0 12 0

N.S.

1 0.34 0.22 0.32 0.08 0.09 0.00 0.09 0.00

time (sec)

N/A 0.032 1.022 0.178 0.204 0.239 0.000 0.258 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 100 120 95 106 306 831 109 130

N.S.

1 0.95 1.14 0.90 1.01 2.91 7.91 1.04 1.24

time (sec)

N/A 0.041 0.232 0.119 0.296 0.252 1.456 0.477 15.941

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 130 149 109 142 296 2730 130 182

N.S.

1 1.11 1.27 0.93 1.21 2.53 23.33 1.11 1.56

time (sec)

N/A 0.053 0.223 0.121 0.290 0.264 2.366 0.472 16.753

Problem 163

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

44 40 29 27 39 25 53 39 28

N.S.

1 0.91 0.66 0.61 0.89 0.57 1.20 0.89 0.64

time (sec)

N/A 0.017 0.037 0.076 0.198 0.250 0.411 0.256 16.963

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